Arthur Charguéraud

Publications

1.2K

Citations

H-Index

2008

Active since

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 computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationAutomated ReasoningSoftware AnalysisComputer EngineeringVerificationParallel Computing

Publications per year

2008–2023

Publications

Engineering formal metatheory

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

Engineering, Verification, Automated Proof +22

The Locally Nameless Representation

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

Representation Theory, Non-commutative Algebra, Group Representation +2

Scheduling parallel programs by work stealing with private deques

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

Cluster Computing, Engineering, Computer Architecture +19

A trusted mechanised JavaScript specification

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

Engineering, Information Security, Verification +22

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 · 86 citations · Full text

Engineering, Verification, Automated Proof +18

Rows per page

1–5 of 23