Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
start [2021/04/10 20:56]
etanter
start [2021/11/23 11:22]
etanter
Line 5: Line 5:
 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,​ 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.\\
  
-Currently, our work is mostly centered on **programming languages** ​and **program verification**.+Currently, our work is mostly centered on **programming languages****program verification**, and **type theory**.
  
 ===== Recent News ===== ===== Recent News =====
-  * É. Tanter ​is given the **Ten Years Most Influential Paper Award** at [[https://​2020.programming-conference.org/​|<​Programming>​ 2020]] for his {{bib>​tanter:​aosd2010|AOSD 2010 paper}}+  ​* {{bib>​lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://​dl.acm.org/​journal/​toplas|TOPLAS]],​ to be presented at [[https://​popl22.sigplan.org|POPL 2022]] 
 +  * {{bib>​malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://​2021.splashcon.org/​track/​splash-2021-oopsla|OOPSLA 2021]] 
 +  ​* É. 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>​abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear 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>​estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://​2021.ecoop.org/​|ECOOP 2021]]
Line 24: Line 26:
   * [[people:​etanter|Éric Tanter]], Full Professor   * [[people:​etanter|Éric Tanter]], Full Professor
   * [[people:​mtoro|Matías Toro]], Postdoc   * [[people:​mtoro|Matías Toro]], Postdoc
-  * [[https://​kenji.maillard.blue/​|Kenji Maillard]], Postdoc+  * [[https://​kenji.maillard.blue/​|Kenji Maillard]], Postdoc ​(with Nicolas Tabareau / Gallinette, Inria)
   * [[people:​elabrada|Elizabeth Labrada]], PhD student   * [[people:​elabrada|Elizabeth Labrada]], PhD student
   * Stefan Malewski, PhD student   * Stefan Malewski, PhD student
-  * [[people:​fmosso|Fabian Mosso]]MSc student +  * Bruno GarcíaPhD student 
-  * Hans FehrmannMSc student +  * Damián ArquezPhD student 
-  * Damián Arquez, MSc student+  * Tomás Díaz, PhD student 
 +  * Tomás Vallejos, MSc student