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 [2019/12/02 08:47] etanterstart [2024/03/26 16:00] (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, 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**.
-Currently, our work is mostly centered on **programming languages** and **program verification**.+
  
 ===== Recent News ===== ===== Recent News =====
-  * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} (Díaz, Olmedo, Tanter) accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]] +  * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} to appear in [[https://cacm.acm.org/|Communications of the ACM]] 
-  * {{bib>cruzTanter:aplas2019|Existential Types for Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://conf.researchr.org/home/aplas-2019|APLAS 2019]] +  * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]] 
-  * {{bib>eremondiAl:icfp2019|Approximate Normalization for Gradual Dependent Types}} (EremondiTanterGarcia) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] +  * 10-year Most Notable Paper Award at DLS 2023 for our DLS 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (AllendeFabryTanter) 
-  * {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] +  * {{bib>yeAl-oopsla2023|A Gradual Probabilistic Lambda Calculus}} accepted at [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] 
-  * {{bib>pedrotAl:icfp2019|A Reasonably Exceptional Type Theory}} (Pédrot, Tabareau, Fehrmann, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] +  * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025 
-  * {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] +  * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} appears in [[https://dl.acm.org/journal/toplas|TOPLAS]] 
-  * {{bib>toroAl-popl2019|Gradual Parametricity, Revisited}} (Toro, Labrada, Tanter) accepted at [[https://popl19.sigplan.org/home|POPL 2019]] **Distinguished Paper Award** +  * Éric Tanter is on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]] 
-  * {{bib>vazouAl-oopsla2018|Gradual Liquid Type Inference}} (Vazou, Tanter, Van Horn) accepted at [[https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA|OOPSLA 2018]] **Distinguished Paper Award** +  * Matías Toro is on the external PC of [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] 
-  * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization of R}} (Bodin, Diaz, Tanter) accepted at [[https://conf.researchr.org/track/dls-2018/dls-2018/|DLS 2018]] +  * [[people:elabrada|Elizabeth Labrada]] successfully defended her PhD thesis on Gradual System F 
-  * {{bib>toroAl-toplas2018|Type-Driven Gradual Security with References}} (Toro, Garcia, Tanter) accepted at [[https://toplas.acm.org/|TOPLAS]]/presented at [[https://popl19.sigplan.org/|POPL 2019]] +  * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] 
-  * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) accepted at [[https://icfp18.sigplan.org/home|ICFP 2018]] **Distinguished Paper Award**+  * {{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}}
 +  * 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 26: Line 31:
   * [[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:racruz|Raimil Cruz]], PhD student +  * [[people:mtoro|Matías Toro]], Assistant Professor 
-  * [[people:mtoro|Matías Toro]], PhD student +  * Koen Jacobs, Postdoc (with Inria) 
-  * [[people:elabrada|Elizabeth Labrada]], PhD student +  * Stefan Malewski, PhD student 
-  * [[people:fmosso|Fabian Mosso]], MSc student +  * Damián Arquez, PhD student 
-  * Hans Fehrmann, MSc student +  * [[people:tdiaz|Tomás Díaz]], PhD student 
-  * Juan Pablo PaulsenEngineering student +  * Tomás Vallejos, MSc student 
-  * Stefan Malewski, Undergrad student (USACH)+  * José Luis RomeroMSc student