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 software development techniques. Since its creation in 2007, the lab has focused 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), as well as studies of the practice of programming, through mining software repositories as well as user studies.
Currently, our work is mostly centered on programming languages, program verification, and type theory.
Recent News
- Elizabeth Labrada successfully defended her PhD thesis on Gradual System F!
- A Reasonably Gradual Type Theory accepted at ICFP 2022
- Matías Toro joins Pleiad as Assistant Professor
- Éric Tanter is on the PC of POPL 2023
- Gradualizing the Calculus of Inductive Constructions to appear in TOPLAS (June 2022), presented at POPL 2022
- Gradually Structured Data accepted at OOPSLA 2021
- É. Tanter receives the Ten Years Most Influential Paper Award at <Programming> 2020 for his AOSD 2010 paper
- Gradual Program Analysis for Null Pointers accepted at ECOOP 2021
- The Marriage of Univalence and Parametricity published in the Journal of the ACM
- Abstracting Gradual References accepted at Science of Computer Programming, presented at ECOOP 2020
- A Mechanized Formalization of GraphQL accepted at CPP 2020
Members
- Federico Olmedo, Assistant Professor
- Éric Tanter, Full Professor
- Matías Toro, Assistant Professor
- Koen Jacobs, Postdoc (with Inria)
- Stefan Malewski, PhD student
- Bruno García, PhD student
- Damián Arquez, PhD student
- Tomás Díaz, PhD student
- Tomás Vallejos, MSc student
- José Luis Romero, MSc student