Jonathan Protzenko
- A Modern Compiler for the French Tax Code
2020/11/16 by Denis Merigoux, Raphaël Monat, Merigoux, Denis +3 · 8 voices · 2 citations
#cs.PL
- Catala: a programming language for the law
2021/03/04 by Denis Merigoux, Nicolas Chataing, Jonathan Protzenko · 5 voices · 9 citations
Computer Science · Social Sciences · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #Artificial Intelligence in Law
- Scylla: Translating an Applicative Subset of C to Safe Rust
2024/12/19 by Aymeric Fromherz, Fromherz, Aymeric, Jonathan Protzenko +1 · 21 voices · 1 citation
#cs.PL
- Aeneas: Rust verification by functional translation
2022/06/14 by Son Ho, Jonathan Protzenko · 3 voices · 5 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.PL
- Charon: An Analysis Framework for Rust
2024/10/23 by Son Ho, Guillaume Boisseau, Ho, Son +9 · 2 voices · 2 citations
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · Computer Science · #Berry genetics and cultivation research #Yeasts and Rust Fungi Studies #cs.PL