This is an old revision of the document!
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:
- 2019: POPL
- 2018: DLS, ICFP, OOPSLA, VMCAI
- 2017: DLS, ECOOP, POPL, SANER, SAS
- 2016: ICFP, ICPE, ICPC, POPL, VISSOFT
- 2015: DLS (2), ESEC/FSE, OOPSLA, SANER, VISSOFT (proc.)
- 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, Lille, Paris and Sophia (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), Université de Paris VI (France), 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
- Gradual Parametricity, Revisited (Toro, Labrada, Tanter) accepted at POPL 2019
- Gradual Liquid Type Inference (Vazou, Tanter, Van Horn) accepted at OOPSLA 2018
- A Trustworthy Mechanized Formalization of R (Bodin, Diaz, Tanter) accepted at DLS 2018
- Type-Driven Gradual Security with References (Toro, Garcia, Tanter) accepted at TOPLAS to be presented at POPL 2019
- Equivalences for Free! (Tabareau, Tanter, Sozeau) accepted at ICFP 2018
- Éric Tanter is joining the Editorial Board of the journal Science of Computer Programming (starting Jul 2018)
- Gradual Program Verification (Bader, Aldrich, Tanter) to appear at VMCAI 2018
- Éric Tanter is joining the Editorial Board of the Journal of Functional Programming (starting Jan 2018)
- A Gradual Interpretation of Union Types (Toro, Tanter) accepted at SAS 2017
- Type Abstraction for Relaxed Noninterference (Cruz, Rezk, Serpette, Tanter) accepted at ECOOP 2017
- Identifying Classes in Legacy JavaScript Code accepted at Journal of Software: Evolution and Process
- Éric Tanter is member of the External Program Committee of OOPSLA 2017
- Refactoring Legacy JavaScript Code to Use Classes: The Good, The Bad, and The Ugly accepted at 16th International Conference on Software Reuse (ICSR'17)
- Alexandre Bergel is Program Committee member of VISSOFT 2017
- Gradual Refinement Types accepted at POPL 2017
- Éric Tanter is Program Committee member of SNAPL 2017