Journal Article Competitive Parallelism: Getting Your Priorities Right 2018 • Proceedings of the ACM on Programming Languages • 2: Muller SK, Acar UA, Harper R
Conference Heartbeat Scheduling: Provable Efficiency for Nested Parallelism 2018 • ACM Sigplan Notices • 769-782 Acar UA, Chargueraud A, Guatto A, Rainey M, Sieczkowski F
Conference Hierarchical memory management for mutable state 2018 • ACM Sigplan Notices • 81-93 Guatto A, Westrick S, Raghunathan R, Acar U, Fluet M
Conference Poster: Performance Challenges in Modular Parallel Programs 2018 • ACM Sigplan Notices • 53(1):381-382 Acar UA, Aksenov V, Chargueraud A, Rainey M
Conference Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation 2017 • PROCEEDINGS OF THE 29TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA'17) • 275-277 Acar UA, Aksenov V, Westrick S
Conference Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism 2017 • ACM Sigplan Notices • 52(8):75-88 Acar UA, Ben-David N, Rainey M
Conference Responsive Parallel Computation: Bridging Competitive and Cooperative Threading 2017 • ACM Sigplan Notices • 52(6):677-692 Muller SK, Acar UA, Harper R
Conference Automatically Splitting a Two-Stage Lambda Calculus 2016 • Lecture Notes in Computer Science • 9632:255-281 Feltman N, Angiuli C, Acar UA, Fatahalian K
Conference Dag-Calculus: A Calculus for Parallel Computation 2016 • ACM Sigplan Notices • 51(9):18-32 Acar UA, Chargueraud A, Rainey M, Sieczkowski F
Conference Hierarchical Memory Management for Parallel Programs 2016 • ACM Sigplan Notices • 51(9):392-406 Raghunathan R, Muller SK, Acar UA, Blelloch G
Journal Article Oracle-guided scheduling for controlling granularity in implicitly parallel languages 2016 • Journal of Functional Programming • 26: Acar UA, Chargueraud A, Rainey M
Conference A Work-Efficient Algorithm for Parallel Unordered Depth-First Search 2015 • International Conference for High Performance Computing, Networking, Storage and Analysis, SC Acar UA, Chargueraud A, Rainey M
Conference Coupling memory and computation for locality management 2015 • Leibniz International Proceedings in Informatics • 32:1-14 Acar UA, Blelloch G, Fluet M, Muller SK, Raghunathan R
Conference iThreads: A Threading Library for Parallel Incremental Computation 2015 • ACM Sigplan Notices • 50(4):645-659 Bhatotia P, Fonseca P, Acar UA, Brandenburg BB, Rodrigues R
Conference Refinement Types for Incremental Computational Complexity 2015 • Lecture Notes in Computer Science • 9032:406-431 Cicek E, Garg D, Acar U
Journal Article Database Queries that Explain their Work 2014 • PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING • 271-282 Cheney J, Ahmed A, Acar UA
Conference Functional Programming for Dynamic and Large Data with Self-Adjusting Computation 2014 • ACM Sigplan Notices • 227-240 Chen Y, Acar UA, Tangwongsan K
Journal Article Implicit self-adjusting computation for purely functional programs 2014 • Journal of Functional Programming • 24(1):56-112 Chen Y, Dunfield J, Hammer MA, Acar UA
Chapter Incremental MapReduce Computations 2014 • LARGE SCALE AND BIG DATA: PROCESSING AND MANAGEMENT • 127-150 Bhatotia P, Wieder A, Acar UA, Rodrigues R
Conference Slider: Incremental Sliding Window Analytics 2014 • ACM/IFIP/USENIX MIDDLEWARE 2014 • 61-72 Bhatotia P, Acar UA, Junqueira FP, Rodrigues R
Conference Theory and Practice of Chunked Sequences 2014 • Lecture Notes in Computer Science • 8737:25-36 Acar UA, Chargueraud A, Rainey M
Journal Article A consistent semantics of self-adjusting computation 2013 • Journal of Functional Programming • 23(3):249-292 Acar UA, Blume M, Donham J
Journal Article A core calculus for provenance 2013 • Journal of Computer Security • 21(6):919-969 Acar UA, Ahmed A, Cheney J, Perera R
Conference Chairs' welcome 2013 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP Acar U, Berthold J, Grelck C, Henglein F
