Differences

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

--- research [2015/04/30 18:00] – etanter
+++ research [2024/05/15 18:55] (current) – [Recent Software] darquez
@@ Line 7: / Line 7: @@
 For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section.
-==== Topics ====
+==== Recent Software ====
+  * [[https://github.com/darquezt/gsoul-lang#readme|GSoul]]: Typescript implementation of GSoul, a gradual sensitivity language.
-  * [[research:Scope]]: Scoping dynamic adaptations
+  * [[research:software:gsf|GSF]]: Online executable of GSF, a gradual counterpart of System F.
-  * [[research:ADI]]: Aspects, Dependencies and Interactions
+  * [[https://pleiad.cl/gradual-security/|GSLRef]]: Online executable of GSLRef, a gradual language with security typing and references.
-  * [[research:TestCoverage]]: Test Coverage
+  * [[research:software:gradual-unions|Gradual Unions]]: Online executable of GTFL, a gradual language with union types and the unknown type.
-==== Software ====
+  * [[research:software:obsec|ObSec]]: Declassification policies using type abstraction.
   * [[research:software:effscript|EffScript]]: Practical effects for Scala (customizable, polymorphic, and gradual).
-  * [[research:software:LRP]]: Live Robot Programming is a live programming language for robot behaviors.
+==== 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.
@@ Line 20: / Line 21: @@
   * [[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.
-  * [[research:software:AspectMaps]]: A scalable visualization of Join Point Shadows.
+  * [[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.
-  * [[http://hapao.dcc.uchile.cl|Hapao]]: A test coverage tool using graphical visualization for Pharo
+  * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP
-  * [[research:software:PHANtom|PHANtom]]: An aspect language for Pharo Smalltalk
-  * [[research:software:AmbientTalk-Ros|AmbientTalk/Ros]]: An integration of AmbientTalk in [[http://www.ros.org|ROS]]:  the Robot Operating System.
-  * [[research:software:Reflex]]: Reflex is a versatile kernel for multi-language AOP [not supported anymore]
-==== Projects ====
-  * [[http://real.gforge.inria.fr/|REAL]]: INRIA Associated Team with the ASCOLA group in Nantes.
-  * [[research:plomo2|PLOMO2]]: INRIA Associated Team with the RMOD group in Lille. A continuation of the PLOMO Associated Team.
-  * [[research:plomo|PLOMO]]: INRIA Associated Team with the RMOD group in Lille. It is named after [[http://en.wikipedia.org/wiki/Cerro_El_Plomo|cerro El Plomo]], the highest peak (5424 meters) that is visible from Santiago.
-  * [[http://rapids.gforge.inria.fr|RAPIDS]]: INRIA Associate Team, with the ASCOLA group in Nantes. RAPIDS stands for Reasoning about Aspect-oriented Programs and securIty in Distributed Systems.
-  * [[research:corea|CoReA]]: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits. Stic-AMSUD collaboration project between PLEIAD, LIFIA (UNLP, La Plata, Argentina) and RMOD (INRIA, Lille, France)
-  * [[research:cordial|CORDIAL]]: Concurrency, Distribution and Interactions in Aspect Languages. INRIA/CONICYT collaboration project between PLEIAD and the OBASCO project from INRIA France.
-  * [[Research:Projects:ORION]]: Open Reflective Infrastructure for Open Networks. Jointly funded by the Flemish Government and the Center for Web Research as part of a general programme for bilateral scientific collaboration, the ORION project spans the Vrije Universiteit Brussel and the Universidad de Chile.
-  * [[http://gridcomp.ercim.org/|GridCOMP]]: a spin-off from the european CoreGRID Network of Excellence, this project aims at developing and experimenting new programming models for Grid Computing. The project involves both academic and industrial partners.