Éric Tanter

Registered user since Mon 13 Oct 2014

Name: Éric Tanter

Country: Chile

Affiliation: University of Chile & Inria Paris

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

Contributions

CoqPL 2020Committee Member in Program Committee within the CoqPL-track
WGT 2020Committee Member in Program Committee within the WGT-track
META 2019Committee Member in Program Committee within the META 2019-track
SPLASH 2019Author 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
PLATEAU 2018Committee Member in Program Committee within the PLATEAU 2018-track
OCAP 2018Committee Member in Program Committee within the OCAP 2018-track
POPL 2019Author of Gradual Parametricity, Revisited within the Research Papers-track
Author of Type-Driven Gradual Security with References within the Research Papers-track
ICFP 2019Author 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 2018Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
SPLASH 2018Author 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 2018Author of Foundations of Dependent Interoperability within the PriSC 2018-track
VMCAI 2018Author of Gradual Program Verification within the VMCAI 2018-track
ICFP 2018Author 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 2018Committee Member in Program Committee within the Research Papers-track
META 2016Committee Member in Program Committee within the Meta 2016-track
POPL 2017Author of Gradual Refinement Types within the POPL-track
Reflect 2016Programme Committee in Program Committee within the Reflect 2016-track
SPLASH 2017Committee Member in External Program Committee within the OOPSLA-track
ECOOP 2017Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track
ICFP 2016Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track
CoqPL 2016Author of Formalizing Simple Refinements in Coq within the CoqPL-track
SPLASH 2016ERC member in External Program Committee within the OOPSLA-track
POPL 2016Author of Abstracting Gradual Typing within the Research Papers-track
DLS 2015Author of Gradual Certified Programming in Coq within the DLS-track
STOP 2015Committee Member in Program Committee within the STOP-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
SPLASH 2015Author 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
PLATEAUCommittee Member in Program Committee within the PLATEAU-track
DLSCo-author of On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk within the DLS-track
SPLASH 2014Presenter of Confined Gradual Typing within the OOPSLA-track
DLS 2013Author of Cast Insertion Strategies for Gradually-Typed Objects within the Research Papers-track
SPLASH 2012Committee 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