http://pleiad.dcc.uchile.cl/ 2012-02-13T16:17:51-03:00 http://pleiad.dcc.uchile.cl/ http://pleiad.dcc.uchile.cl/lib/tpl/template/images/favicon.ico text/html 2012-02-10T17:13:31-03:00 pleger http://pleiad.dcc.uchile.cl/otm/matchercells UPDATE: Matchercells is currently integrated into OTM. Please, visit this page for more details or using Matcher Cells in on-line way. Here, you can find an initial implementation of MatcherCells. You need a JavaScript interpreter (eg. ringojs, nodejs, spidermonkey) to test MatcherCells. text/html 2012-02-08T14:03:35-03:00 pleger http://pleiad.dcc.uchile.cl/matchercells text/html 2012-02-03T08:01:38-03:00 etanter http://pleiad.dcc.uchile.cl/people/etanter/aosd12bp 1) [+11-3=8] An Exploratory Study of the Design Impact of Language Features for Aspect-oriented Interfaces * It has two As and a B. I really enjoyed the paper. It is thorough and the tools will be a great resource for the community. * Rigorous evaluation of aspect-oriented language features are important and generally lacking. Interesting results on change impact which are useful beyond the results for the individual approaches. text/html 2012-02-02T19:00:38-03:00 etanter http://pleiad.dcc.uchile.cl/etanter/internship_proposal_2012 Supervisor: Éric Tanter Level: L3 Keywords: Virtual Machines, Just-in-Time Compilation, Analysis Requirements: Excellent programming skills. Knowledge of Python, compilers, interpreters, and virtual machines Abstract: When designing a new programming language, the question of how much work should go in the implementation is a recurrent one. Defining the language with an interpreter is nicely descriptive, but usually extremely slow. Designing a full compiler can be very efficient but is comp… text/html 2012-01-30T14:17:51-03:00 pleger http://pleiad.dcc.uchile.cl/start The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to research on new software development techniques. PLEIAD stands for Programming Languages and Environments for Intelligent, Adaptable and Distributed systems. We explore how programming language constructs and environments can enable the development of evolvable and highly-adaptable software, particularly considering distributed computing. text/html 2012-01-26T21:17:32-03:00 minostro http://pleiad.dcc.uchile.cl/people/minostro [Milton Inostroza] Milton Inostroza Master Student <minostro@dcc.uchile.cl> PLEIAD Lab Blanco Encalada 2120, of 336 Computer Science Department (DCC) Santiago, Chile University of Chile tel: +56 2 9784890 About Me I'm a second year Master student at the Computer Science Department of the University of Chile. Currently I'm working on my Master Thesis promoted by Prof. Eric Tanter at Pleiad lab text/html 2012-01-21T12:27:44-03:00 minostro http://pleiad.dcc.uchile.cl/research/mao/invariant-pcd Join point interfaces (JPIs) are contracts between aspects and advised code. Pieces of advice do not refer explicitly to the advised code anymore because of they are pointcut free. From now on, a piece of advice contains a bound JPI instead of a pointcut expression. Pointcut expressions are now defined as part of exhibits clauses. An exhibits clause must be defined as part of the advised code. Also, an exhibit clause contains a bound JPI text/html 2012-01-19T10:03:54-03:00 jfabry http://pleiad.dcc.uchile.cl/research/software/phantom PHANtom (PHaro Aspect laNguage) is a modern Aspect Language for Pharo Smalltalk. NEWS: The research paper presenting PHANtom was accepted at the International Workshop On Smalltalk Technologies at the ESUG 2011 conference. A preprint is available online: . text/html 2012-01-18T21:59:11-03:00 etanter http://pleiad.dcc.uchile.cl/people/etanter/aosd12sessions <----- WEDNESDAY, 2012-03-28 -----> Session: Features [David Lorenz] * fp323 Separation of Concerns in Feature Modeling: Support and Applications * fp222 Intraprocedural Dataflow Analysis for Software Product Lines * fp001 [MV] Features and Object Capabilities: Reconciling Two Visions of Modularity text/html 2012-01-16T18:20:40-03:00 rrobbes http://pleiad.dcc.uchile.cl/research/plomo "" An INRIA Equipe Associee between RMOD and PLEIAD, named after cerro El Plomo, the highest peak (5424 meters) that is visible from Santiago. Foto by by Thiago "James". Introduction Software maintenance is the process of maintaining a software system by removing bugs, fixing performance issues and adapting it to keep it useful and competitive in an ever-changing environment [Chik90a]. Performing effective software maintenance and development is best achieved with effective tool support, prov… text/html 2012-01-16T01:12:34-03:00 etanter http://pleiad.dcc.uchile.cl/people/etanter Éric Tanter PhD in Computer Science <etanter@dcc.uchile.cl> Associate Professor Blanco Encalada 2120, of.310, Santiago, Chile PLEIAD Lab phone: +56 2 978 49 53 Computer Science Department (DCC), University of Chile fax: +56 2 689 55 31 text/html 2012-01-10T16:56:08-03:00 minostro http://pleiad.dcc.uchile.cl/research/mao/parametric-polymorphism FIXME * Introduction * StrongAspectJ in action * How StrongAspectJ fails with ranges types and interfaces. * How parametric return and arguments types can ensure generic advice definition. * Examples We need to introduce Type Variables and Parameterized Type Declarations in order to implement parametric polymorphism in our jpi abc compiler extension. These characteristics will be implemented in the following constructs: text/html 2011-12-29T19:17:31-03:00 jfabry http://pleiad.dcc.uchile.cl/people/jfabry [Johan Fabry] Johan Fabry PhD in Computer Science dcc.uchile.cl@jfabry (swap sides) Assistant Professor Blanco Encalada 2120, of.311 PLEIAD Lab Santiago, Chile Computer Science Department (DCC) phone: +56 2 978 49 75 University of Chile fax: +56 2 689 55 31 Short Research Description My first research interest lies in the application of advanced forms of modularization (usually aspects, but I also consider metaprogramming, generative programming, ...) to the domain of distrib… text/html 2011-12-26T22:41:31-03:00 etanter http://pleiad.dcc.uchile.cl/events Talks * December 26, 2011: Talk by Ron Garcia on [Lazy Evaluation and Delimited Control] (POPL'09 paper) * October 21, 2010: Talk by Nicolas Tabareau on [Category Theory for Computer Scientists] * August 18, 2010: Talk by Arturo Zambrano on Digital TV in Argentina and the implementation of the middleware for interactivity performed by his team. Slides available [here]. text/html 2011-12-26T15:06:42-03:00 ifiguero http://pleiad.dcc.uchile.cl/research/monascheme This is the support page for our paper submitted to FOAL'12. Here you can download Monascheme, our monadic aspect weaver implemented on Racket. Download Download Monascheme 1.0 [here] Installation In the Monascheme1.0 folder, open test-suite.rkt inside DrRacket. Then, press Run to execute all the tests. The software is composed of the following files: text/html 2011-12-14T09:29:12-03:00 minostro http://pleiad.dcc.uchile.cl/research/mao/generic-advice Aspect-Oriented Programming (AOP) is successful to modularize crosscutting concerns such as Logging, Profiling, Security, among others. The Pointcut/Advice mechanism is the most emblematic in AOP. Pointcuts are predicates that represent join points where an advice is executed. An advice is a function that can be classified as Generic or Non-Generic. For example: text/html 2011-12-14T09:22:16-03:00 minostro http://pleiad.dcc.uchile.cl/research/mao/overloading Join point interfaces (JPIs) are contracts between aspects and advised code. JPIs support a programming methodology where aspects only specify the types of join points they advise based on a JPI, not on concrete pointcuts. JPI definition looks like a method signature (except for the extends clause, used for join point subtyping). It has return type, name, arguments and checked exceptions. text/html 2011-11-25T15:58:23-03:00 minostro http://pleiad.dcc.uchile.cl/research/mao name suggestions: * x modules: actually, what about X-Modules? (ie. “crosscutting modules”, nice mix between XPI and Open Modules) * aspectual modules: already (rarely) used * aspect(ual) shells * aspect(ual) capsules ---------- * IIIA Examples / problems * Advice dispatch * Subtyping considerations * Extended JPI signatures as in StrongAspectJ * Invariant Pointcut Designators * JPI overloading * Extending JPI with parametric polymorphism text/html 2011-11-21T15:10:53-03:00 jfabry http://pleiad.dcc.uchile.cl/teaching Courses * Programming Languages (CC4101/CC54A), * Programming Languages II (CC5104/CC71Y), * Objects and Aspects (CC71P | CC6101) * Taller de Proyecto (EI2xxx) * Arquitectura de Computadores (CC4301) ex. Introducción al Hardware (CC41C) * Software Quality and Software Evolution (CC68S), * Programming Methodology (CC3002), text/html 2011-11-18T11:26:20-03:00 ifiguero http://pleiad.dcc.uchile.cl/people/ifigueroa Ismael Figueroa Phd Student <ifiguero@dcc.uchile.cl> PLEIAD Lab Blanco Encalada 2120, of 336 Computer Science Department (DCC) Santiago, Chile University of Chile tel: +56 2 9784890 About Me I'm a second year PhD student at the Computer Science Department of the University of Chile