~~NOTOC~~
|{{people:etanter-2023.png?nolink&250}}|Éric Tanter
| |
|:::| Full Professor / //Profesor Titular// | [[etanter@dcc.uchile.cl]]|
|:::| [[http://www.uchile.cl|University of Chile]] | Beauchef 851, of.310|
|:::| [[http://www.dcc.uchile.cl/|Computer Science Department (DCC)]] | Santiago, Chile|
|:::| [[http://pleiad.cl/|PLEIAD Lab]] | phone: +56 2 2978 4953|
|:::| Associate Researcher, [[https://imfd.cl|IMFD]] | fax: +56 2 2689 5531|
===== News ======
* {{bib>arquezAl-csf2025|Gradual Sensitivity Typing}} accepted at [[https://csf2025.ieee-security.org/|CSF 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>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*}} presented at [[https://popl24.sigplan.org/|POPL 2024]]
===== Academic Activities =====
++++ Program Committee Chair |
* SPLASH 2019 [[https://2019.splashcon.org/track/splash-2019-Doctoral-Symposium|Doctoral Symposium]]
* 11th International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2012|AOSD 2012]])
* 7th International Symposium on Software Composition 2008 ([[http://2008.software-composition.org/|SC 2008]]) at ETAPS 2008
* XXVIth International Conference of the Chilean Computer Science Society ([[http://www.sccc.cl/sccc2007/|SCCC 2007]])
* 1st Latin American Workshop on Aspect-Oriented Software Development ([[http://www.les.inf.puc-rio.br/la-wasp2007|LA-WASP.07]])
++++
++++ Program Committee Member (Conferences) |
* 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]])
* 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]])
* 23rd ACM SIGPLAN International Conference on Functional Programming ([[http://conf.researchr.org/home/icfp-2018|ICFP 2018]])
* 45th ACM SIGPLAN Conference on Principles of Programming Languages ([[http://conf.researchr.org/home/POPL-2018|POPL 2018]])
* 27th European Symposium on Programming ([[http://www.etaps.org/index.php/2018|ESOP 2018]])
* 32nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ([[http://2017.splashcon.org/track/splash-2017-oopsla|OOPSLA 2017]]) -- External Program Committee
* 14th Asian Symposium on Programming Languages and Systems ([[http://soict.hust.edu.vn/~aplas2016/|APLAS 2016]])
* 17th Symposium on Trends in Functional Programming ([[http://tfp2016.org/|TFP 2016]])
* 31st ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ([[http://2016.splashcon.org/track/splash-2016-oopsla|OOPSLA 2016]]) -- External Program Committee
* 30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ([[http://2015.splashcon.org|OOPSLA 2015]])
* 24th European Symposium on Programming ([[http://conf.researchr.org/home/esop-2015|ESOP 2015]])
* 14th International Conference on Modularity, External Review Committee ([[http://modularity.info|MODULARITY 2015]])
* 13th International Conference on Generative Programming: Concepts & Experiences ([[http://program-transformation.org/GPCE14/CallForPapers|GPCE 2014]])
* 27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications ([[http://splashcon.org/2012/cfp/378|OOPSLA 2012]])
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2012/|SAC 2012]]), Track on ([[http://www.dmi.unict.it/%7Etramonta/sac/|Programming for Separation of Concerns]])
* 10th ACM International Conference on Generative Programming and Component Engineering ([[http://program-transformation.org/GPCE11/|GPCE 2011]])
* 10th ACM International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2011|AOSD 2011]])
* 6th ACM Dynamic Languages Symposium ([[http://www.dynamic-languages-symposium.org/dls-10/index.html|DLS 2010]])
* 24th European Conference on Object-Oriented Programming ([[http://2010.ecoop.org/|ECOOP 2010]])
* 9th ACM International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2010|AOSD 2010]])
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2010/|SAC 2010]]), Track on ([[http://www.dmi.unict.it/%7Etramonta/PSC10/|Programming for Separation of Concerns]])
* IFIP International Conference on Distributed Applications and Interoperable Systems ([[http://discotec09.di.fc.ul.pt/index.php?title=DAIS/CFP|DAIS 2009]])
* 47th International Conference on Objects, Models, Components and Patterns ([[http://tools.ethz.ch|TOOLS-EUROPE 2009]])
* 13th Brazilian Symposium on Programming Languages ([[http://sblp2009.ucpel.tche.br/|SBLP 2009]])
* 8th International Conference on Software Composition ([[http://www.2009.software-composition.org/|SC 2009]])
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2009/|SAC 2009]]), Track on Programming for Separation of Concerns
* 5th International Conference on Autonomic and Autonomous Systems ([[http://www.iaria.org/conferences2009/ICAS09.html|ICAS 2009]])
* XXVIIth International Conference of the Chilean Computer Science Society ([[http://www.sccc.cl/sccc2008|SCCC 2008]])
* 12th Brazilian Symposium on Programming Languages ([[http://www.lia.ufc.br/sblp2008/|SBLP 2008]])
* IFIP International Conference on Distributed Applications and Interoperable Systems ([[http://discotec08.ifi.uio.no/dais|DAIS 2008]])
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2008/|SAC 2008]]), Track on Programming Languages, and Track on Programming for Separation of Concerns
* International Conference on Trustworthy Global Computing ([[http://www-sop.inria.fr/everest/tgc/|TGC 2007]])
* IFIP International Conference on Distributed Applications and Interoperable Systems ([[http://www.discotec07.cs.ucy.ac.cy/DAIS/index.htm|DAIS 2007]])
* International Symposium on Software Composition ([[http://ssel.vub.ac.be/sc2007/|SC 2007]])
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2007/|SAC 2007]]), Track on Programming for Separation of Concerns
* [[http://www.netobjectdays.org/|NODe 2006]] - Objects, Aspects, Services, the Web
* ACM Symposium on Applied Computing ([[http://www.acm.org/conferences/sac/sac2006/|SAC 2006]]), Track on Programming for Separation of Concerns
++++
++++ Program Committee Member (Workshops) |
* 1st ACM SIGPLAN Workshop on Gradual Typing ([[https://popl20.sigplan.org/home/wgt-2020|WGT 2020]])
* 6th International Workshop on Coq for Programming Languages ([[https://popl20.sigplan.org/home/CoqPL-2020|CoqPL 2020]])
* 4th Workshop on Meta-Programming Techniques and Reflection ([[https://2019.splashcon.org/home/meta-2019|META 2019]])
* 9th Workshop on Evaluation and Usability of Programming Languages and Tools ([[https://2018.splashcon.org/track/plateau-2018-papers|PLATEAU 2018]])
* 2nd Workshop on Object-Capability Languages, Systems, and Applications ([[https://2018.splashcon.org/track/ocap-2018-papers|OCAP 2018]])
* 12th Coq Workshop 2018 ([[https://coqworkshop2018.inria.fr/|Coq 2018]])
* 2nd Summit on Advances in Programming Languages ([[http://snapl.org/2017/index.html|SNAPL 2017]])
* 5th Workshop on Evaluation and Usability of Programming Languages and Tools ([[http://2014.splashcon.org/track/plateau2014|PLATEAU 2014]])
* 20th International Workshop on Foundations of Object-Oriented Languages ([[http://fool2013.cs.brown.edu/|FOOL 2013]])
* ACM SIGPLAN Workshop on Scheme and Functional Programming ([[http://www.schemeworkshop.org/2012/|SFP 2012]])
* 11th Workshop on the Foundations of Aspect-Oriented Languages ([[http://www.eecs.ucf.edu/FOAL/|FOAL 2012]])
* 9th Workshop on the Foundations of Aspect-Oriented Languages ([[http://www.eecs.ucf.edu/FOAL/index-2010.shtml|FOAL 2010]])
* 3rd Latin American Workshop on Aspect-Oriented Software Development ([[http://www.cin.ufpe.br/~lawasp09/|LA-WASP.09]])
* Workshop on Context-Aware Software Technology and Applications ([[http://casta.unibe.ch/|CASTA 2009]]), co-located with ESEC/FSE 2009
* Workshop on Context-Oriented Programming ([[http://prog.vub.ac.be/cop09|COP 2009]]), co-located with ECOOP 2009
* Workshop on Reflection, AOP and Meta-Data for Software Evolution ([[http://www-users.cs.york.ac.uk/~manuel/Events/RAM-SE09/|RAM-SE]]), co-located with ECOOP 2009
* 2nd Latin American Workshop on Aspect-Oriented Software Development (LA-WASP.08)
* International Workshop on Software Professional Engineering Education (SPEED 2007)
* International Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms ([[http://www.cs.iastate.edu/~design/vmil/|VMIL 2007]])
* Brazilian Workshop on Aspect-Oriented Software Development ([[http://www.les.inf.puc-rio.br/wasp2006/english/index.htm|WASP 2006]])
++++
++++ Editorial Boards, Committees, Evaluations |
* Committee Member of the [[https://www.sigplan.org/Awards/Milner/|ACM Robin Milner Young Researcher Award]] (2021-2024)
* Editor of the [[https://www.cambridge.org/core/journals/journal-of-functional-programming|Journal of Functional Programming]], Cambridge (2018-2021)
* Associate Editor of the [[https://www.journals.elsevier.com/science-of-computer-programming/|Science of Computer Programming]] journal, Elsevier (2018-2020)
* Associate Editor of the [[http://www.computer.org/portal/web/tse/about|IEEE Transactions on Software Engineering]] (2014-2017)
* Member of the Steering Committee of the [[http://aosd.net/aosa.php|Aspect-Oriented Software Assocation]] (7/2010-3/2015)
* Co-Editor-in-Chief of the [[http://www.springer.com/computer/lncs?SGWID=0-164-2-109318-0|LNCS Transactions on AOSD]], Springer-Verlag (3/2013-3/2015)
* Reviewer for the following journals: [[https://dl.acm.org/journal/toplas|ACM Transactions on Programming Languages]], [[https://dl.acm.org/journal/tods|ACM Transactions on Database Systems]], [[http://www.computer.org/software/|IEEE Software]], [[http://www.computer.org/tse|IEEE Transactions on Software Engineering]], [[http://journals.cambridge.org/action/displayJournal?jid=JFP|Journal of Functional Programming]] (Cambridge), [[http://www3.interscience.wiley.com/journal/1752/home|Software - Practice and Experience]] (Wiley), [[http://www.elsevier.com/locate/scico|Science of Computer Programming]] (Elsevier), [[http://www.rairo-ita.org/|Theoretical Informatics and Applications]] (RAIRO, EDP Sciences), [[http://journals.cambridge.org/action/displayJournal?jid=MSC|Mathematical Structures in Computer Science]] (Cambridge)
* External Reviewer for [[https://www.ieee-security.org/TC/CSF2021/|CSF 2021]], [[https://popl20.sigplan.org/|POPL 2020]], [[https://conf.researchr.org/track/etaps-2019/esop-2019-papers|ESOP 2019]], [[http://popl.mpi-sws.org/2014/|POPL 2014]], [[http://www.program-transformation.org/PEPM08|PEPM 2008]], [[http://ties.ucsd.edu/PLDI/|PLDI 2007]]
* Evaluator for the following funding agencies: FONDECYT Regular National Research Competition, Chile; Swiss National Science Foundation, Switzerland; Netherlands Organisation for Scientific Research, Holland; Israel Science Foundation; FONCYT, Argentina; Research Foundation - Flanders (FWO), Belgium; Agence Nationale pour la Recherche (ANR), France; EU ECOS-Sud.
* Member of the Engineering Study Group (Ingeniería 2) of CONICYT, Chile (2011-2012).
++++
++++ Organization of Events (Workshops, Conferences, Schools) |
* [[https://cass.pleiad.cl/|Coq Andes Summer School 2020]]
* 6th Workshop on Domain-Specific Aspect Languages ([[http://dsal.cl/2011|DSAL 2011]]) at the ACM International Conference on AOSD ([[http://aosd.net/2011/|AOSD 2011]])
* 3rd Summer School on Programming Languages ([[http://pleiad.dcc.uchile.cl/pl2010|PL 2010]])
* Tutorial committee of [[http://cbsoft.dcc.ufba.br|CBSOFT 2010]]
* 5th Workshop on Domain-Specific Aspect Languages ([[http://dsal.cl/2010|DSAL 2010]]) at the ACM International Conference on AOSD ([[http://aosd.net/2010/|AOSD 2010]])
* 8th International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2009|AOSD 2009]]), publicity co-chair
* 2nd Summer School on Programming Languages ([[http://pleiad.dcc.uchile.cl/pl2009|PL 2009]])
* 4th Workshop on Domain-Specific Aspect Languages ([[http://dsal.dcc.uchile.cl/2009/|DSAL 2009]]) at the ACM International Conference on AOSD ([[http://aosd.net/2009/|AOSD 2009]])
* Summer School on Programming Languages ([[http://pleiad.dcc.uchile.cl/pl2008|PL 2008]])
* 3rd Workshop on Domain-Specific Aspect Languages ([[http://dsal.dcc.uchile.cl/2008/|DSAL 2008]]) at the ACM International Conference on AOSD ([[http://aosd.net/2008/|AOSD 2008]])
* 2nd ISCV Thematic Workshop: Biologically-Inspired Computing 2007 ([[http://pleiad.dcc.uchile.cl/bic2007|BIC 2007]])
* 3rd Workshop on Object Technology for Ambient Intelligence and Pervasive Computing ([[http://sam.iai.uni-bonn.de/ot4ami2007/|OT4AmI 2007]]) at the European Conference on Object-Oriented Programming ([[http://ecoop07.swt.cs.tu-berlin.de/|ECOOP 2007]])
* 2nd Workshop on Domain-Specific Aspect Languages ([[http://dsal.dcc.uchile.cl/2007/|DSAL 2007]]) at the ACM International Conference on AOSD ([[http://aosd.net/2007/|AOSD 2007]])
* 1st Workshop on Domain-Specific Aspect Languages ([[http://dsal.dcc.uchile.cl/2006/|DSAL 2006]]) at the ACM International Conference on Generative Programming and Component Engineering ([[http://www.gpce.org/06/|GPCE 2006]])
* 2nd Workshop on Object Technology for Ambient Intelligence and Pervasive Computing ([[http://sam.iai.uni-bonn.de/ot4ami/|OT4AmI 2006]]) at the European Conference on Object-Oriented Programming ([[http://ecoop2006.emn.fr/|ECOOP 2006]])
* 1st Workshop on Software Engineering of Pervasive Services ([[http://sam.iai.uni-bonn.de/seps2006/|SEPS 2006]]) at the IEEE International Conference on Pervasive Services ([[http://www.ens-lyon.fr/LIP/RESO/icps2006/|ICPS 2006]])
* 1st Workshop on Open and Dynamic Aspect Languages ([[http://aosd.net/workshops/oal/2006/|ODAL 2006]]) at the ACM International Conference on AOSD ([[http://aosd.net/2006/|AOSD 2006]])
++++
++++ Outreach |
* In June/July 2014, I was volunteering as a visiting [[http://www.ucc.edu.gh/academics/programming-and-programming-languages|lecturer]] at University of Cape Coast, Ghana, for [[http://www.awbc-usfc.org/projects/ghana|Academics without Borders]].
++++
++++ Research Projects |
* ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
* INRIA Équipe Associée GRAPA [2023-2025/lead]
* Millenium Institute for Foundational Research on Data (IMFD), Associate Researcher [2023-2027]
* FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]
* Millenium Institute for Foundational Research on Data (IMFD), Associate Researcher [2018-2022]
* INRIA Équipe Associée GECO [2018-2022/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]
* INRIA Équipe Associée REAL [2013-2015/lead]
* FONDECYT Project 1110051 - Modular and Adaptable Software without Losing Control [2011-2014/lead]
* INRIA Équipe Associée RAPIDS [2010-2012/lead]
* FONDECYT Project 1090083 - Engineering and Composition of Domain-Specific Aspect Languages [2009-2012/researcher]
* STIC AmSud Project CoReA: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits (09STIC02) [2009-2010/researcher]
* INRIA-CONICYT Project CORDIAL [2008-2009/lead]
* FONDECYT Project 11060493 - Modularization and Adaptation of Complex and Dynamic Software Systems [Oct.2006-Oct.2009/lead]
* Latin American Network on Aspect-Oriented Software Development [2007-2009/lead]
* Bilateral collaboration with the PROG lab of the Vrije Universiteit Brussel: ORION (Open Reflective Infrastructure for Open Networks) [2006-2007/lead]
* Center for Web Research ([[http://www.cwr.cl|CWR]]) [PhD student 2002-2004, Postdoc 2005-2006, Young Researcher 2006-2007]
* European Network of Excellence CoreGRID (WP3) [2005-2007/researcher]
* Chile-Korea ITCC Project AOP for the Grid [2004-2006/lead]
* INRIA-CONICYT Project OSCAR [2004-2006/researcher]
* INRIA-CONICYT Project ProXiMoS [2002-2003/researcher]
++++
++++ Administration |
* Coordinator of Department Undergrad Graduation Projects in Industry [2024-]
* Member of the Department Graduate Committee [2020-]
* Member of the Academic Qualification Committee of the Engineering Faculty (FCFM) [2020-2024]
* Director of the Computer Science Department [2016-2018]
* Deputy Director of the Computer Science Department [2015-2016]
* Head of the Department Graduate Committee [2012-2016]
* Coordinator of the PhD Program in Computer Science [2012-2016]
* Elected Member of the Department Council [2012-2016]
* Member of the Department Academic Evaluation Committee [2011-2014]
* Library Coordinator [2009-2020]
* Substitute Member of the Department Council [2007-2008]
++++
++++ 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}}
* **10-year paper awards**: Most notable paper award at [[https://dynamic-languages-symposium.org/index.html|DLS]] 2023 for our {{bib>allendeAl-dls2013|DLS 2013}} paper, Most influential paper award at 2020 for my {{bib>tanter:aosd2010|AOSD 2010 paper}}, Most influential paper award at 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
* [[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
* 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
++++
++++ Grad students |
* [PhD] Stefan Malewski
* [PhD] Damian Arquez [co-advised with Matías Toro]
* [PhD] Tomás Díaz
* [MSc] José Luis Romero [co-advised with Matías Toro]
* [MSc] Gaspar Ricci [co-advised with Matías Toro]
* //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.
* Raimil Cruz: [[http://repositorio.uchile.cl/handle/2250/173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.
* Matías Toro: [[http://repositorio.uchile.cl/handle/2250/170935|Abstracting Gradual Typing: Metatheory and Applications]]. Defended 05/07/2019.
* Oscar Callaú: [[http://repositorio.uchile.cl/handle/2250/132889|Empirically-Driven Design and Implementation of Gradualtalk]]. [co-advised with Romain Robbes]. Defended 27/01/2015.
* Esteban Allende: [[http://repositorio.uchile.cl/handle/2250/132317|Improving the Efficiency and Reliability of Gradual Typing]] [co-advised with Johan Fabry]. Defended 08/01/2015.
* Rodolfo Toledo: [[http://repositorio.uchile.cl/handle/2250/117015|Modular and Secure Access Control with Aspects]]. Defended 13/05/2014.
* Ismael Figueroa: [[http://repositorio.uchile.cl/handle/2250/116427|Effective Aspects: A Typed Monadic Model to Control and Reason About Aspect Interference]] [co-advised with Nicolas Tabareau]. Defended 22/04/2014.
* Christophe Scholliers: [[http://soft.vub.ac.be/Publications/2013/vub-soft-phd-13-03.pdf|Ambient Contracts]] (Vrije Universiteit Brussel) [co-advised with Wolfgang De Meuter]. Defended 07/02/2013.
* Paul Leger: [[http://repositorio.uchile.cl/handle/2250/111916|Opening Up Trace-Based Mechanisms]]. Defended 05/10/2012.
* Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
* //Former MSc students://
* [[https://tvallejos.cl/|Tomás Vallejos]]: [[https://repositorio.uchile.cl/handle/2250/197654|A Coq formalization of RDF and its applications]] [co-advised with Aidan Hogan and Assia Mahboubi]. Defended 22/01/2024.
* Damián Árquez: [[https://repositorio.uchile.cl/handle/2250/182959|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.
* Nicolás Lehmann: [[http://repositorio.uchile.cl/handle/2250/144325|Gradual Refinement Types]]. Defended 9/3/2017.
* 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.
* 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.
* 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.
++++
===== Publications =====
Online profiles: [[http://scholar.google.com/citations?user=d0LISE4AAAAJ|Google Scholar]] [[https://www.researchgate.net/profile/Eri
c_Tanter|ResearchGate]]
Online libraries and indices: [[http://dblp.uni-trier.de/db/indices/a-tree/t/Tanter:=Eacute=ric.html|DBLP]] [[http://portal.acm.org/author_page.cfm?id=81100346970|ACM]] [[http://www.springerlink.com/content/?k=eric+tanter|SpringerLink]]
//The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
//
Loading bibtex info...
===== Other material =====
I teach several [[teaching:|courses]] related to programming languages.
In particular, I use Shriram Krishnamurthi's [[http://www.c
s.brown.edu/~sk/Publications/Books/ProgLangs/|PLAI]] book for the first PL course. I have written a couple of add-ons for PLAI:
* [[http://www.dcc.uchile.cl/~etanter/preplai|PrePLAI]]: crash course on Scheme and functional programming (in spanish)
* [[http://users.dcc.uchile.cl/~etanter/scope/|A Note on Scope]]
* [[http://users.dcc.uchile.cl/~etanter/recursion/|A Note on Recursion]]
* [[http://www.dcc.uchile.cl/~etanter/ooplai|OOPLAI]]: exploring OOP from scratch using macros
I have also gathered some [[people:etanter:writing-tips|writing tips]] over time.
Charla sobre {{people:etanter:ethics.pdf|ética en investigación}} (curso postgrado DCC)