conf.researchr.org / Éric Tanter
Registered user since Mon 13 Oct 2014
Contributions
2024
2023
2022
ICFP
2021
SPLASH
2020
SPLASH
WGT
- 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
2019
SPLASH
- 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)
ICFP
2018
SPLASH
ICFP
- 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)