Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
research [2013/06/27 16:23] ifigueroresearch [2015/04/30 15:05] etanter
Line 7: Line 7:
 For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section. For a list of publications filtered by author, we refer to the personal pages in the [[/people|people]] section.
  
-==== Topics ==== 
- 
-  * [[research:Scope]]: Scoping dynamic adaptations 
-  * [[research:ADI]]: Aspects, Dependencies and Interactions 
-  * [[research:TestCoverage]]: Test Coverage 
 ==== Software ==== ==== Software ====
 +  * [[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.
   * [[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: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: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 27: Line 23:
  
 ==== Projects ==== ==== 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.   * [[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.   * [[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.