Umut A. Acar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
24
Active years
2000–2025
Best venue rank
A*
Where they publish
- BSPAA9 papers
- A*PLDI9 papers
- AICFP7 papers
- A*POPL7 papers
- BPPoPP5 papers
- AESA4 papers
- AESOP4 papers
- NationalQCE3 papers
- A*ASPLOS2 papers
- ASC2 papers
- AOOPSLA2 papers
- A*ISCA1 paper
- ACGO1 paper
- BEDM1 paper
- AMiddleware1 paper
- CPPDP1 paper
- A*AAAI1 paper
- BCLOUD1 paper
- CPEPM1 paper
- BAPLAS1 paper
- AUAI1 paper
- AICCAD1 paper
- AALENEX1 paper
- A*SODA1 paper
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | QCE | Local Optimization of Quantum Circuits. | Jatin Arora, Mingkuan Xu, Sam Westrick, Pengyu Liu, Dantong Li, Yongshan Ding, Umut A. Acar |
| 2025 | QCE | Coniq: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays. | Pengyu Liu, Mingkuan Xu, Hengyun Zhou, Hanrui Wang, Umut A. Acar, Yunong Shi |
| 2025 | SPAA | POPQC: Parallel Optimization for Quantum Circuits. | Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar |
| 2024 | ASPLOS | Compiling Loop-Based Nested Parallelism for Irregular Workloads. | Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni |
| 2024 | ISCA | Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. | Hanrui Wang, Pengyu Liu, Daniel Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han |
| 2024 | QCE | GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. | Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar |
| 2024 | SC | Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs. | Mingkuan Xu, Shiyi Cao, Xupeng Miao, Umut A. Acar, Zhihao Jia |
| 2023 | CGO | WARDen: Specializing Cache Coherence for High-Level Parallel Languages. | Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas |
| 2022 | PLDI | Quartz: superoptimization of Quantum circuits. | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia |
| 2021 | PLDI | Task parallel assembly language for uncompromising parallelism. | Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar |
| 2021 | SPAA | Efficient Parallel Self-Adjusting Computation. | Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar |
| 2020 | EDM | Analyzing Student Strategies In Blended Courses Using Clickstream Data. | Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar |
| 2020 | ESA | Parallel Batch-Dynamic Trees via Change Propagation. | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick |
| 2020 | PLDI | Responsive parallelism with futures and state. | Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
| 2020 | SPAA | Priority Scheduling for Interactive Applications. | Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar |
| 2019 | PPoPP | Provably and practically efficient granularity control. | Umut A. Acar, Vitaly Aksenov, Arthur Charguraud, Mike Rainey |
| 2019 | SPAA | Parallel Batch-Dynamic Graph Connectivity. | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala |
| 2019 | SPAA | A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). | Rohan Yadav, Umut A. Acar |
| 2018 | PLDI | Heartbeat scheduling: provable efficiency for nested parallelism. | Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2018 | PPoPP | Performance challenges in modular parallel programs. | Umut A. Acar, Vitaly Aksenov, Arthur Charguraud, Mike Rainey |
| 2018 | PPoPP | Hierarchical memory management for mutable state. | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
| 2017 | PLDI | Responsive parallel computation: bridging competitive and cooperative threading. | Stefan K. Muller, Umut A. Acar, Robert Harper |
| 2017 | PPoPP | Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. | Umut A. Acar, Naama Ben-David, Mike Rainey |
| 2017 | SPAA | Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. | Umut A. Acar, Vitaly Aksenov, Sam Westrick |
| 2016 | ESOP | Automatically Splitting a Two-Stage Lambda Calculus. | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
| 2016 | ICFP | Dag-calculus: a calculus for parallel computation. | Umut A. Acar, Arthur Charguraud, Mike Rainey, Filip Sieczkowski |
| 2016 | ICFP | Hierarchical memory management for parallel programs. | Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch |
| 2016 | SPAA | Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. | Stefan K. Muller, Umut A. Acar |
| 2015 | ASPLOS | iThreads: A Threading Library for Parallel Incremental Computation. | Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjrn B. Brandenburg, Rodrigo Rodrigues |
| 2015 | ESOP | Refinement Types for Incremental Computational Complexity. | Ezgi iek, Deepak Garg, Umut A. Acar |
| 2015 | SC | A work-efficient algorithm for parallel unordered depth-first search. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2014 | ESA | Theory and Practice of Chunked Sequences. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2014 | ICFP | Functional programming for dynamic and large data with self-adjusting computation. | Yan Chen, Umut A. Acar, Kanat Tangwongsan |
| 2014 | Middleware | Slider: incremental sliding window analytics. | Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues |
| 2014 | PPDP | Database Queries that Explain their Work. | James Cheney, Amal Ahmed, Umut A. Acar |
| 2013 | POPL | Streaming big data with self-adjusting computation. | Umut A. Acar, Yan Chen |
| 2013 | PPoPP | Scheduling parallel programs by work stealing with private deques. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2012 | ESOP | Non-monotonic Self-Adjusting Computation. | Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
| 2012 | ICFP | Functional programs that explain their work. | Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy |
| 2012 | PLDI | Type-directed automatic incrementalization. | Yan Chen, Jana Dunfield, Umut A. Acar |
| 2011 | AAAI | Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. | zgr Smer, Umut A. Acar, Alexander Ihler, Ramgopal R. Mettu |
| 2011 | CLOUD | Incoop: MapReduce for incremental computations. | Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini |
| 2011 | ICFP | Implicit self-adjusting computation for purely functional programs. | Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
| 2011 | OOPSLA | Oracle scheduling: controlling granularity in implicitly parallel languages. | Umut A. Acar, Arthur Charguraud, Mike Rainey |
| 2011 | OOPSLA | Self-adjusting stack machines. | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
| 2011 | SPAA | Parallelism in dynamic well-spaced point sets. | Umut A. Acar, Andrew Cotter, Benot Hudson, Duru Trkoglu |
| 2010 | PLDI | Traceable data types for self-adjusting computation. | Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Trkoglu |
| 2009 | PEPM | Self-adjusting computation: (an overview). | Umut A. Acar |
| 2009 | PLDI | CEAL: a C-based language for self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Yan Chen |
| 2009 | POPL | A cost semantics for self-adjusting computation. | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
| 2009 | POPL | Speculative N-Way barriers. | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
| 2008 | APLAS | Exception Handlers as Extensible Cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2008 | ESA | Robust Kinetic Convex Hulls in 3D. | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Trkoglu |
| 2008 | ICFP | Compiling self-adjusting programs with continuations. | Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
| 2008 | POPL | Imperative self-adjusting computation. | Umut A. Acar, Amal Ahmed, Matthias Blume |
| 2008 | UAI | Adaptive inference on general graphical models. | Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, zgr Smer |
| 2007 | ESOP | A Consistent Semantics of Self-adjusting Computation. | Umut A. Acar, Matthias Blume, Jacob Donham |
| 2007 | ICCAD | A novel SoC design methodology combining adaptive software and reconfigurable hardware. | Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto |
| 2007 | POPL | A proposal for parallel self-adjusting computation. | Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum |
| 2006 | ESA | Kinetic Algorithms Via Self-adjusting Computation. | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes |
| 2006 | ICFP | Extensible programming with first-class cases. | Matthias Blume, Umut A. Acar, Wonseok Chae |
| 2006 | PLDI | An experimental analysis of self-adjusting computation. | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
| 2005 | ALENEX | An Experimental Analysis of Change Propagation in Dynamic Trees. | Umut A. Acar, Guy E. Blelloch, Jorge L. Vittes |
| 2004 | SODA | Dynamizing static algorithms, with applications to dynamic trees and history independence. | Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo |
| 2003 | POPL | Selective memoization. | Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2002 | POPL | Adaptive functional programming. | Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2000 | SPAA | The data locality of work stealing. | Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe |