É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