Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Éric Tanter
conf.researchr.org general profile
APLAS 2019 profile
ECOOP 2015 profile
ECOOP and ISSTA 2021 profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2022 profile
ICFP 2023 profile
Modularity 2016 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Mon 13 Oct 2014
Name:
Éric Tanter
Affiliation:
University of Chile
Personal website:
http://pleiad.cl/people/etanter
Contributions
ICFP 2023
Committee Member in Program Committee within the ICFP Research Papers-track
POPL 2023
Committee Member in Program Committee within the POPL-track
SPLASH 2022
Author of Plausible sealing for gradual parametricity within the OOPSLA-track
ICFP 2022
Author of A Reasonably Gradual Type Theory within the ICFP Papers and Events-track
Author of Propositional Equality for Gradual Dependently Typed Programming within the ICFP Papers and Events-track
POPL 2022
Author of Gradualizing the Calculus of Inductive Constructions within the POPL-track
PriSC 2022
Committee Member in Program Committee within the PriSC 2022-track
DLS 2021
Committee Member in External Program Committee within the DLS 2021-track
SPLASH 2021
Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track
Author of Gradually Structured Data within the OOPSLA-track
ECOOP 2021
Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track
CPP 2021
Author of Gradualizing the Calculus of Inductive Constructions within the Lightning Talks-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
ECOOP 2020
Author of Abstracting gradual references within the Research Papers-track
CPP 2020
Author of A Mechanized Formalization of GraphQL within the CPP 2020-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
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)
META 2019
Committee Member in Program Committee within the META 2019-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
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
DLS 2018
Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
OCAP 2018
Committee Member in Program Committee within the OCAP 2018-track
PLATEAU 2018
Committee Member in Program Committee within the PLATEAU 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
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
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
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
POPL 2017
Author of Gradual Refinement Types within the POPL-track
META 2016
Committee Member in Program Committee within the Meta 2016-track
SPLASH 2016
ERC member in External Program Committee within the OOPSLA-track
ICFP 2016
Author of Partial Type Equivalences for Verified Dependent Interoperability within the Research Papers-track
Reflect 2016
Programme Committee in Program Committee within the Reflect 2016-track
CoqPL 2016
Author of Formalizing Simple Refinements in Coq within the CoqPL-track
POPL 2016
Author of Abstracting Gradual Typing within the Research Papers-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
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 2014
Presenter of Confined Gradual Typing within the OOPSLA-track
DLS
Co-author of On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk within the DLS-track
PLATEAU
Committee Member in Program Committee within the PLATEAU-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
GPCE 2011
Committee Member in Program Committee within the GPCE 2011-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
Share
x
Tue 21 Mar 21:37