Differences

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

--- start [2026/01/28 22:25] – etanter
+++ start [2026/08/26 21:49] (current) – etanter
@@ Line 6: / Line 6: @@
 ([[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**.
+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 =====
+  * Éric Tanter is serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]]
+  * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]]
+  * {{bib>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]]
   * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
   * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
@@ Line 18: / Line 21: @@
   * {{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>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} accepted at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]
-  * {{bib>malewskiAl-icfp2024|Gradual Indexed Inductive Types}} accepted at [[https://icfp24.sigplan.org/|ICFP 2024]]
-  * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} published in [[https://cacm.acm.org/|Communications of the ACM]]
-  * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]]
@@ Line 27: / Line 27: @@
 ===== Members =====
+  * [[people:nlehmann|Nico Lehmann]], Assistant Professor
   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[people:etanter|Éric Tanter]], Full 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
   * [[people:tdiaz|Tomás Díaz]], PhD student