Welcome!

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.

More precisely, we work on many ways to better support software development at different levels, from programming languages to development environments, including tools to support program understanding (debuggers, profilers, visualizers). We also study the practice of programming, through mining software repositories as well as user studies.

Where do we publish? Here is the PLEIAD Trail (major conferences only) since 2010:

• 2013: AOSD (2)
• 2012: AOSD (proc.), ECOOP, FSE, ICPC, ICSE (2), OOPSLA
• 2011: AOSD, ECOOP (3), FSE, ICPC (2), ICSE (2), MODELS, MSR, OOPSLA
• 2010: AOSD (2), ASE, GPCE, ICSE, MSR (2), SAC, SC, SCAM, TOOLS

We also publish in the following journals: Automated Software Engineering, Computer Languages, Systems and Structures; Concurrency and Computation-Practice and Experience; Empirical Software Engineering; IEEE Software; IEEE Transactions on Software Engineering; Personal and Ubiquitous Computing; Science of Computer Programming; Software-Practice and Experience.

With whom do we collaborate? Here is a list of PLEIAD scientific collaborations (projects, publications, visits) since 2010: Brown University (USA), Carnegie Mellon University (USA), INRIA Nantes and Lille (France), Technical University of Darmstadt (Germany), Universidad de La Plata (Argentina), University of Bern (Switzerland), University of British Columbia (Canada), University of Duisburg-Essen (Germany), University of Lugano (Switzerland), Vrije Universiteit Brussel (Belgium)

What else do we do? We are involved in teaching a variety of courses covering our topics of interest. We also develop(ed) a number of software artifacts to support our research.

• Oscar Callaú was awarded a Microsoft Research Latin America Fellowship!

• New INRIA Équipe Associée “REAL: Reasoning about Effects in Aspect Languages” with Pleiad, 2013-2015.

• Paper on Programming with Ghosts appeared in the January issue of IEEE Software. Check out the Ghosts website!

• Two papers accepted at AOSD 2013: A Typed Monadic Embedding of Aspects (Tabareau, Figueroa, Tanter), and Secure and Modular Access Control with Aspects (Toledo, Tanter)

• Alexandre Bergel is co-chair of the Artifact program at ESEC/FSE 2013

• É. Tanter gave a Keynote at GPCE 2012 on Taming Aspects (pdf (43MB) | mov (23MB))

• Roassal and Object-centric debugger won the third and first place at the 9th Innovation Technology Awards (ESUG 2012)

• Papers on the impact of types in practice accepted at ICPC 2012 and OOPSLA 2012

• A. Bergel is part of the ECOOP 2013 program committee

• More...