Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

18 résultats

Database Queries that Explain their Work

James Cheney , Ahmed Amal , Umut A. Acar
PPDP 2014: 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643143⟩
Communication dans un congrès hal-01100324v1
Image document

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation

Umut A. Acar , Vitalii Aksenov , Sam Westrick
The 29th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '17), Jul 2017, Washington, United States. ⟨10.1145/3087556.3087595⟩
Communication dans un congrès hal-01664903v1

Functional Programming for Dynamic and Large Data with Self-Adjusting Computation

Yan Chen , Umut A. Acar , Kanat Tangwongsan
ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Gothenburg, Sweden. ⟨10.1145/2628136.2628150⟩
Communication dans un congrès hal-01100337v1
Image document

Scheduling Parallel Programs by Work Stealing with Private Deques

Umut A. Acar , Arthur Charguéraud , Mike Rainey
PPOPP - 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.219-228
Communication dans un congrès hal-00863028v1
Image document

Fast Parallel Graph-Search with Splittable and Catenable Frontiers

Umut A. Acar , Arthur Charguéraud , Mike Rainey
[Technical Report] Inria. 2015
Rapport hal-01089125v2
Image document

A Work-Efficient Algorithm for Parallel Unordered Depth-First Search

Umut A. Acar , Arthur Charguéraud , Mike Rainey
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, Texas, United States. ⟨10.1145/2807591.2807651⟩
Communication dans un congrès hal-01245837v1
Image document

Theory and Practice of Chunked Sequences

Umut A. Acar , Arthur Charguéraud , Mike Rainey
European Symposium on Algorithms, Sep 2014, Wrocław, Poland. pp.25 - 36, ⟨10.1007/978-3-662-44777-2_3⟩
Communication dans un congrès hal-01087245v1
Image document

Poster: Performance challenges in modular parallel programs

Vitalii Aksenov , Umut A. Acar , Arthur Charguéraud , Mike Rainey
PPoPP 2018 - 23rd ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Feb 2018, Vienna, Austria. ⟨10.1145/3178487.3178516⟩
Communication dans un congrès hal-01887717v1
Image document

Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages

Umut A Acar , Arthur Charguéraud , Mike Rainey
Journal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
Article dans une revue hal-01409069v1

Slider: Incremental Sliding Window Analytics

Pramod Bhatotia , Umut A. Acar , Flavio P. Junqueira , Rodrigo Rodrigues
Middleware 2014: Proceedings of the 15th International Middleware Conference, Dec 2014, Bordeaux, France. ⟨10.1145/2663165.2663334⟩
Communication dans un congrès hal-01100350v1
Image document

Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism

Umut A Acar , Naama Ben-David , Mike Rainey
22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2017, Austin, United States. ⟨10.1145/3018743.3018762⟩
Communication dans un congrès hal-01416531v1
Image document

Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing

Umut A. Acar , Arthur Charguéraud , Stefan Muller , Mike Rainey
[Research Report] 2013
Rapport hal-00910130v1

Implicit self-adjusting computation for purely functional programs

Yan Chen , Joshua Dunfield , Matthew A. Hammer , Umut A. Acar
Journal of Functional Programming, 2014, 24 (1), pp.56-112
Article dans une revue hal-01100346v1

iThreads: A Threading Library for Parallel Incremental Computation

Pramod Bhatotia , Pedro Fonseca , Umut A. Acar , Brandenburg Björn , Rodrigo Rodrigues
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2015, Istanbul, Turkey. pp.645--659, ⟨10.1145/2694344.2694371⟩
Communication dans un congrès hal-01245884v1
Image document

Hierarchical Memory Management for Parallel Programs

Ram A Raghunathan , Stefan A Muller , Umut A Acar , Guy A Blelloch
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/3022670.2951935⟩
Communication dans un congrès hal-01416237v1
Image document

Dag-calculus: a calculus for parallel computation

Umut A Acar , Arthur Charguéraud , Mike Rainey , Filip Sieczkowski
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, ⟨10.1145/2951913.2951946⟩
Communication dans un congrès hal-01409022v1
Image document

Provably and Practically Efficient Granularity Control

Umut A Acar , Vitaly Aksenov , Arthur Charguéraud , Mike Rainey
PPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
Communication dans un congrès hal-01973285v2
Image document

Heartbeat scheduling: provable efficiency for nested parallelism

Umut A Acar , Arthur Charguéraud , Adrien Guatto , Mike Rainey , Filip Sieczkowski
PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
Communication dans un congrès hal-01937946v1