`Travelled to:`

1 × Canada

1 × China

1 × Italy

1 × Japan

4 × USA

`Collaborated with:`

∅ F.Pottier U.A.Acar M.Rainey A.Guéneau B.E.Aydemir B.C.Pierce R.Pollack S.Weirich A.Guatto F.Sieczkowski M.Bodin D.Filaretti P.Gardner S.Maffeis D.Naudziuniene A.Schmitt G.Smith

`Talks about:`

program (4) parallel (3) schedul (3) verif (3) characterist (2) formula (2) formal (2) metatheori (1) temporari (1) heartbeat (1)

## Person: Arthur Charguéraud

### DBLP: Chargu=eacute=raud:Arthur

### Contributed to:

### Wrote 11 papers:

- POPL-2014-BodinCFGMNSS #specification
- A trusted mechanised JavaSript specification (MB, AC, DF, PG, SM, DN, AS, GS), pp. 87–100.
- ESOP-2013-Chargueraud #semantics
- Pretty-Big-Step Semantics (AC), pp. 41–60.
- PPoPP-2013-AcarCR #parallel #scheduling #source code
- Scheduling parallel programs by work stealing with private deques (UAA, AC, MR), pp. 219–228.
- ICFP-2011-Chargueraud #imperative #source code #verification
- Characteristic formulae for the verification of imperative programs (AC), pp. 418–430.
- OOPSLA-2011-AcarCR #parallel #scheduling
- Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
- ICFP-2010-Chargueraud #verification
- Program verification through characteristic formulae (AC), pp. 321–332.
- ICFP-2008-ChargueraudP #calculus #functional
- Functional translation of a calculus of capabilities (AC, FP), pp. 213–224.
- POPL-2008-AydemirCPPW
- Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.
- ESOP-2017-ChargueraudP #logic
- Temporary Read-Only Permissions for Separation Logic (AC, FP), pp. 260–286.
- ESOP-2018-GueneauCP #complexity #deduction #formal method #verification
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification (AG, AC, FP), pp. 533–560.
- PLDI-2018-AcarCGRS #parallel #performance #scheduling
- Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.