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. |
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 |
|
| 2. |
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 |
|