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 2024
| 1. |
Gradual Differentially Private Programming.
Journal: Communications of the ACM. Volume: 67. Issue: 8. Pages: 49-53. Date: August 2024. Authors: Matías Toro, Éric Tanter, Federico Olmedo |
|
| 2. |
Gradual Indexed Inductive Types.
Journal: Proceedings of the ACM Programming Languages. Volume: 8. Issue: ICFP. Pages: 544-572. Date: August 2024. Authors: Stefan Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter |
|
| 3. |
Securing Verified IO Programs Against Unverified Code in
F*.
Journal: Proceedings of the ACM Programming Languages. Volume: 8. Issue: POPL. Pages: 2226-2259. Date: January 2024. Authors: Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Theo Winterhalter |
|