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
people:etanter [2025/06/27 10:31] etanterpeople:etanter [2025/10/08 10:16] (current) etanter
Line 13: Line 13:
  
 ===== News ====== ===== News ======
-  * I have been awared an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029) +  * I have been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029)  
 +  * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]]
   * I'm on the PC of [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]   * I'm on the PC of [[https://conf.researchr.org/home/POPL-2026|POPL 2026]]
-  * {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} accepted at [[https://csf2025.ieee-security.org/|CSF 2025]] +  * {{bib>jacobsAl-icfp2025|Robust Dynamic Embedding for Gradual Typing}} accepted at [[https://icfp25.sigplan.org/|ICFP 2025]] 
-  * {{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>arquezAl-csf2025|Gradual Sensitivity Typing}} presented at [[https://csf2025.ieee-security.org/|CSF 2025]] 
-  * {{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}} presented at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]] 
-  * {{bib>yeAl-esop2025|Elucidating Type Conversions in SQL Engines}} accepted at [[https://etaps.org/2025/conferences/esop/|ESOP 2025]]+  * {{bib>poiretAl-popl2025|All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants}} presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]] 
 +  * {{bib>divincenzoAl-toplas2025|Gradual C0: Symbolic Execution for Gradual Verification}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], presented at [[https://conf.researchr.org/home/POPL-2025|POPL 2025]]
  
  
Line 33: Line 35:
 ++++ Program Committee Member (Conferences) | ++++ Program Committee Member (Conferences) |
    * 53rd ACM SIGPLAN Conference on Principles of Programming Languages ([[https://conf.researchr.org/home/POPL-2026|POPL 2026]])    * 53rd ACM SIGPLAN Conference on Principles of Programming Languages ([[https://conf.researchr.org/home/POPL-2026|POPL 2026]])
 +   * 29th Brazilian Symposium on Programming Languages ([[https://cbsoft.sbc.org.br/2025/sblp/?lang=en|SBLP 2025]])
    * 28th ACM SIGPLAN International Conference on Functional Programming ([[http://conf.researchr.org/home/icfp-2023|ICFP 2023]])    * 28th ACM SIGPLAN International Conference on Functional Programming ([[http://conf.researchr.org/home/icfp-2023|ICFP 2023]])
    * 50th ACM SIGPLAN Conference on Principles of Programming Languages ([[http://conf.researchr.org/home/POPL-2023|POPL 2023]])    * 50th ACM SIGPLAN Conference on Principles of Programming Languages ([[http://conf.researchr.org/home/POPL-2023|POPL 2023]])
Line 181: Line 184:
     * [[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
    * [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011    * [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011
-   * Invited speaker: [[http://www.lia.ufc.br/~cbsoft2017/xxi-sblp/keynotes/|SBLP 2017]], [[http://www.consiste.dimap.ufrn.br/~elaes2016/|ELA-ES 2016]], [[http://10ccc.sco2.org/|10CCC]], [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]], [[http://program-transformation.org/GPCE12/|GPCE 2012]], [[http://www.labes.icmc.usp.br/lawasp2010/|LA-WASP 2010]], SCCC 2005+   * Invited speaker: [[https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html|IFL 2025]], [[http://www.lia.ufc.br/~cbsoft2017/xxi-sblp/keynotes/|SBLP 2017]], [[http://www.consiste.dimap.ufrn.br/~elaes2016/|ELA-ES 2016]], [[http://10ccc.sco2.org/|10CCC]], [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]], [[http://program-transformation.org/GPCE12/|GPCE 2012]], [[http://www.labes.icmc.usp.br/lawasp2010/|LA-WASP 2010]], SCCC 2005
  
  
Line 190: Line 193:
  
 ++++ Grad students | ++++ Grad students |
-    * [PhD] Stefan Malewski 
     * [PhD] Damian Arquez [co-advised with Matías Toro]     * [PhD] Damian Arquez [co-advised with Matías Toro]
     * [PhD] Tomás Díaz      * [PhD] Tomás Díaz 
     * [MSc] José Luis Romero [co-advised with Matías Toro]     * [MSc] José Luis Romero [co-advised with Matías Toro]
     * [MSc] Gaspar Ricci [co-advised with Matías Toro]     * [MSc] Gaspar Ricci [co-advised with Matías Toro]
 +    * [MSc] Cristobal Isla
     * //Former PhD students://     * //Former PhD students://
         * Elizabeth Labrada: [[https://repositorio.uchile.cl/handle/2250/191833|Gradual System F]]. [co-advised with Matías Toro]. Defended 21/12/2022.         * Elizabeth Labrada: [[https://repositorio.uchile.cl/handle/2250/191833|Gradual System F]]. [co-advised with Matías Toro]. Defended 21/12/2022.