Differences

This shows you the differences between two versions of the page.

--- research [2012/07/14 01:52] – [Software] oalvarez
+++ research [2018/11/13 05:45] – etanter
@@ Line 1: / Line 1: @@
+~~NOTOC~~
+====== Research ======
+==== Publications ====
+See the [[Research:Publications|complete list of publications of lab members]].
+For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section.
+==== Software ====
+  * [[research:software:gsf|GSF]]: Gradual System F.
+  * [[research:software:gradual-unions|Gradual Unions]]: Online executable of a gradual language with union types and the unknown type.
+  * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction.
+  * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual).
+==== Old Software (not supported anymore, but might still work!) ====
+  * [[research:software:TOD]]: TOD is a tool that helps understand a program's behavior by recording a trace of the events that occur during execution (method calls, object creation, field access…) and letting the user navigate in predefined and custom views of this trace.
+  * [[research:software:Ghosts]]: A IDE tool extension for Eclipse (Java) for supporting incremental programming through automatic and non-intrusive generation of code entities based on their usage; also available for Pharo Smalltalk.
+  * [[research:software:Gradualtalk]]: A practical gradual type system for Pharo Smalltalk.
+  * [[research:software:EffectiveAspects]]: A statically-typed purely functional model of pointcut/advice aspects. Computational effects are modeled using monads, which allows type-based reasoning and modular extensions to the aspect weaving semantics.
+  * [[effectcaps|Effect Capabilities]]: an effective and flexible manner to control effects and their interferences. Capabilities can be selectively shared between modules to establish secure effect-centric coordinations.
+  * [[http://pleiad.cl/research/scope|Scoped adaptation]]: a number of projects related to scoping of adaptation (including execution levels for AOP, contextual values, etc.)
+  * [[http://www.pleiad.cl/aspectscript|AspectScript]]: An aspect language for Web programming.
+  * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP