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 and program verification.
Recent News
- The Marriage of Univalence and Parametricity accepted in the Journal of the ACM
- Abstracting Gradual References accepted at Science of Computer Programming, to be presented at ECOOP 2020
- Trace-Relating Compiler Correctness and Secure Compilation (Abate, Blanco, Ciobâcă, Garg, Hriţcu, Patrignani, Tanter, Thibault) accepted at ESOP 2020
- A Mechanized Formalization of GraphQL (Díaz, Olmedo, Tanter) accepted at CPP 2020
- Existential Types for Relaxed Noninterference (Cruz, Tanter) accepted at APLAS 2019
- Approximate Normalization for Gradual Dependent Types (Eremondi, Tanter, Garcia) accepted at ICFP 2019
- Dijkstra Monads for All (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at ICFP 2019
- A Reasonably Exceptional Type Theory (Pédrot, Tabareau, Fehrmann, Tanter) accepted at ICFP 2019
- Polymorphic Relaxed Noninterference (Cruz, Tanter) accepted at SecDev 2019
- Gradual Parametricity, Revisited (Toro, Labrada, Tanter) accepted at POPL 2019 Distinguished Paper Award
- Gradual Liquid Type Inference (Vazou, Tanter, Van Horn) accepted at OOPSLA 2018 Distinguished Paper Award
- 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/presented at POPL 2019
- Equivalences for Free (Tabareau, Tanter, Sozeau) accepted at ICFP 2018 Distinguished Paper Award
Members
- Federico Olmedo, Assistant Professor
- Éric Tanter, Full Professor
- Matías Toro, Postdoc
- Kenji Maillard, Postdoc
- Elizabeth Labrada, PhD student
- Stefan Malewski, PhD student
- Fabian Mosso, MSc student
- Hans Fehrmann, MSc student
- Damián Arquez, MSc student