Denis Merigoux

Statistics

Publications

Citations

112

H-Index

Active since

2019

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft (United States)

CryptoExperts (France)

Carnegie Mellon University

Microsoft Research (United Kingdom)

Denis Merigoux is an author at Institut national de recherche en sciences et technologies du numérique specializing in programming languages, computing, and computer science.

ORCID

Publications per year

2019–2021

Publications

Catala: a programming language for the law

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko · Proceedings of the ACM on Programming Languages · 2021 · 44 citations · Full text

Law, Jurisprudence, Public Law +17

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al. · Proceedings of the ACM on Programming Languages · 2020 · 26 citations · Full text

Computing, Computer Science, Formal Methods +16

Formally Verified Cryptographic Web Applications in WebAssembly

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux et al. · 2019 · 25 citations · Full text

Computing, Computer Engineering, Computer Science +15

Steel: proof-oriented programming in a dependently typed concurrent separation logic

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy et al. · Proceedings of the ACM on Programming Languages · 2021 · 17 citations · Full text

Computing, Computer Science, Formal Methods +16

1–4 of 4