Éric Tanter

Registered user since Mon 13 Oct 2014

Name: Éric Tanter

Affiliation: University of Chile

Personal website: http://pleiad.cl/people/etanter

Contributions

CPP 2021 Author of Gradualizing the Calculus of Inductive Constructions within the Lightning Talks-track
ECOOP 2020 Author of Abstracting gradual references within the Research Papers-track
SPLASH 2020 Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track
Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
PriSC 2020 Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track
WGT 2020 Committee Member in Program Committee within the WGT-track
Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
Author of Gradual Algebraic Data Types within the WGT-track
Author of Gradual Typing as if Types Mattered within the WGT-track
Author of Gradual Program Analysis within the WGT-track
CPP 2020 Author of A Mechanized Formalization of GraphQL within the CPP 2020-track
META 2019 Committee Member in Program Committee within the META 2019-track
APLAS 2019 Author of Existential Types for Relaxed Noninterference within the Research Papers-track
SPLASH 2019 Author of Gradual Program Analysis within the Posters-track
Author of Gradual Program Analysis within the SRC-track
Doctoral Symposium Chair in Organizing Committee
Chair in Program Committee within the Doctoral Symposium-track
Committee Member in Review Committee within the OOPSLA-track
Session Chair of Types (part of OOPSLA)
GPCE 2011 Committee Member in Program Committee within the GPCE 2011-track
PLATEAU 2018 Committee Member in Program Committee within the PLATEAU 2018-track
OCAP 2018 Committee Member in Program Committee within the OCAP 2018-track
POPL 2019 Author of Gradual Parametricity, Revisited within the Research Papers-track
Author of Type-Driven Gradual Security with References within the Research Papers-track
ICFP 2019 Author of Dijkstra Monads for All within the Research Papers-track
Author of Approximate Normalization for Gradual Dependent Types within the Research Papers-track
Author of A Reasonably Exceptional Type Theory within the Research Papers-track
DLS 2018 Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
SPLASH 2018 Author of Gradual Liquid Type Inference within the OOPSLA-track
Committee Member in Program Committee within the DocSymposium-track
Mentor in Mentors within the Breakfasts-track
Author of Gradual Liquid Type Inference within the Artifacts-track
PriSC 2018 Author of Foundations of Dependent Interoperability within the PriSC 2018-track
VMCAI 2018 Author of Gradual Program Verification within the VMCAI 2018-track
ICFP 2018 Author of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages within the Tutorials-track
Committee Member in Program Committee within the Research Papers-track
Author of Equivalences for Free: Univalent Parametricity for Effective Transport within the Research Papers-track
Session Chair of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of Tutorials)
Session Chair of Gradual Typing and Proving (part of Research Papers)
POPL 2018 Committee Member in Program Committee within the Research Papers-track
META 2016 Committee Member in Program Committee within the Meta 2016-track
POPL 2017 Author of Gradual Refinement Types within the POPL-track
Reflect 2016 Programme Committee in Program Committee within the Reflect 2016-track
SPLASH 2017 Committee Member in External Program Committee within the OOPSLA-track
ECOOP 2017 Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track
ICFP 2016 Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track
CoqPL 2016 Author of Formalizing Simple Refinements in Coq within the CoqPL-track
SPLASH 2016 ERC member in External Program Committee within the OOPSLA-track
POPL 2016 Author of Abstracting Gradual Typing within the Research Papers-track
DLS 2015 Author of Gradual Certified Programming in Coq within the DLS-track
STOP 2015 Committee Member in Program Committee within the STOP-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
SPLASH 2015 Author of Customizable Gradual Polymorphic Effects for Scala within the OOPSLA Artifacts-track
Author of Customizable Gradual Polymorphic Effects for Scala within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
PLATEAU Committee Member in Program Committee within the PLATEAU-track
DLS Co-author of On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk within the DLS-track
SPLASH 2014 Presenter of Confined Gradual Typing within the OOPSLA-track
DLS 2013 Author of Cast Insertion Strategies for Gradually-Typed Objects within the Research Papers-track
SPLASH 2012 Committee Member in Program Committee
Committee Member in Program Committee within the OOPSLA Research Papers-track
Author of An empirical study of the influence of static type systems on the usability of undocumented software within the OOPSLA Research Papers-track
SPLASH 2011 Author of First-Class State Change in Plaid within the OOPSLA-track
Presenter of Plaid: a Permission-Based Programming Language within the Posters-track