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:

  • 2014: DLS, ICFP, ICSE, Modularity (2), OOPSLA, VISSOFT
  • 2013: AOSD (2), DLS, MSR, WCRE (proc.), IWPSE (proc.), VISSOFT (2), SCAM
  • 2012: AOSD (proc.), ECOOP, FSE, ICPC, ICSE (2), OOPSLA
  • 2011: AOSD, ECOOP (3), FSE, ICPC (2), ICSE (2), MODELS, MSR, OOPSLA, IWPSE (proc.)
  • 2010: AOSD (2), ASE, GPCE, ICSE, MSR (2), SAC, SC, SCAM, TOOLS

We also publish in the following journals: ACM Transactions on Programming Languages and Systems; ACM Transactions on Software Engineering and Methodology; 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 Gent (Belgium), 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.

Recent News

  • Study of GOTO in C Code accepted at ESEC/FSE 2015!! (with R. Robbes and É. Tanter)
  • Matías Toro successfully defended his MSc thesis! Congrats!!
  • Our EMSE paper “Understanding and addressing exhibitionism in Java empirical research about method accessibility” is in preview
  • Oscar Callaú successfully defended his PhD thesis! Congrats!!
  • Esteban Allende successfully defended his PhD thesis! Congrats!!
  • Paper on Does JavaScript Software Embrace Classes? (Humberto Silva, Ramos, Tulio Valente, Bergel, Anquetil) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15)
  • Paper on GiLA: GitHub Label Analyzer (Canovas Izquierdo, Cosentino, Rolandi, Bergel, Cabot) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15), Early Research Achievements (ERA)
  • Paper on Efficiently Identifying Object Production Sites (Infante, Bergel) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15), Early Research Achievements (ERA)
  • Alexandre Bergel is co-PC chair of VISSOFT 2015
  • Éric Tanter is PC member of the 30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2015)
  • Paper on Foundations of Typestate-Oriented Programming (Garcia, Tanter, Wolff, Aldrich) appeared in the ACM Transactions on Programming Languages and Systems!
  • Paper Understanding and Addressing Exhibitionism in Java: Empirical Research about Method Visibility (Vidal, Bergel, Marcos, Andrés) accepted for publication in Empirical Software Engineering.
  • Alexandre Bergel is PC member of 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015)
  • Paper A Domain-Specific Language For Visualizing Software Dependencies as a Graph (Bergel, Maass, Ducasse, Gîrba) accepted at VISSOFT ERA
  • Éric Tanter is PC member of the 24th European Symposium on Programming (ESOP 2015)
  • Paper On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk (Callaú, Robbes, Tanter, Röthlisberger, Bergel) accepted at DLS 2014!
  • Felipe Bañados successfully defended his MSc thesis! Congrats!!
  • Paper on Confined Gradual Typing (Allende, Fabry, Garcia, Tanter) accepted at OOPSLA 2014!
  • Rodolfo Toledo successfully defended his PhD thesis! Congrats!!
  • Paper on Gradual Effect Systems (Bañados, Garcia, Tanter) accepted at ICFP 2014
  • Ismael Figueroa successfully defended his PhD thesis! Congrats!!