Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
start [2024/06/19 11:59] – etanterstart [2026/08/26 21:49] (current) – etanter
Line 3: Line 3:
 ====== Welcome! ====== ====== Welcome! ======
  
-The  [[pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([[http://www.dcc.uchile.cl|DCC]]) of the [[http://www.uchile.cl|University of Chile]] ([[http://www.fcfm.uchile.cl|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.  +The [[https://pleiad.cl/pleiad-history|PLEIAD]] laboratory of the Computer Science Department  
-Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**.+([[http://www.dcc.uchile.cl/|DCC]]) of the [[http://www.uchile.cl/|University of Chile]] ([[http://www.fcfm.uchile.cl/|Faculty of Engineering]]) is a laboratory dedicated to **foundational and applied research on software development techniques**. 
 + 
 +Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments.  Currently, our work is mostly centered on **programming languages**, **program verification**,  and **type theory**, as core approaches to address concerns of **correctness, efficiency, robustness, data privacy** and **security**.
  
 ===== Recent News ===== ===== Recent News =====
-  * {{bib>malewskiAl-icfp2024|Gradual Indexed Inductive Types}} accepted at [[https://icfp24.sigplan.org/|ICFP 2024]] +  * Éric Tanter is serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]] 
-  * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} to appear in [[https://cacm.acm.org/|Communications of the ACM]] +  * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] 
-  * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]] +  * {{bib>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]] 
-  * 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>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] 
-  * {{bib>yeAl-oopsla2023|A Gradual Probabilistic Lambda Calculus}} accepted at [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] +  * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]] 
-  * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025 +  * É. Tanter is on the PC of [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] 
-  * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} appears in [[https://dl.acm.org/journal/toplas|TOPLAS]] +  * {{bib>jacobsAl-icfp2025|Robust Dynamic Embedding for Gradual Typing}} accepted at [[https://icfp25.sigplan.org/|ICFP 2025]] 
-  * Éric Tanter is on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]] +  *  É. Tanter has been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029)  
-  * Matías Toro is on the external PC of [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] +  * {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} accepted at [[https://csf2025.ieee-security.org/|CSF 2025]] 
-  * [[people:elabrada|Elizabeth Labrada]] successfully defended her PhD thesis on Gradual System F +  * {{bib>poiretAl-popl2025|All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants}} accepted at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]] 
-  * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] +  * {{bib>divincenzoAl-toplas2025|Gradual C0: Symbolic Execution for Gradual Verification}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]], to be presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]] 
-  * {{bib>labradaAl-jacm2022|Gradual System F}} accepted in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}}) +  * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} accepted at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]] 
-  * Matías Toro is on the PC of [[http://conf.researchr.org/home/icfp-2022|ICFP 2022]] +
-  * Matías Toro joins Pleiad as Assistant Professor +
-  * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] +
-  * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] +
-  * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]] +
-  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} accepted in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]]+
  
   * [[news-history|More...]]   * [[news-history|More...]]
Line 30: Line 27:
 ===== Members ===== ===== Members =====
  
 +  * [[people:nlehmann|Nico Lehmann]], Assistant Professor
   * [[people:folmedo|Federico Olmedo]], Assistant Professor   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[people:etanter|Éric Tanter]], Full Professor   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Assistant Professor   * [[people:mtoro|Matías Toro]], Assistant Professor
-  * Koen Jacobs, Postdoc (with Inria) +  * Mara Malewski, PhD student
-  * Stefan Malewski, PhD student+
   * Damián Arquez, PhD student   * Damián Arquez, PhD student
   * [[people:tdiaz|Tomás Díaz]], PhD student   * [[people:tdiaz|Tomás Díaz]], PhD student
-  * Tomás Vallejos, MSc student+  * Gaspar Ricci, MSc student
   * José Luis Romero, MSc student   * José Luis Romero, MSc student