Skip to Main content

Export Publications

Export the displayed publications:
Number of documents


Liste des publications

Journal articles3 documents

  • Denis Merigoux, Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, et al.. Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩. ⟨hal-03466397⟩
  • Denis Merigoux, Nicolas Chataing, Jonathan Protzenko. Catala: A Programming Language for the Law. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.77:1-29. ⟨10.1145/3473582⟩. ⟨hal-03159939v2⟩
  • Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, et al.. SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩. ⟨hal-02936273⟩

Conference papers6 documents

  • Alain Delaët, Denis Merigoux, Aymeric Fromherz. Turning Catala into a Proof Platform for the Law. POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States. ⟨hal-03447072⟩
  • Alain Delaët, Denis Merigoux. Catala, un langage pour transformer la loi en code (démonstration). 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03626853⟩
  • Denis Merigoux, Raphaël Monat, Jonathan Protzenko. A Modern Compiler for the French Tax Code. CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩. ⟨hal-03002266v3⟩
  • Denis Merigoux, Raphaël Monat, Christophe Gaie. Étude formelle de l'implémentation du code des impôts. JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02320347v3⟩
  • Liane Huttner, Denis Merigoux. Traduire la loi en code grâce au langage de programmation Catala. Intelligence artificielle et finances publiques, Oct 2020, Nice, France. ⟨hal-03128248⟩
  • Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan. Formally Verified Cryptographic Web Applications in WebAssembly. SP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩. ⟨hal-02294935⟩

Preprints, Working Papers, ...2 documents

  • Denis Merigoux. The Specification Problem of Legal Expert Systems. 2022. ⟨hal-03541637⟩
  • Liane Huttner, Denis Merigoux. Catala: Moving Towards the Future of Legal Expert Systems. 2022. ⟨hal-02936606v2⟩

Reports1 document

  • Denis Merigoux, Franziskus Kiefer, Karthikeyan Bhargavan. Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust. [Technical Report] Inria. 2021. ⟨hal-03176482⟩

Master thesis1 document

  • Denis Merigoux. Semantic Patch Inference. Programming Languages [cs.PL]. 2016. ⟨hal-02936287⟩