Differences

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

--- start [2023/02/25 11:32] – etanter
+++ start [2024/12/05 14:51] (current) – etanter
@@ Line 3: / Line 3: @@
 ====== 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, 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.\\
+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.
 Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**.
 ===== Recent News =====
-  * {{bib>toroAl-toplas2022|Contextual Linear Types for Differential Privacy}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]]
+  * {{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 joins Pleiad as Assistant Professor
+  * {{bib>malewskiAl-icfp2024|Gradual Indexed Inductive Types}} accepted at [[https://icfp24.sigplan.org/|ICFP 2024]]
-  * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]
+  * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} published in [[https://cacm.acm.org/|Communications of the ACM]]
-  * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]]
+  * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]]
-  * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]]
+  * 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>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]]
+  * {{bib>yeAl-oopsla2023|A Gradual Probabilistic Lambda Calculus}} accepted at [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]]
-  * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
+  * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025
-  * É. Tanter receives the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}}
+  * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} appears in [[https://dl.acm.org/journal/toplas|TOPLAS]]
-  * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]]
-  * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]]
-  * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]
-  * {{bib>wiseAl-oopsla2020|Gradual Verification of Recursive Heap Data Structures}} accepted at [[https://2020.splashcon.org/track/splash-2020-oopsla|OOPSLA 2020]]
-  * {{bib>toroTanter-scp2020|Abstracting Gradual References}} accepted at Science of Computer Programming, presented at [[https://2020.ecoop.org/|ECOOP 2020]]
-  * {{bib>abateAl:esop2020|Trace-Relating Compiler Correctness and Secure Compilation}} accepted at [[https://www.etaps.org/2020/esop|ESOP 2020]]
-  * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]]
   * [[news-history|More...]]
@@ Line 36: / Line 28: @@
   * 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
+  * [[people:tdiaz|Tomás Díaz]], PhD student
-  * Tomás Vallejos, MSc student
+  * Gaspar Ricci, MSc student
   * José Luis Romero, MSc student