Publications

Stats

Browse by date

(if a year does not appear in the list, it is because there are no records for that particular year)

January 2025 (2)

1. 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
View reference page
2. 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
View reference page