Publications of Éric Tanter
(if a year does not appear in the list, it is because there are no records for that particular year)
Year 2025
| 1. |
Robust Dynamic Embedding for Gradual Typing.
Journal: Proceedings of the ACM Programming Languages. Volume: 9. Issue: ICFP. Pages: 66-92. Date: August 2025. Authors: Koen Jacobs, Matías Toro, Nicolas Tabareau, Éric Tanter |
|
| 2. |
Elucidating Type Conversions in SQL Engines.
Conference: European Symposium on Programming. Publisher: Springer Nature Switzerland AG. Pages: 408-435. Date: 2025. Authors: Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter |
|
| 3. |
Gradual Sensitivity Typing.
Conference: Computer Security Foundations Symposium (Santa Cruz). Publisher: IEEE Computer Society Press. Pages: 314-329. Date: 2025. Authors: Damián Árquez, Matías Toro, Éric Tanter |
|
| 4. |
Gradual C0: Symbolic Execution for Gradual Verification.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 46. Issue: 4. Pages: 14:1-14:57. Date: January 2025. Authors: Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich |
|
| 5. |
All Your Base are Belong to Us: Sort Polymorphism for Proof
Assistants.
Journal: Proceedings of the ACM Programming Languages. Volume: 9. Issue: POPL. Pages: 2253-2281. Date: January 2025. Authors: Josselin Poiret, Gaetan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter |
|