( en | de | ru )

 

Disambiguation of "Monat, Raphaël"

Author of the publication

copydeleteadd this publication to your clipboard
A modern compiler for the French tax code.

, , and . CC, page 71-82. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anneliese Monat

Claudia Monat

Ilka Monath

Raphaël Laurent

Raphaël Collet

 

Other publications of authors with the same name

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer., , , and . VSTTE, volume 12031 of Lecture Notes in Computer Science, page 1-18. Springer, (2019)A Modern Compiler for the French Tax Code., , and . CoRR, (2020)A Multilanguage Static Analysis of Python Programs with Native C Extensions., , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 323-345. Springer, (2021)A modern compiler for the French tax code., , and . CC, page 71-82. ACM, (2021)A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4., , , , , and . FMCAD, page 1-10. IEEE, (2018)Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)., , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 387-392. Springer, (2024)Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)., , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 565-570. Springer, (2023)Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law., , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 421-450. Springer, (2024)Value and allocation sensitivity in static Python analyses., , and . SOAP@PLDI, page 8-13. ACM, (2020)Static type and value analysis by abstract interpretation of Python programs with native C libraries. (Analyse statique, de type et de valeur, par interprétation abstraite, de programmes Python utilisant des librairies C).. Sorbonne University, Paris, France, (2021)