~~NOTOC~~ ====== Welcome! ====== The PLEIAD laboratory of the Computer Science Department ([[http://www.dcc.uchile.cl|DCC]]) of the [[http://www.uchile.cl|University of Chile]] ([[http://www.fcfm.uchile.cl|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.\\ A non-technical overview of our activities, created for the magazine of the [[http://www.dcc.uchile.cl|DCC]], is available [[articulo|in Spanish]] (original version) and [[articulo_translated|in English]] (translated from the original). \\ //([[http://www.dcc.uchile.cl/~etanter/pleiad-birth/pleiad.html|want to know more?]])// ===== News ===== * Three papers of PLEIAD accepted at [[http://www.eecs.ucf.edu/FOAL/index-2012.shtml|FOAL 2012]]! "A Practical Monadic Aspect Weaver" (Figueroa/Tanter/Tabareau), "A Self-Replicating Algorithm to Flexibly Match Execution Traces" (Leger/Tanter), "Taming Aspects with Membranes" (Tanter/Tabareau/Douence). * A.Bergel got his regular FONDECYT project accepted. Period 2012 - 2014. * É. Tanter was given the [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011 * The project //ASPIRE: Assess, Visualize and Reengineer Software Engineering processes// with the University of Nice Sophia-Antipolis has been [[http://www.conicyt.cl/573/articles-38387_resultados.pdf|accepted]] * A. Bergel is PC member of CibSE 2012, ICSOFT 2012, PPPJ 2012, GPCE 2012 * David Röthlisberger joined Pleiad as a postdoc. Welcome David! * R. Robbes is PC member of ICSM 2012 and ICPC 2012 * É. Tanter is PC member of SAC 2012, FOAL 2012, and [[http://splashcon.org/2012/cfp/378|OOPSLA 2012]] * É. Tanter is Program Chair of [[http://aosd.net/2012|AOSD 2012]] * Our paper on [[http://doi.ieeecomputersociety.org/10.1109/MS.2010.154|Access Control in JavaScript]] has been published in IEEE Software * R. Robbes had a FONDECYT project accepted! * Paper [[http://www.springerlink.com/content/t2826332t8668282/|Evaluating defect prediction approaches: a benchmark and an extensive comparison]] accepted for publication in Empirical Software Engineering * Article "Execution profiling blueprints", accepted for publication in Software: Practice and Experience * R. Robbes will be chair of ICSM ERA 2013 * R. Robbes is PC member of two ICSE tracks: Formal Tool Demos, and Informal Tool Demos and Posters * [[http://www.computer.org/portal/web/csdl/doi/10.1109/TSE.2010.66|FlowTalk: Language Support for Long-Latency Operations in Embedded Devices]] is finally published at TSE, nearly 2 years after its acceptance * R. Robbes is PC member of MSR 2012 and CSMR 2012 * The paper presenting [[research:software:phantom|PHANtom]] by J. Fabry and D. Galdames was accepted at the [[http://www.esug.org/wiki/pier/Conferences/2011/International-Workshop-on-Smalltalk-Technologies|International Workshop On Smalltalk Technologies]] at the [[http://www.esug.org/wiki/pier/Conferences/2011|ESUG 2011 conference]]. * R. Robbes will give a tutorial on Mining Software Repositories at ICSM 2011 * Paper on [[http://dx.doi.org/10.1007/s00779-010-0355-z|Ambient Contracts]] published in Personal and Ubiquitous Computing. * Paper "Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain" by J. Fabry, A. Zambrano and S. Gordillo was accepted at [[http://ecs.victoria.ac.nz/Events/MODELS2011|MODELS 2011]] * Tool demo: "Gaucho: Programming == Modeling" accepted at ECOOP 2011 * Paper: "Enabling Program Comprehension through a Visual Object-focused Development Environment" accepted at VL/HCC 2011 * Guillaume Pothier successfully defended his PhD thesis on making omniscient debugging practical * Paper on "First-Class State Change in Plaid" accepted at [[http://splashcon.org/2011/cfp/100|OOPSLA 2011]] * Our paper "How Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk" won the **Best Paper Award** [[http://www.msrconf.org/|MSR 2011]]! * Three (3!!!) papers of PLEIAD accepted at [[http://ecoop11.comp.lancs.ac.uk/|ECOOP 2011]]! "Gradual Typestate" (Wolff/Garcia/Tanter/Aldrich), "Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging" (Pothier/Tanter), and "Counting Messages as a Proxy for Average Execution Time in Pharo" (Bergel). * [[news-history|More...]] ===== Research ===== Our research is situated at the intersection of Programming Languages and Paradigms, Distributed and Pervasive Computing, and Artificial Intelligence. The main focus is on Software Adaptation in a broad sense. More specifically, we are involved in [[research]] related to: * Computational reflection * Program transformations * Domain-specific languages * Aspect-oriented programming * Ambient-oriented programming * Distribution and concurrency * Biologically-inspired computing and AI * Software visualization * Code profiling * Software Engineering **Main software artifacts:** * [[http://pleiad.cl/aspectscript|AspectScript]]: an aspect-oriented extension of JavaScript for expressive AOP; integrates several state-of-the-art features related to higher-order programming and expressive scoping of aspects. * [[http://pleiad.dcc.uchile.cl/tod/|TOD]]: a practical omniscient debugger for Java, integrated into Eclipse * Scheme interpreters and executable semantics artifacts, exploring different facets of [[http://pleiad.dcc.uchile.cl/research/scope|scoping]] in programming language design, in particular for aspect- and context-oriented programming * [[Reflex]]: versatile kernel for multi-language AOP * [[http://www.moosetechnology.org/|Moose]]: an agile and open software analysis platform * [[http://hapao.dcc.uchile.cl|Hapao]]: a visual test coverage tool ===== Teaching ===== PLEIAD members are involved in teaching various courses. Course information can be found on the [[teaching]] page. Thesis proposals (Engineering and Masters), are on the [[thesis]] page.