Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arthur Charguéraud
@book{DBLP:books/hal/Chargueraud23,
author = {Arthur Chargu{\'{e}}raud},
title = {A Modern Eye on Separation Logic for Sequential Programs. (Un nouveau
regard sur la Logique de S{\'{e}}paration pour les programmes
s{\'{e}}quentiels)},
year = {2023},
url = {https://tel.archives-ouvertes.fr/tel-04076725},
timestamp = {Sun, 23 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Chargueraud23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Chargueraud23,
author = {Arthur Chargu{\'{e}}raud},
title = {Review on \emph{Functional Algorithms, Verified!}: \emph{By Tobias
Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro G{\'{o}}mez-Londo{\~{n}}o,
Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan}
Freely downloadable: https://functional-algorithms-verified.org},
journal = {Formal Aspects Comput.},
volume = {35},
number = {2},
pages = {13:1--13:2},
year = {2023},
url = {https://doi.org/10.1145/3594639},
doi = {10.1145/3594639},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Chargueraud23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoineCP23,
author = {Alexandre Moine and
Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
title = {A High-Level Separation Logic for Heap Space under Garbage Collection},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {718--747},
year = {2023},
url = {https://doi.org/10.1145/3571218},
doi = {10.1145/3571218},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoineCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChargueraudCEG23,
author = {Arthur Chargu{\'{e}}raud and
Adam Chlipala and
Andres Erbsen and
Samuel Gruetter},
title = {Omnisemantics: Smooth Handling of Nondeterminism},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {1},
pages = {5:1--5:43},
year = {2023},
url = {https://doi.org/10.1145/3579834},
doi = {10.1145/3579834},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ChargueraudCEG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/MoineCP22,
author = {Alexandre Moine and
Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {Andrei Popescu and
Steve Zdancewic},
title = {Specification and verification of a transient stack},
booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
pages = {82--99},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497775.3503677},
doi = {10.1145/3497775.3503677},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/MoineCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Chargueraud20,
author = {Arthur Chargu{\'{e}}raud},
title = {Separation logic for sequential programs (functional pearl)},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {116:1--116:34},
year = {2020},
url = {https://doi.org/10.1145/3408998},
doi = {10.1145/3408998},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Chargueraud20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChargueraudP19,
author = {Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
title = {Verifying the Correctness and Amortized Complexity of a Union-Find
Implementation in Separation Logic with Time Credits},
journal = {J. Autom. Reason.},
volume = {62},
number = {3},
pages = {331--365},
year = {2019},
url = {https://doi.org/10.1007/s10817-017-9431-7},
doi = {10.1007/S10817-017-9431-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChargueraudP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChargueraudFLP19,
author = {Arthur Chargu{\'{e}}raud and
Jean{-}Christophe Filli{\^{a}}tre and
Cl{\'{a}}udio Louren{\c{c}}o and
M{\'{a}}rio Pereira},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {{GOSPEL} - Providing OCaml with a Formal Specification Language},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {484--501},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_29},
doi = {10.1007/978-3-030-30942-8\_29},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChargueraudFLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GueneauJCP19,
author = {Arma{\"{e}}l Gu{\'{e}}neau and
Jacques{-}Henri Jourdan and
Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {Formal Proof and Analysis of an Incremental Cycle Detection Algorithm},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {18:1--18:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.18},
doi = {10.4230/LIPICS.ITP.2019.18},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/GueneauJCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AcarACR19,
author = {Umut A. Acar and
Vitaly Aksenov and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Jeffrey K. Hollingsworth and
Idit Keidar},
title = {Provably and practically efficient granularity control},
booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA,
February 16-20, 2019},
pages = {214--228},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293883.3295725},
doi = {10.1145/3293883.3295725},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AcarACR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KrebbersJ0TKTCD18,
author = {Robbert Krebbers and
Jacques{-}Henri Jourdan and
Ralf Jung and
Joseph Tassarotti and
Jan{-}Oliver Kaiser and
Amin Timany and
Arthur Chargu{\'{e}}raud and
Derek Dreyer},
title = {MoSeL: a general, extensible modal framework for interactive proofs
in separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {77:1--77:30},
year = {2018},
url = {https://doi.org/10.1145/3236772},
doi = {10.1145/3236772},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KrebbersJ0TKTCD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GueneauCP18,
author = {Arma{\"{e}}l Gu{\'{e}}neau and
Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {Amal Ahmed},
title = {A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via
Deductive Program Verification},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {533--560},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_19},
doi = {10.1007/978-3-319-89884-1\_19},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/GueneauCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BarsamianCHM18,
author = {Yann Barsamian and
Arthur Chargu{\'{e}}raud and
Sever A. Hirstoaga and
Michel Mehrenberger},
editor = {Marco Aldinucci and
Luca Padovani and
Massimo Torquati},
title = {Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-core
{SIMD} Processors},
booktitle = {Euro-Par 2018: Parallel Processing - 24th International Conference
on Parallel and Distributed Computing, Turin, Italy, August 27-31,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11014},
pages = {749--763},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96983-1\_53},
doi = {10.1007/978-3-319-96983-1\_53},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/BarsamianCHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AcarCGRS18,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Adrien Guatto and
Mike Rainey and
Filip Sieczkowski},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Heartbeat scheduling: provable efficiency for nested parallelism},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {769--782},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192391},
doi = {10.1145/3192366.3192391},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AcarCGRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AcarACR18,
author = {Umut A. Acar and
Vitaly Aksenov and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Andreas Krall and
Thomas R. Gross},
title = {Performance challenges in modular parallel programs},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February
24-28, 2018},
pages = {381--382},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178487.3178516},
doi = {10.1145/3178487.3178516},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AcarACR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ChargueraudSW18,
author = {Arthur Chargu{\'{e}}raud and
Alan Schmitt and
Thomas Wood},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {JSExplain: {A} Double Debugger for JavaScript},
booktitle = {Companion of the The Web Conference 2018 on The Web Conference 2018,
{WWW} 2018, Lyon , France, April 23-27, 2018},
pages = {691--699},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3184558.3185969},
doi = {10.1145/3184558.3185969},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/ChargueraudSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChargueraudP17,
author = {Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {Hongseok Yang},
title = {Temporary Read-Only Permissions for Separation Logic},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {260--286},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_10},
doi = {10.1007/978-3-662-54434-1\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ChargueraudP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/BarsamianCK17,
author = {Yann Barsamian and
Arthur Chargu{\'{e}}raud and
Alain Ketterlin},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Ewa Deelman and
Konrad Karczewski},
title = {A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell
Method},
booktitle = {Parallel Processing and Applied Mathematics - 12th International Conference,
{PPAM} 2017, Lublin, Poland, September 10-13, 2017, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10777},
pages = {133--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-78024-5\_13},
doi = {10.1007/978-3-319-78024-5\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ppam/BarsamianCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-03767,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
title = {Parallel Work Inflation, Memory Effects, and their Empirical Analysis},
journal = {CoRR},
volume = {abs/1709.03767},
year = {2017},
url = {http://arxiv.org/abs/1709.03767},
eprinttype = {arXiv},
eprint = {1709.03767},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AcarCR16,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
title = {Oracle-guided scheduling for controlling granularity in implicitly
parallel languages},
journal = {J. Funct. Program.},
volume = {26},
pages = {e23},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000101},
doi = {10.1017/S0956796816000101},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AcarCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Chargueraud16,
author = {Arthur Chargu{\'{e}}raud},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {Higher-order representation predicates in separation logic},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {3--14},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854068},
doi = {10.1145/2854065.2854068},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Chargueraud16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AcarCRS16,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey and
Filip Sieczkowski},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Dag-calculus: a calculus for parallel computation},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {18--32},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951946},
doi = {10.1145/2951913.2951946},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AcarCRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ChargueraudP15,
author = {Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {Christian Urban and
Xingyuan Zhang},
title = {Machine-Checked Verification of the Correctness and Amortized Complexity
of an Efficient Union-Find Implementation},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {137--153},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_9},
doi = {10.1007/978-3-319-22102-1\_9},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ChargueraudP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/AcarCR15,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Jackie Kern and
Jeffrey S. Vetter},
title = {A work-efficient algorithm for parallel unordered depth-first search},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2015, Austin, TX, USA, November
15-20, 2015},
pages = {67:1--67:12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807591.2807651},
doi = {10.1145/2807591.2807651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/AcarCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/AcarCR14,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Andreas S. Schulz and
Dorothea Wagner},
title = {Theory and Practice of Chunked Sequences},
booktitle = {Algorithms - {ESA} 2014 - 22th Annual European Symposium, Wroclaw,
Poland, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8737},
pages = {25--36},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44777-2\_3},
doi = {10.1007/978-3-662-44777-2\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/esa/AcarCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BodinCFGMNSS14,
author = {Martin Bodin and
Arthur Chargu{\'{e}}raud and
Daniele Filaretti and
Philippa Gardner and
Sergio Maffeis and
Daiva Naudziuniene and
Alan Schmitt and
Gareth Smith},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {A trusted mechanised JavaScript specification},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {87--100},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535876},
doi = {10.1145/2535838.2535876},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BodinCFGMNSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chargueraud15,
author = {Arthur Chargu{\'{e}}raud},
editor = {Oleg Kiselyov and
Jacques Garrigue},
title = {Improving Type Error Messages in OCaml},
booktitle = {Proceedings {ML} Family/OCaml Users and Developers workshops, ML/OCaml
2014, Gothenburg, Sweden, September 4-5, 2014},
series = {{EPTCS}},
volume = {198},
pages = {80--97},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.198.4},
doi = {10.4204/EPTCS.198.4},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chargueraud15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Chargueraud13,
author = {Arthur Chargu{\'{e}}raud},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Pretty-Big-Step Semantics},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {41--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_3},
doi = {10.1007/978-3-642-37036-6\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Chargueraud13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AcarCR13,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {Scheduling parallel programs by work stealing with private deques},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {219--228},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442538},
doi = {10.1145/2442516.2442538},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AcarCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Chargueraud12,
author = {Arthur Chargu{\'{e}}raud},
title = {The Locally Nameless Representation},
journal = {J. Autom. Reason.},
volume = {49},
number = {3},
pages = {363--408},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9225-2},
doi = {10.1007/S10817-011-9225-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Chargueraud12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Chargueraud11,
author = {Arthur Chargu{\'{e}}raud},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Characteristic formulae for the verification of imperative programs},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {418--430},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034828},
doi = {10.1145/2034773.2034828},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Chargueraud11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AcarCR11,
author = {Umut A. Acar and
Arthur Chargu{\'{e}}raud and
Mike Rainey},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Oracle scheduling: controlling granularity in implicitly parallel
languages},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {499--518},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048106},
doi = {10.1145/2048066.2048106},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AcarCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Chargueraud10,
author = {Arthur Chargu{\'{e}}raud},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Program verification through characteristic formulae},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {321--332},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863590},
doi = {10.1145/1863543.1863590},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Chargueraud10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Chargueraud10,
author = {Arthur Chargu{\'{e}}raud},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {The Optimal Fixed Point Combinator},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {195--210},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_15},
doi = {10.1007/978-3-642-14052-5\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/Chargueraud10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChargueraudP08,
author = {Arthur Chargu{\'{e}}raud and
Fran{\c{c}}ois Pottier},
editor = {James Hook and
Peter Thiemann},
title = {Functional translation of a calculus of capabilities},
booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
20-28, 2008},
pages = {213--224},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411235},
doi = {10.1145/1411204.1411235},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ChargueraudP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AydemirCPPW08,
author = {Brian E. Aydemir and
Arthur Chargu{\'{e}}raud and
Benjamin C. Pierce and
Randy Pollack and
Stephanie Weirich},
editor = {George C. Necula and
Philip Wadler},
title = {Engineering formal metatheory},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {3--15},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328443},
doi = {10.1145/1328438.1328443},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AydemirCPPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
