Arthur Charguéraud

Statistics

Publications

Citations

1.2K

H-Index

Active since

2008

Affiliations

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

Centre National de la Recherche Scientifique

Laboratoire de Recherche en Informatique

Carnegie Mellon University

Université de Strasbourg

Arthur Charguéraud is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2008–2023

Publications

Engineering formal metatheory

Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce et al. · 2008 · 218 citations · Full text

Computing, Computer Science, Formal Methods +11

The Locally Nameless Representation

Arthur Charguéraud · Journal of Automated Reasoning · 2011 · 148 citations

Architecture, Architectural Representation, Knowledge Representation +3

Scheduling parallel programs by work stealing with private deques

Umut A. Acar, Arthur Charguéraud, Mike Rainey · 2013 · 129 citations

Computing, Computer Engineering, Computer Science +17

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 90 citations · Full text

Computing, Computer Science, Formal Methods +10

A trusted mechanised JavaScript specification

Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations

Computing, Computer Science, Formal Methods +10

1–5 of 24