{"@attributes":{"name":"Arthur Chargu\u00e9raud","pid":"55\/5002","n":"38"},"person":{"@attributes":{"key":"homepages\/55\/5002","mdate":"2018-04-17"},"author":"Arthur Chargu\u00e9raud","url":["http:\/\/www.chargueraud.org\/","https:\/\/scholar.google.com\/citations?user=hNSxmU8AAAAJ"]},"r":[{"article":{"@attributes":{"key":"journals\/toplas\/MoineCP25","mdate":"2025-06-11"},"author":["Alexandre Moine 0001","Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.","pages":"3:1-3:71","year":"2025","month":"March","volume":"47","journal":"ACM Trans. Program. Lang. Syst.","number":"1","ee":"https:\/\/doi.org\/10.1145\/3716312","url":"db\/journals\/toplas\/toplas47.html#MoineCP25","stream":"streams\/journals\/toplas"}},{"inproceedings":{"@attributes":{"key":"conf\/soap-ws\/BertholonCKBR24","mdate":"2024-07-12"},"author":["Guillaume Bertholon","Arthur Chargu\u00e9raud","Thomas Koehler 0005","Begatim Bytyqi","Damien Rouhling"],"title":"Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.","pages":"26-34","year":"2024","booktitle":"SOAP@PLDI","ee":"https:\/\/doi.org\/10.1145\/3652588.3663320","crossref":"conf\/soap-ws\/2024","url":"db\/conf\/soap-ws\/soap2024.html#BertholonCKBR24"}},{"book":{"@attributes":{"publtype":"habil","key":"books\/hal\/Chargueraud23","mdate":"2023-04-23"},"author":"Arthur Chargu\u00e9raud","title":"A Modern Eye on Separation Logic for Sequential Programs. (Un nouveau regard sur la Logique de S\u00e9paration pour les programmes s\u00e9quentiels).","year":"2023","school":"University of Strasbourg, France","ee":"https:\/\/tel.archives-ouvertes.fr\/tel-04076725"}},{"article":{"@attributes":{"key":"journals\/fac\/Chargueraud23","mdate":"2023-08-05"},"author":"Arthur Chargu\u00e9raud","title":"Review on :  Freely downloadable: https:\/\/functional-algorithms-verified.org.","pages":"13:1-13:2","year":"2023","month":"June","volume":"35","journal":"Formal Aspects Comput.","number":"2","ee":"https:\/\/doi.org\/10.1145\/3594639","url":"db\/journals\/fac\/fac35.html#Chargueraud23"}},{"article":{"@attributes":{"key":"journals\/pacmpl\/MoineCP23","mdate":"2025-01-19"},"author":["Alexandre Moine 0001","Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"A High-Level Separation Logic for Heap Space under Garbage Collection.","pages":"718-747","year":"2023","month":"January","volume":"7","journal":"Proc. ACM Program. Lang.","number":"POPL","ee":["https:\/\/doi.org\/10.1145\/3571218","https:\/\/www.wikidata.org\/entity\/Q130818570"],"url":"db\/journals\/pacmpl\/pacmpl7.html#MoineCP23"}},{"article":{"@attributes":{"key":"journals\/toplas\/ChargueraudCEG23","mdate":"2023-04-29"},"author":["Arthur Chargu\u00e9raud","Adam Chlipala","Andres Erbsen","Samuel Gruetter"],"title":"Omnisemantics: Smooth Handling of Nondeterminism.","pages":"5:1-5:43","year":"2023","month":"March","volume":"45","journal":"ACM Trans. Program. Lang. Syst.","number":"1","ee":"https:\/\/doi.org\/10.1145\/3579834","url":"db\/journals\/toplas\/toplas45.html#ChargueraudCEG23"}},{"inproceedings":{"@attributes":{"key":"conf\/cpp\/MoineCP22","mdate":"2022-12-05"},"author":["Alexandre Moine 0001","Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Specification and verification of a transient stack.","pages":"82-99","year":"2022","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3497775.3503677","crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#MoineCP22"}},{"article":{"@attributes":{"key":"journals\/pacmpl\/Chargueraud20","mdate":"2025-01-19"},"author":"Arthur Chargu\u00e9raud","title":"Separation logic for sequential programs (functional pearl).","pages":"116:1-116:34","year":"2020","volume":"4","journal":"Proc. ACM Program. Lang.","number":"ICFP","ee":["https:\/\/doi.org\/10.1145\/3408998","https:\/\/www.wikidata.org\/entity\/Q130834569"],"url":"db\/journals\/pacmpl\/pacmpl4.html#Chargueraud20"}},{"article":{"@attributes":{"key":"journals\/jar\/ChargueraudP19","mdate":"2020-09-02"},"author":["Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits.","pages":"331-365","year":"2019","volume":"62","journal":"J. Autom. Reason.","number":"3","ee":"https:\/\/doi.org\/10.1007\/s10817-017-9431-7","url":"db\/journals\/jar\/jar62.html#ChargueraudP19"}},{"inproceedings":{"@attributes":{"key":"conf\/fm\/ChargueraudFLP19","mdate":"2022-04-09"},"author":["Arthur Chargu\u00e9raud","Jean-Christophe Filli\u00e2tre","Cl\u00e1udio Louren\u00e7o","M\u00e1rio Pereira"],"title":"GOSPEL - Providing OCaml with a Formal Specification Language.","pages":"484-501","year":"2019","booktitle":"FM","ee":"https:\/\/doi.org\/10.1007\/978-3-030-30942-8_29","crossref":"conf\/fm\/2019","url":"db\/conf\/fm\/fm2019.html#ChargueraudFLP19"}},{"inproceedings":{"@attributes":{"key":"conf\/itp\/GueneauJCP19","mdate":"2019-09-07"},"author":["Arma\u00ebl Gu\u00e9neau","Jacques-Henri Jourdan","Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Formal Proof and Analysis of an Incremental Cycle Detection Algorithm.","pages":"18:1-18:20","year":"2019","booktitle":"ITP","ee":"https:\/\/doi.org\/10.4230\/LIPIcs.ITP.2019.18","crossref":"conf\/itp\/2019","url":"db\/conf\/itp\/itp2019.html#GueneauJCP19"}},{"inproceedings":{"@attributes":{"key":"conf\/ppopp\/AcarACR19","mdate":"2022-06-12"},"author":["Umut A. Acar","Vitaly Aksenov","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Provably and practically efficient granularity control.","pages":"214-228","year":"2019","booktitle":"PPoPP","ee":"https:\/\/doi.org\/10.1145\/3293883.3295725","crossref":"conf\/ppopp\/2019","url":"db\/conf\/ppopp\/ppopp2019.html#AcarACR19"}},{"article":{"@attributes":{"key":"journals\/pacmpl\/KrebbersJ0TKTCD18","mdate":"2025-10-14"},"author":["Robbert Krebbers","Jacques-Henri Jourdan","Ralf Jung 0002","Joseph Tassarotti","Jan-Oliver Kaiser","Amin Timany","Arthur Chargu\u00e9raud","Derek Dreyer"],"title":"MoSeL: a general, extensible modal framework for interactive proofs in separation logic.","pages":"77:1-77:30","year":"2018","volume":"2","journal":"Proc. ACM Program. Lang.","number":"ICFP","ee":["https:\/\/doi.org\/10.1145\/3236772","https:\/\/www.wikidata.org\/entity\/Q114614024"],"url":"db\/journals\/pacmpl\/pacmpl2.html#KrebbersJ0TKTCD18"}},{"inproceedings":{"@attributes":{"key":"conf\/esop\/GueneauCP18","mdate":"2018-06-26"},"author":["Arma\u00ebl Gu\u00e9neau","Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.","pages":"533-560","year":"2018","booktitle":"ESOP","ee":"https:\/\/doi.org\/10.1007\/978-3-319-89884-1_19","crossref":"conf\/esop\/2018","url":"db\/conf\/esop\/esop2018.html#GueneauCP18"}},{"inproceedings":{"@attributes":{"key":"conf\/europar\/BarsamianCHM18","mdate":"2018-09-13"},"author":["Yann Barsamian","Arthur Chargu\u00e9raud","Sever A. Hirstoaga","Michel Mehrenberger"],"title":"Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-core SIMD Processors.","pages":"749-763","year":"2018","booktitle":"Euro-Par","ee":"https:\/\/doi.org\/10.1007\/978-3-319-96983-1_53","crossref":"conf\/europar\/2018","url":"db\/conf\/europar\/europar2018.html#BarsamianCHM18"}},{"inproceedings":{"@attributes":{"key":"conf\/pldi\/AcarCGRS18","mdate":"2025-01-19"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Adrien Guatto","Mike Rainey","Filip Sieczkowski"],"title":"Heartbeat scheduling: provable efficiency for nested parallelism.","pages":"769-782","year":"2018","booktitle":"PLDI","ee":["https:\/\/doi.org\/10.1145\/3192366.3192391","https:\/\/doi.org\/10.1145\/3296979.3192391","https:\/\/www.wikidata.org\/entity\/Q128892322"],"crossref":"conf\/pldi\/2018","url":"db\/conf\/pldi\/pldi2018.html#AcarCGRS18"}},{"inproceedings":{"@attributes":{"key":"conf\/ppopp\/AcarACR18","mdate":"2025-01-19"},"author":["Umut A. Acar","Vitaly Aksenov","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Performance challenges in modular parallel programs.","pages":"381-382","year":"2018","booktitle":"PPoPP","ee":["https:\/\/doi.org\/10.1145\/3178487.3178516","https:\/\/doi.org\/10.1145\/3200691.3178516","https:\/\/www.wikidata.org\/entity\/Q128268349"],"crossref":"conf\/ppopp\/2018","url":"db\/conf\/ppopp\/ppopp2018.html#AcarACR18"}},{"inproceedings":{"@attributes":{"key":"conf\/www\/ChargueraudSW18","mdate":"2025-01-19"},"author":["Arthur Chargu\u00e9raud","Alan Schmitt","Thomas Wood 0001"],"title":"JSExplain: A Double Debugger for JavaScript.","pages":"691-699","year":"2018","booktitle":"WWW (Companion Volume)","ee":["https:\/\/doi.org\/10.1145\/3184558.3185969","https:\/\/www.wikidata.org\/entity\/Q131114458"],"crossref":"conf\/www\/2018c","url":"db\/conf\/www\/www2018c.html#ChargueraudSW18"}},{"inproceedings":{"@attributes":{"key":"conf\/esop\/ChargueraudP17","mdate":"2017-05-19"},"author":["Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Temporary Read-Only Permissions for Separation Logic.","pages":"260-286","year":"2017","booktitle":"ESOP","ee":"https:\/\/doi.org\/10.1007\/978-3-662-54434-1_10","crossref":"conf\/esop\/2017","url":"db\/conf\/esop\/esop2017.html#ChargueraudP17"}},{"inproceedings":{"@attributes":{"key":"conf\/ppam\/BarsamianCK17","mdate":"2018-04-06"},"author":["Yann Barsamian","Arthur Chargu\u00e9raud","Alain Ketterlin"],"title":"A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method.","pages":"133-144","year":"2017","booktitle":"PPAM (1)","ee":"https:\/\/doi.org\/10.1007\/978-3-319-78024-5_13","crossref":"conf\/ppam\/2017-1","url":"db\/conf\/ppam\/ppam2017-1.html#BarsamianCK17"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-1709-03767","mdate":"2018-08-13"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Parallel Work Inflation, Memory Effects, and their Empirical Analysis.","year":"2017","volume":"abs\/1709.03767","journal":"CoRR","ee":"http:\/\/arxiv.org\/abs\/1709.03767","url":"db\/journals\/corr\/corr1709.html#abs-1709-03767"}},{"article":{"@attributes":{"key":"journals\/jfp\/AcarCR16","mdate":"2017-05-27"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Oracle-guided scheduling for controlling granularity in implicitly parallel languages.","pages":"e23","year":"2016","volume":"26","journal":"J. Funct. Program.","ee":"https:\/\/doi.org\/10.1017\/S0956796816000101","url":"db\/journals\/jfp\/jfp26.html#AcarCR16"}},{"inproceedings":{"@attributes":{"key":"conf\/cpp\/Chargueraud16","mdate":"2025-01-19"},"author":"Arthur Chargu\u00e9raud","title":"Higher-order representation predicates in separation logic.","pages":"3-14","year":"2016","booktitle":"CPP","ee":["https:\/\/doi.org\/10.1145\/2854065.2854068","https:\/\/www.wikidata.org\/entity\/Q130855338"],"crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#Chargueraud16"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/AcarCRS16","mdate":"2021-10-14"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey","Filip Sieczkowski"],"title":"Dag-calculus: a calculus for parallel computation.","pages":"18-32","year":"2016","booktitle":"ICFP","ee":["https:\/\/doi.org\/10.1145\/2951913.2951946","https:\/\/doi.org\/10.1145\/3022670.2951946"],"crossref":"conf\/icfp\/2016","url":"db\/conf\/icfp\/icfp2016.html#AcarCRS16"}},{"inproceedings":{"@attributes":{"key":"conf\/itp\/ChargueraudP15","mdate":"2017-05-21"},"author":["Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation.","pages":"137-153","year":"2015","booktitle":"ITP","ee":"https:\/\/doi.org\/10.1007\/978-3-319-22102-1_9","crossref":"conf\/itp\/2015","url":"db\/conf\/itp\/itp2015.html#ChargueraudP15"}},{"inproceedings":{"@attributes":{"key":"conf\/sc\/AcarCR15","mdate":"2018-11-06"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"A work-efficient algorithm for parallel unordered depth-first search.","pages":"67:1-67:12","year":"2015","booktitle":"SC","ee":"https:\/\/doi.org\/10.1145\/2807591.2807651","crossref":"conf\/sc\/2015","url":"db\/conf\/sc\/sc2015.html#AcarCR15"}},{"inproceedings":{"@attributes":{"key":"conf\/esa\/AcarCR14","mdate":"2017-05-26"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Theory and Practice of Chunked Sequences.","pages":"25-36","year":"2014","booktitle":"ESA","ee":"https:\/\/doi.org\/10.1007\/978-3-662-44777-2_3","crossref":"conf\/esa\/2014","url":"db\/conf\/esa\/esa2014.html#AcarCR14"}},{"inproceedings":{"@attributes":{"key":"conf\/popl\/BodinCFGMNSS14","mdate":"2026-02-19"},"author":["Martin Bodin","Arthur Chargu\u00e9raud","Daniele Filaretti","Philippa Gardner","Sergio Maffeis","Daiva Naudziuniene","Alan Schmitt","Gareth Smith"],"title":"A trusted mechanised JavaScript specification.","pages":"87-100","year":"2014","booktitle":"POPL","ee":["https:\/\/doi.org\/10.1145\/2535838.2535876","https:\/\/doi.org\/10.1145\/2578855.2535876","https:\/\/www.wikidata.org\/entity\/Q131113436"],"crossref":"conf\/popl\/2014","url":"db\/conf\/popl\/popl2014.html#BodinCFGMNSS14"}},{"inproceedings":{"@attributes":{"key":"journals\/corr\/Chargueraud15","mdate":"2018-09-12"},"author":"Arthur Chargu\u00e9raud","title":"Improving Type Error Messages in OCaml.","booktitle":"ML\/OCaml","year":"2014","pages":"80-97","ee":["https:\/\/doi.org\/10.4204\/EPTCS.198.4","http:\/\/arxiv.org\/abs\/1512.01897"],"crossref":"journals\/corr\/KiselyovG15","url":"db\/series\/eptcs\/eptcs198.html#Chargueraud15"}},{"inproceedings":{"@attributes":{"key":"conf\/esop\/Chargueraud13","mdate":"2018-06-26"},"author":"Arthur Chargu\u00e9raud","title":"Pretty-Big-Step Semantics.","pages":"41-60","year":"2013","booktitle":"ESOP","ee":"https:\/\/doi.org\/10.1007\/978-3-642-37036-6_3","crossref":"conf\/esop\/2013","url":"db\/conf\/esop\/esop2013.html#Chargueraud13"}},{"inproceedings":{"@attributes":{"key":"conf\/ppopp\/AcarCR13","mdate":"2022-06-12"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Scheduling parallel programs by work stealing with private deques.","pages":"219-228","year":"2013","booktitle":"PPoPP","ee":["https:\/\/doi.org\/10.1145\/2442516.2442538","https:\/\/doi.org\/10.1145\/2517327.2442538"],"crossref":"conf\/ppopp\/2013","url":"db\/conf\/ppopp\/ppopp2013.html#AcarCR13"}},{"article":{"@attributes":{"key":"journals\/jar\/Chargueraud12","mdate":"2020-09-02"},"author":"Arthur Chargu\u00e9raud","title":"The Locally Nameless Representation.","pages":"363-408","year":"2012","volume":"49","journal":"J. Autom. Reason.","number":"3","ee":"https:\/\/doi.org\/10.1007\/s10817-011-9225-2","url":"db\/journals\/jar\/jar49.html#Chargueraud12"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/Chargueraud11","mdate":"2021-06-24"},"author":"Arthur Chargu\u00e9raud","title":"Characteristic formulae for the verification of imperative programs.","pages":"418-430","year":"2011","booktitle":"ICFP","ee":["https:\/\/doi.org\/10.1145\/2034773.2034828","https:\/\/doi.org\/10.1145\/2034574.2034828"],"crossref":"conf\/icfp\/2011","url":"db\/conf\/icfp\/icfp2011.html#Chargueraud11"}},{"inproceedings":{"@attributes":{"key":"conf\/oopsla\/AcarCR11","mdate":"2021-06-24"},"author":["Umut A. Acar","Arthur Chargu\u00e9raud","Mike Rainey"],"title":"Oracle scheduling: controlling granularity in implicitly parallel languages.","pages":"499-518","year":"2011","booktitle":"OOPSLA","ee":["https:\/\/doi.org\/10.1145\/2048066.2048106","https:\/\/doi.org\/10.1145\/2076021.2048106"],"crossref":"conf\/oopsla\/2011","url":"db\/conf\/oopsla\/oopsla2011.html#AcarCR11"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/Chargueraud10","mdate":"2021-06-22"},"author":"Arthur Chargu\u00e9raud","title":"Program verification through characteristic formulae.","pages":"321-332","year":"2010","booktitle":"ICFP","ee":["https:\/\/doi.org\/10.1145\/1863543.1863590","https:\/\/doi.org\/10.1145\/1932681.1863590"],"crossref":"conf\/icfp\/2010","url":"db\/conf\/icfp\/icfp2010.html#Chargueraud10"}},{"inproceedings":{"@attributes":{"key":"conf\/itp\/Chargueraud10","mdate":"2017-05-21"},"author":"Arthur Chargu\u00e9raud","title":"The Optimal Fixed Point Combinator.","pages":"195-210","year":"2010","booktitle":"ITP","ee":"https:\/\/doi.org\/10.1007\/978-3-642-14052-5_15","crossref":"conf\/itp\/2010","url":"db\/conf\/itp\/itp2010.html#Chargueraud10"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/ChargueraudP08","mdate":"2021-06-25"},"author":["Arthur Chargu\u00e9raud","Fran\u00e7ois Pottier"],"title":"Functional translation of a calculus of capabilities.","pages":"213-224","year":"2008","booktitle":"ICFP","ee":["https:\/\/doi.org\/10.1145\/1411204.1411235","https:\/\/doi.org\/10.1145\/1411203.1411235"],"crossref":"conf\/icfp\/2008","url":"db\/conf\/icfp\/icfp2008.html#ChargueraudP08"}},{"inproceedings":{"@attributes":{"key":"conf\/popl\/AydemirCPPW08","mdate":"2026-02-19"},"author":["Brian E. Aydemir","Arthur Chargu\u00e9raud","Benjamin C. Pierce","Randy Pollack","Stephanie Weirich"],"title":"Engineering formal metatheory.","pages":"3-15","year":"2008","crossref":"conf\/popl\/2008","booktitle":"POPL","ee":["https:\/\/doi.org\/10.1145\/1328438.1328443","https:\/\/doi.org\/10.1145\/1328897.1328443"],"url":"db\/conf\/popl\/popl2008.html#AydemirCPPW08"}}],"coauthors":{"@attributes":{"n":"41","nc":"3"},"co":[{"@attributes":{"c":"0"},"na":"Umut A. Acar"},{"@attributes":{"c":"0"},"na":"Vitaly Aksenov"},{"@attributes":{"c":"0"},"na":"Brian E. Aydemir"},{"@attributes":{"c":"1"},"na":"Yann Barsamian"},{"@attributes":{"c":"2"},"na":"Guillaume Bertholon"},{"@attributes":{"c":"0"},"na":"Martin Bodin"},{"@attributes":{"c":"2"},"na":"Begatim Bytyqi"},{"@attributes":{"c":"0"},"na":"Adam Chlipala"},{"@attributes":{"c":"0"},"na":"Derek Dreyer"},{"@attributes":{"c":"0"},"na":"Andres Erbsen"},{"@attributes":{"c":"0"},"na":"Daniele Filaretti"},{"@attributes":{"c":"0"},"na":"Jean-Christophe Filli\u00e2tre"},{"@attributes":{"c":"0"},"na":"Philippa Gardner"},{"@attributes":{"c":"0"},"na":"Samuel Gruetter"},{"@attributes":{"c":"0"},"na":"Adrien Guatto"},{"@attributes":{"c":"0"},"na":"Arma\u00ebl Gu\u00e9neau"},{"@attributes":{"c":"1"},"na":"Sever A. Hirstoaga"},{"@attributes":{"c":"0"},"na":"Jacques-Henri Jourdan"},{"@attributes":{"c":"0"},"na":"Ralf Jung 0002"},{"@attributes":{"c":"0"},"na":"Jan-Oliver Kaiser"},{"@attributes":{"c":"1"},"na":"Alain Ketterlin"},{"@attributes":{"c":"2"},"na":"Thomas Koehler 0005"},{"@attributes":{"c":"0"},"na":"Robbert Krebbers"},{"@attributes":{"c":"0","n":"2"},"na":["Cl\u00e1udio Belo Louren\u00e7o","Cl\u00e1udio Louren\u00e7o"]},{"@attributes":{"c":"0"},"na":"Sergio Maffeis"},{"@attributes":{"c":"1"},"na":"Michel Mehrenberger"},{"@attributes":{"c":"0"},"na":"Alexandre Moine 0001"},{"@attributes":{"c":"0"},"na":"Daiva Naudziuniene"},{"@attributes":{"c":"0"},"na":"M\u00e1rio Pereira"},{"@attributes":{"c":"0"},"na":"Benjamin C. Pierce"},{"@attributes":{"c":"0"},"na":"Randy Pollack"},{"@attributes":{"c":"0"},"na":"Fran\u00e7ois Pottier"},{"@attributes":{"c":"0"},"na":"Mike Rainey"},{"@attributes":{"c":"2"},"na":"Damien Rouhling"},{"@attributes":{"c":"0"},"na":"Alan Schmitt"},{"@attributes":{"c":"0"},"na":"Filip Sieczkowski"},{"@attributes":{"c":"0"},"na":"Gareth Smith"},{"@attributes":{"c":"0"},"na":"Joseph Tassarotti"},{"@attributes":{"c":"0"},"na":"Amin Timany"},{"@attributes":{"c":"0"},"na":"Stephanie Weirich"},{"@attributes":{"c":"0"},"na":"Thomas Wood 0001"}]}}