Arthur Charguéraud

Citirano

	Sve	Od 2020.
Citati	2135	1012
H-indeks	23	17
i10-indeks	32	24

240

120

180

20082009201020112012201320142015201620172018201920202021202220232024202527 36 49 59 54 66 93 76 121 128 144 229 154 214 201 208 195 39

Javni pristup

Prikaži sve

19 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Mike RaineyCarnegie Mellon UniversityPotvrđena adresa e-pošte na mike-rainey.site
Umut A. AcarCarnegie Mellon University, Department of Computer SciencePotvrđena adresa e-pošte na cs.cmu.edu
François PottierInria ParisPotvrđena adresa e-pošte na inria.fr
Martin BodinInriaPotvrđena adresa e-pošte na ens-lyon.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesPotvrđena adresa e-pošte na cnrs.fr
Alan SchmittInria, IRISAPotvrđena adresa e-pošte na inria.fr
Mário PereiraAssistant Professor, NOVA School of Science and TechnologyPotvrđena adresa e-pošte na fct.unl.pt
Jean-Christophe FilliâtreCNRSPotvrđena adresa e-pošte na lri.fr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonPotvrđena adresa e-pošte na doc.ic.ac.uk
Robbert KrebbersAssociate Professor, Radboud University NijmegenPotvrđena adresa e-pošte na cs.ru.nl
Amin TimanyAarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Joseph TassarottiAssistant Professor, New York UniversityPotvrđena adresa e-pošte na nyu.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusPotvrđena adresa e-pošte na mpi-sws.org
Ralf JungAssistant Professor, ETH ZürichPotvrđena adresa e-pošte na inf.ethz.ch
Filip SieczkowskiHeriot-Watt UniversityPotvrđena adresa e-pošte na hw.ac.uk
Alexandre MoineNew York UniversityPotvrđena adresa e-pošte na nyu.edu
Samuel GruetterMITPotvrđena adresa e-pošte na mit.edu

Prati

Arthur Charguéraud

Inria

Potvrđena adresa e-pošte na inria.fr

Programming Languages and Formal Proofs


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	308	2008
The locally nameless representation A Charguéraud Journal of automated reasoning 49, 363-408, 2012	235	2012
Scheduling parallel programs by work stealing with private deques UA Acar, A Charguéraud, M Rainey Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013	179	2013
A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	174	2014
Characteristic formulae for the verification of imperative programs A Charguéraud Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	146	2011
MoSeL: A general, extensible modal framework for interactive proofs in separation logic R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ... Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	116	2018
Pretty-big-step semantics A Charguéraud European Symposium on Programming, 41-60, 2013	102	2013
Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits A Charguéraud, F Pottier Journal of Automated Reasoning 62 (3), 331-365, 2019	87	2019
Functional translation of a calculus of capabilities A Charguéraud, F Pottier Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008	73	2008
Program verification through characteristic formulae A Charguéraud Proceedings of the 15th ACM SIGPLAN International Conference on Functional …, 2010	68	2010
A fistful of dollars: Formalizing asymptotic complexity claims via deductive program verification A Guéneau, A Charguéraud, F Pottier European Symposium on Programming, 533-560, 2018	64	2018
Separation logic for sequential programs (functional pearl) A Charguéraud Proceedings of the ACM on Programming Languages 4 (ICFP), 1-34, 2020	49	2020
Machine-checked verification of the correctness and amortized complexity of an efficient union-find implementation A Charguéraud, F Pottier International Conference on Interactive Theorem Proving, 137-153, 2015	44	2015
GOSPEL—providing OCaml with a formal specification language A Charguéraud, JC Filliâtre, C Lourenço, M Pereira Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019	36	2019
Formal proof and analysis of an incremental cycle detection algorithm A Guéneau, JH Jourdan, A Charguéraud, F Pottier Interactive Theorem Proving, 2019	32	2019
Oracle scheduling: Controlling granularity in implicitly parallel languages UA Acar, A Charguéraud, M Rainey ACM Sigplan Notices 46 (10), 499-518, 2011	32	2011
Temporary read-only permissions for separation logic A Charguéraud, F Pottier Programming Languages and Systems: 26th European Symposium on Programming …, 2017	30	2017
A work-efficient algorithm for parallel unordered depth-first search UA Acar, A Charguéraud, M Rainey Proceedings of the International Conference for High Performance Computing …, 2015	30	2015
JSExplain: A double debugger for JavaScript A Charguéraud, A Schmitt, T Wood Companion Proceedings of the The Web Conference 2018, 691-699, 2018	29	2018
Characteristic formulae for mechanized program verification A Charguéraud PhD thesis, Université Paris 7, 2010	28	2010

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori