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
people:etanter [2021/01/08 08:42]
etanter
people:etanter [2021/11/23 11:12] (current)
etanter
Line 13: Line 13:
  
 ===== News ====== ===== News ======
-  * {{bib>bertrandAl-arxiv2020|Gradualizing the Calculus of Inductive Constructions}}: ​check out [[https://arxiv.org/abs/2011.10618|the draft]] (under revision)+  * {{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>​abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} published in [[https://dl.acm.org/​journal/​toplas|TOPLAS]] 
 +  * {{bib>​malewskiAl-oopsla2021|Gradually Structured Data}} presented at [[https://​2021.splashcon.org/​track/​splash-2021-oopsla|OOPSLA 2021]] 
 +  * Ten Years Most Influential Paper Award at [[https://​2020.programming-conference.org/​|<​Programming>​ 2020]] for my {{bib>​tanter:​aosd2010|AOSD 2010 paper}} 
 +  * {{bib>​estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} presented at [[https://​2021.ecoop.org/​|ECOOP 2021]]
   * {{bib>​toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://​arxiv.org/​abs/​2010.11342|the draft]] (under revision)   * {{bib>​toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://​arxiv.org/​abs/​2010.11342|the draft]] (under revision)
-  * {{bib>​tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} ​accepted ​in the [[https://​dl.acm.org/​journal/​jacm|Journal of the ACM]] +  * {{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,​ to be 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}} presented at [[https://​popl20.sigplan.org/​home/​CPP-2020|CPP 2020]]+
  
- 
-===== Research Interests ===== 
- 
-    * programming and programming languages: design, semantics, implementation,​ analysis, type systems, verification 
-    * software modularity and adaptability 
-    * objects, functions, aspects, reflection, meta-programming,​ concurrency,​ distribution,​ mobility, etc. etc. 
-    * practice of programming:​ tool support, debugging, code mining, user experiments 
  
 ===== Academic Activities ===== ===== Academic Activities =====
Line 39: Line 32:
  
 ++++ Program Committee Member (Conferences) | ++++ Program Committee Member (Conferences) |
 +   * 17th ACM Dynamic Languages Symposium ([[https://​conf.researchr.org/​home/​dls-2021|DLS 2021]])
    * 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ​ ([[https://​conf.researchr.org/​track/​splash-2019/​splash-2019-oopsla|OOPSLA 2019]])    * 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ​ ([[https://​conf.researchr.org/​track/​splash-2019/​splash-2019-oopsla|OOPSLA 2019]])
    * 23rd ACM SIGPLAN International Conference on Functional Programming ([[http://​conf.researchr.org/​home/​icfp-2018|ICFP 2018]])    * 23rd ACM SIGPLAN International Conference on Functional Programming ([[http://​conf.researchr.org/​home/​icfp-2018|ICFP 2018]])
Line 137: Line 131:
 ++++ Research Projects | ++++ Research Projects |
     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/​lead]     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/​lead]
-    * INRIA Équipe Associée GECO [2018-2020/lead]+    * INRIA Équipe Associée GECO [2018-2022/lead]
     * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/​lead]     * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/​lead]
     * FONDECYT Project 1150017 - Gradual Software Verification:​ Foundations and Applications [2015-2018/​lead]     * FONDECYT Project 1150017 - Gradual Software Verification:​ Foundations and Applications [2015-2018/​lead]
Line 171: Line 165:
  
 ++++ Awards & Distinctions |  ++++ Awards & Distinctions | 
-    * Best/​distinguished paper awards: {{bib>​toroAl:​popl2019|POPL 2019}}, {{bib>​vazouAl:​oopsla2018|OOPSLA 2018}}, {{bib>​tabareauAl:​icfp2018|ICFP 2018}}, {{bib>​callauAl:​msr2011|MSR 2011}}, {{bib>​tanter:​aosd2010|AOSD 2010}}, {{bib>​tanter:​jucs2000|SBLP 2008}}, {{bib>​tanterAl:​dais2006|DAIS 2006}} +    ​* **Best/​distinguished paper awards**: {{bib>​toroAl:​popl2019|POPL 2019}}, {{bib>​vazouAl:​oopsla2018|OOPSLA 2018}}, {{bib>​tabareauAl:​icfp2018|ICFP 2018}}, {{bib>​callauAl:​msr2011|MSR 2011}}, {{bib>​tanter:​aosd2010|AOSD 2010}}, {{bib>​tanter:​jucs2000|SBLP 2008}}, {{bib>​tanterAl:​dais2006|DAIS 2006}} 
-    * 10-year paper awards: Most influential paper award at <​Programming>​ 2018 for my {{bib>​tanter:​aosd2008|AOSD 2008 paper}}, Most notable paper award at [[https://​conf.researchr.org/​track/​dls-2017/​dls-2017#​Most-Notable-Paper-Award|DLS 2017]] for our {{bib>​mostinckxAl:​dls2007|DLS 2007 paper}}+    ​* **10-year paper awards**Most influential paper award at <​Programming>​ 2020 for my {{bib>​tanter:​aosd2010|AOSD 2010 paper}}, ​Most influential paper award at <​Programming>​ 2018 for my {{bib>​tanter:​aosd2008|AOSD 2008 paper}}, Most notable paper award at [[https://​conf.researchr.org/​track/​dls-2017/​dls-2017#​Most-Notable-Paper-Award|DLS 2017]] for our {{bib>​mostinckxAl:​dls2007|DLS 2007 paper}}
     * [[https://​research.fb.com/​announcing-the-winners-of-the-facebook-testing-and-verification-research-awards/​|Facebook Research Testing and Verification Award 2018]] -- Incremental Verification,​ Gradually     * [[https://​research.fb.com/​announcing-the-winners-of-the-facebook-testing-and-verification-research-awards/​|Facebook Research Testing and Verification Award 2018]] -- Incremental Verification,​ Gradually
     * [[http://​googleamericalatinablog.blogspot.cl/​2015/​09/​ganadores-de-los-premios-de-investigacion-de-google-america-latina.html?​m=1|Google Faculty Research Award 2015]] and [[http://​static.googleusercontent.com/​media/​research.google.com/​en//​app/​research-outreach/​faculty-engagement/​Google_Latin_America_Research_Award_Recipients.pdf|2016]] -- Gradual Security Typing for the Web     * [[http://​googleamericalatinablog.blogspot.cl/​2015/​09/​ganadores-de-los-premios-de-investigacion-de-google-america-latina.html?​m=1|Google Faculty Research Award 2015]] and [[http://​static.googleusercontent.com/​media/​research.google.com/​en//​app/​research-outreach/​faculty-engagement/​Google_Latin_America_Research_Award_Recipients.pdf|2016]] -- Gradual Security Typing for the Web
Line 186: Line 180:
 ++++ Grad students | ++++ Grad students |
     * [PhD] Elizabeth Labrada (gradual parametricity)     * [PhD] Elizabeth Labrada (gradual parametricity)
-    * [MSc] Damian Arquez ​(gradual sensitivity)+    * [PhD] Damian Arquez 
 +    * [PhD] Tomás Díaz  
 +    * [MSc] Tomás Vallejos [co-advised with Aidan Hogan]
     * //Former PhD students://     * //Former PhD students://
         * Raimil Cruz: [[http://​repositorio.uchile.cl/​handle/​2250/​173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.         * Raimil Cruz: [[http://​repositorio.uchile.cl/​handle/​2250/​173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.
Line 198: Line 194:
         * Guillaume Pothier: [[http://​repositorio.uchile.cl/​handle/​2250/​102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.         * Guillaume Pothier: [[http://​repositorio.uchile.cl/​handle/​2250/​102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://     * //Former MSc students://
-        * Hans Fehrmann: //A Reasonably Exceptional Type Theory// [co-advised with Nicolas Tabareau]. Defended 29/12/2020.+        ​* Damián Árquez: Gradual Sensitivity Typing [co-advised with Matías Toro]. Defended 23/​11/​2021. 
 +        ​* Hans Fehrmann: [[http://repositorio.uchile.cl/​handle/​2250/​179353|A Reasonably Exceptional Type Theory]] [co-advised with Nicolas Tabareau]. Defended 29/12/2020.
         * Fabian Mosso: [[http://​repositorio.uchile.cl/​handle/​2250/​176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.         * Fabian Mosso: [[http://​repositorio.uchile.cl/​handle/​2250/​176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.
         * Nicolás Lehmann: [[http://​repositorio.uchile.cl/​handle/​2250/​144325|Gradual Refinement Types]]. Defended 9/​3/​2017. ​         * Nicolás Lehmann: [[http://​repositorio.uchile.cl/​handle/​2250/​144325|Gradual Refinement Types]]. Defended 9/​3/​2017. ​
-        * Johannes Bader: //Gradual Program Verification with Implicit Dynamic Frames// (Karlsruhe Institute of Technology) [co-advised with Jonathan Aldrich (CMU) and Gregor Snelting (KIT)]. Defended 4/10/2016.+        * Johannes Bader: [[https://github.com/​olydis/​GradVerThesis/​raw/​master/​main.pdf|Gradual Program Verification with Implicit Dynamic Frames]] (Karlsruhe Institute of Technology) [co-advised with Jonathan Aldrich (CMU) and Gregor Snelting (KIT)]. Defended 4/10/2016.
         * Gustavo Soto: [[http://​repositorio.uchile.cl/​handle/​2250/​137828|Modular Composition of Session Types]]. Defended 1/​12/​2015. ​         * Gustavo Soto: [[http://​repositorio.uchile.cl/​handle/​2250/​137828|Modular Composition of Session Types]]. Defended 1/​12/​2015. ​
         * Matías Toro: [[http://​repositorio.uchile.cl/​handle/​2250/​134924|Customizable Gradual Effects for Scala]]. Defended 18/05/2015.         * Matías Toro: [[http://​repositorio.uchile.cl/​handle/​2250/​134924|Customizable Gradual Effects for Scala]]. Defended 18/05/2015.
         * Felipe Bañados: [[http://​repositorio.uchile.cl/​handle/​2250/​116891|Gradual Typing for Generic Type-and-Effect Systems]] [co-advised with Ron Garcia]. Defended 08/​08/​2014. ​         * Felipe Bañados: [[http://​repositorio.uchile.cl/​handle/​2250/​116891|Gradual Typing for Generic Type-and-Effect Systems]] [co-advised with Ron Garcia]. Defended 08/​08/​2014. ​
-        * Milton Inostroza: [[http://​repositorio.uchile.cl/​handle/​2250/​113478|Safe and practical decoupling ​of aspects ​with join point interfaces]] [co-advised with Eric Bodden]. Defended 12/​04/​2013. ​+        * Milton Inostroza: [[http://​repositorio.uchile.cl/​handle/​2250/​113478|Safe and Practical Decoupling ​of Aspects ​with Join Point Interfaces]] [co-advised with Eric Bodden]. Defended 12/​04/​2013. ​
         * Victor Ramiro: [[http://​www.tesis.uchile.cl/​tesis/​uchile/​2009/​ramiro_v/​html/​index.html|An Open Proximity Model for Service Discovery in Pervasive Computing]]. Defended 2009.         * Victor Ramiro: [[http://​www.tesis.uchile.cl/​tesis/​uchile/​2009/​ramiro_v/​html/​index.html|An Open Proximity Model for Service Discovery in Pervasive Computing]]. Defended 2009.
 ++++ ++++