BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chargu=eacute=raud:Arthur

Contributed to:

POPL 20142014
ESOP 20132013
PPoPP 20132013
ICFP 20112011
OOPSLA 20112011
ICFP 20102010
ICFP 20082008
POPL 20082008
ESOP 20172017
ESOP 20182018
PLDI 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.