 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01409022v1
Communication dans un congrès
Umut Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski. Dag-calculus: a calculus for parallel computation Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, 2016, <10.1145/2951913.2951946> |
||
|
hal-00910130v1
Rapport
Umut Acar, Arthur Charguéraud, Stefan Muller, Mike Rainey. Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing [Research Report] 2013 |
||
|
hal-00798227v1
Communication dans un congrès
Arthur Charguéraud. Pretty-Big-Step Semantics Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming (ESOP), Mar 2013, Rome, Italy. Springer, 2013, Proceedings of the 22nd European Symposium on Programming |
||
|
hal-00863028v1
Communication dans un congrès
Umut Acar, Arthur Charguéraud, Mike Rainey. Scheduling Parallel Programs by Work Stealing with Private Deques PPOPP - 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. ACM New York, NY, USA, pp.219-228, 2013, Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming |
||
|
hal-01408657v2
Communication dans un congrès
Arthur Charguéraud, François Pottier. Temporary Read-Only Permissions for Separation Logic Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden |
||
|
hal-01089125v2
Rapport
Umut A. Acar, Arthur Charguéraud, Mike Rainey. Fast Parallel Graph-Search with Splittable and Catenable Frontiers [Technical Report] Inria. 2015 |
||
|
hal-01087245v1
Communication dans un congrès
Umut A. Acar, Arthur Charguéraud, Mike Rainey. Theory and Practice of Chunked Sequences Schulz, AndreasS. and Wagner, Dorothea. European Symposium on Algorithms, Sep 2014, Wrocław, Poland. Springer Berlin Heidelberg, Algorithms - ESA 2014, pp.25 - 36, 2014, Lecture Notes in Computer Science. <10.1007/978-3-662-44777-2_3> |
||
|
hal-01408670v1
Communication dans un congrès
Arthur Charguéraud. Higher-order representation predicates in separation logic Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), Jan 2016, St. Petersburg, FL, United States. ACM, pp.3 - 14, 2016, <10.1145/2854065.2854068> |
||
|
hal-01245837v1
Communication dans un congrès
Umut A. Acar, Arthur Charguéraud, Mike Rainey. A Work-Efficient Algorithm for Parallel Unordered Depth-First Search Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, Texas, United States. <10.1145/2807591.2807651> |
||
|
hal-01245872v1
Communication dans un congrès
Arthur Charguéraud, François Pottier. Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation 6th International Conference on Interactive Theorem Proving (ITP), Aug 2015, Nanjing, China. 2015, <10.1007/978-3-319-22102-1_9> |
||
|
hal-00910135v1
Communication dans un congrès
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis et al. A Trusted Mechanised JavaScript Specification POPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014 |
||
|
hal-01561094v1
Autre publication
Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier. VOCAL – A Verified OCAml Library ML Family Workshop 2017. 2017 |
||
|
hal-01245843v1
Article dans une revue
Arthur Charguéraud. Improving Type Error Messages in OCaml Electronic Proceedings in Theoretical Computer Science, EPTCS, 2015, Proceedings ML Family/OCaml Users and Developers workshops, 198, pp.80-97. <10.4204/EPTCS.198.4> |
||
|
hal-01409069v1
Article dans une revue
Umut Acar, Arthur Charguéraud, Mike Rainey. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, <10.1017/S0956796816000101> |
||
|
|
||