Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
start [2018/11/13 05:52] – etanter | start [2023/11/08 10:36] – etanter | ||
---|---|---|---|
Line 3: | Line 3: | ||
====== Welcome! ====== | ====== Welcome! ====== | ||
- | The [[pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([[http:// | + | The [[pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([[http:// |
- | + | Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**. | |
- | 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), | + | |
- | + | ||
- | Currently, our work is mostly centered on **programming languages** | + | |
===== Recent News ===== | ===== Recent News ===== | ||
- | * {{bib>toroAl-popl2019|Gradual Parametricity, | + | * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/ |
- | * {{bib>vazouAl-oopsla2018|Gradual Liquid Type Inference}} (Vazou, Tanter, Van Horn) accepted at [[https://conf.researchr.org/ | + | * 10-year Most Notable Paper Award at DLS 2023 for our DLS 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (Allende, Fabry, Tanter) |
- | * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization of R}} (Bodin, Diaz, Tanter) accepted at [[https:// | + | * {{bib> |
- | * {{bib>toroAl-toplas2018|Type-Driven | + | |
- | * {{bib>tabareauAl-icfp2018|Equivalences | + | * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} appears in [[https:// |
- | * Éric Tanter is joining | + | * Éric Tanter is on the PC of [[http:// |
- | * {{bib>baderAl-vmcai2018|Gradual | + | * Matías Toro is on the external PC of [[https://2023.splashcon.org/ |
+ | * [[people: | ||
+ | * {{bib>maillardAl-icfp2022|A Reasonably | ||
+ | * {{bib> | ||
+ | * Matías Toro is on the PC of [[http:// | ||
+ | * Matías Toro joins Pleiad as Assistant Professor | ||
+ | * {{bib>eremondiAl-icfp2022|Propositional Equality | ||
+ | * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] | ||
+ | * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual | ||
+ | * {{bib> | ||
* [[news-history|More...]] | * [[news-history|More...]] | ||
+ | |||
+ | ===== Members ===== | ||
+ | |||
+ | * [[people: | ||
+ | * [[people: | ||
+ | * [[people: | ||
+ | * Koen Jacobs, Postdoc (with Inria) | ||
+ | * Stefan Malewski, PhD student | ||
+ | * Damián Arquez, PhD student | ||
+ | * [[people: | ||
+ | * Tomás Vallejos, MSc student | ||
+ | * José Luis Romero, MSc student | ||
+ | |||
+ |