The Data Locality of Work Stealing. - Umut A. Acar; Guy E. Blelloch; Robert D. Blumofe (Theory Comput. Syst., 2002)

Selective memoization. - Umut A. Acar; Guy E. Blelloch; Robert Harper 001 (POPL, 2003)

Dynamizing static algorithms, with applications to dynamic trees and history independence. - Umut A. Acar; Guy E. Blelloch; Robert Harper 001; Jorge L. Vittes; Shan Leung Maverick Woo (SODA, 2004)

An Experimental Analysis of Change Propagation in Dynamic Trees. - Umut A. Acar; Guy E. Blelloch; Jorge L. Vittes (ALENEX/ANALCO, 2005)

A Library for Self-Adjusting Computation. - Umut A. Acar; Guy E. Blelloch; Matthias Blume; Robert Harper 001; Kanat Tangwongsan (ML, 2005)

Kinetic Algorithms Via Self-adjusting Computation. - Umut A. Acar; Guy E. Blelloch; Kanat Tangwongsan; Jorge L. Vittes (ESA, 2006)

Extensible programming with first-class cases. - Matthias Blume; Umut A. Acar; Wonseok Chae (ICFP, 2006)

An experimental analysis of self-adjusting computation. - Umut A. Acar; Guy E. Blelloch; Matthias Blume; Kanat Tangwongsan (PLDI, 2006)

Adaptive functional programming. - Umut A. Acar; Guy E. Blelloch; Robert Harper 001 (ACM Trans. Program. Lang. Syst., 2006)

Kinetic 3D convex hulls via self-adjusting computation. - Umut A. Acar; Guy E. Blelloch; Kanat Tangwongsan (SCG, 2007)

A novel SoC design methodology combining adaptive software and reconfigurable hardware. - Marco D. Santambrogio; Seda Ogrenci Memik; Vincenzo Rana; Umut A. Acar; Donatella Sciuto (ICCAD, 2007)

SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. - Umut A. Acar; Benoît Hudson; Gary L. Miller; Todd Phillips (IMR, 2007)

Efficient Bayesian Inference for Dynamically Changing Graphs. - Özgür Sümer; Umut A. Acar; Alexander Ihler; Ramgopal R. Mettu (NIPS, 2007)

A proposal for parallel self-adjusting computation. - Matthew A. Hammer; Umut A. Acar; Mohan Rajagopalan; Anwar M. Ghuloum (DAMP, 2007)

Self-adjusting Computation with Delta ML. - Umut A. Acar; Ruy Ley-Wild (Advanced Functional Programming, 2008)

Exception Handlers as Extensible Cases. - Matthias Blume; Umut A. Acar; Wonseok Chae (APLAS, 2008)

Robust Kinetic Convex Hulls in 3D. - Umut A. Acar; Guy E. Blelloch; Kanat Tangwongsan; Duru Türkoglu (ESA, 2008)

Compiling self-adjusting programs with continuations. - Ruy Ley-Wild; Matthew Fluet; Umut A. Acar (ICFP, 2008)

Memory management for self-adjusting computation. - Matthew A. Hammer; Umut A. Acar (ISMM, 2008)

Imperative self-adjusting computation. - Umut A. Acar; Amal Ahmed 001; Matthias Blume (POPL, 2008)

Adaptive inference on general graphical models. - Umut A. Acar; Alexander T. Ihler; Ramgopal R. Mettu; Özgür Sümer (UAI, 2008)

Provenance Traces - James Cheney; Umut A. Acar; Amal Ahmed 001 (CoRR, 2008)

Self-adjusting computation: (an overview). - Umut A. Acar (PEPM, 2009)

CEAL: a C-based language for self-adjusting computation. - Matthew A. Hammer; Umut A. Acar; Yan Chen 001 (PLDI, 2009)

A cost semantics for self-adjusting computation. - Ruy Ley-Wild; Umut A. Acar; Matthew Fluet (POPL, 2009)

Speculative N-Way barriers. - Lukasz Ziarek; Suresh Jagannathan; Matthew Fluet; Umut A. Acar (DAMP, 2009)

An experimental analysis of self-adjusting computation. - Umut A. Acar; Guy E. Blelloch; Matthias Blume; Robert Harper 001; Kanat Tangwongsan (ACM Trans. Program. Lang. Syst., 2009)

Traceable data types for self-adjusting computation. - Umut A. Acar; Guy E. Blelloch; Ruy Ley-Wild; Kanat Tangwongsan; Duru Türkoglu (PLDI, 2010)

A Graph Model of Data and Workflow Provenance. - Umut A. Acar; Peter Buneman; James Cheney; Jan Van den Bussche; Natalia Kwasnikowska; Stijn Vansummeren (TaPP, 2010)

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. - Özgür Sümer; Umut A. Acar; Alexander Ihler; Ramgopal R. Mettu (AAAI, 2011)

Incoop: MapReduce for incremental computations. - Pramod Bhatotia; Alexander Wieder; Rodrigo Rodrigues 001; Umut A. Acar; Rafael Pasquini (SoCC, 2011)

Kinetic mesh refinement in 2D. - Umut A. Acar; Benoît Hudson; Duru Türkoglu (SCG, 2011)

Large-scale Incremental Data Processing with Change Propagation. - Pramod Bhatotia; Alexander Wieder; Istemi Ekin Akkus; Rodrigo Rodrigues 001; Umut A. Acar (HotCloud, 2011)

Oracle scheduling: controlling granularity in implicitly parallel languages. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (OOPSLA, 2011)

Self-adjusting stack machines. - Matthew A. Hammer; Georg Neis; Yan Chen 001; Umut A. Acar (OOPSLA, 2011)

Parallelism in dynamic well-spaced point sets. - Umut A. Acar; Andrew Cotter; Benoît Hudson; Duru Türkoglu (SPAA, 2011)

Adaptive Exact Inference in Graphical Models. - Özgür Sümer; Umut A. Acar; Alexander T. Ihler; Ramgopal R. Mettu (J. Mach. Learn. Res., 2011)

Provenance as dependency analysis. - James Cheney; Amal Ahmed 001; Umut A. Acar (Math. Struct. Comput. Sci., 2011)

Non-monotonic Self-Adjusting Computation. - Ruy Ley-Wild; Umut A. Acar; Guy E. Blelloch (ESOP, 2012)

Functional programs that explain their work. - Roly Perera; Umut A. Acar; James Cheney; Paul Blain Levy (ICFP, 2012)

Type-directed automatic incrementalization. - Yan Chen 001; Jana Dunfield; Umut A. Acar (PLDI, 2012)

Editorial - Special issue dedicated to ICFP 2010. - Umut A. Acar; James Cheney; Stephanie Weirich (J. Funct. Program., 2012)

Toward a Theory of Self-explaining Computation. - James Cheney; Umut A. Acar; Roly Perera (In Search of Elegance in the Theory and Practice of Computation, 2013)

Streaming big data with self-adjusting computation. - Umut A. Acar; Yan Chen 001 (DDFP, 2013)

Scheduling parallel programs by work stealing with private deques. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (PPoPP, 2013)

Dynamic well-spaced point sets. - Umut A. Acar; Andrew Cotter; Benoît Hudson; Duru Türkoglu (Comput. Geom., 2013)

A core calculus for provenance. - Umut A. Acar; Amal Ahmed 001; James Cheney; Roly Perera (J. Comput. Secur., 2013)

A consistent semantics of self-adjusting computation. - Umut A. Acar; Matthias Blume; Jacob Donham (J. Funct. Program., 2013)

Incremental MapReduce Computations. - Pramod Bhatotia; Alexander Wieder; Umut A. Acar; Rodrigo Rodrigues 001 (Large Scale and Big Data, 2014)

Theory and Practice of Chunked Sequences. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (ESA, 2014)

Functional programming for dynamic and large data with self-adjusting computation. - Yan Chen 001; Umut A. Acar; Kanat Tangwongsan (ICFP, 2014)

Slider: incremental sliding window analytics. - Pramod Bhatotia; Umut A. Acar; Flavio Paiva Junqueira; Rodrigo Rodrigues 001 (Middleware, 2014)

Database Queries that Explain their Work. - James Cheney; Amal Ahmed 001; Umut A. Acar (PPDP, 2014)

Implicit self-adjusting computation for purely functional programs. - Yan Chen 001; Jana Dunfield; Matthew A. Hammer; Umut A. Acar (J. Funct. Program., 2014)

iThreads: A Threading Library for Parallel Incremental Computation. - Pramod Bhatotia; Pedro Fonseca 001; Umut A. Acar; Björn B. Brandenburg; Rodrigo Rodrigues 001 (ASPLOS, 2015)

Refinement Types for Incremental Computational Complexity. - Ezgi Çiçek; Deepak Garg 001; Umut A. Acar (ESOP, 2015)

A work-efficient algorithm for parallel unordered depth-first search. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (SC, 2015)

Coupling Memory and Computation for Locality Management. - Umut A. Acar; Guy E. Blelloch; Matthew Fluet; Stefan K. Muller; Ram Raghunathan (SNAPL, 2015)

Automatically Splitting a Two-Stage Lambda Calculus. - Nicolas Feltman; Carlo Angiuli; Umut A. Acar; Kayvon Fatahalian (ESOP, 2016)

Dag-calculus: a calculus for parallel computation. - Umut A. Acar; Arthur Charguéraud; Mike Rainey; Filip Sieczkowski (ICFP, 2016)

Hierarchical memory management for parallel programs. - Ram Raghunathan; Stefan K. Muller; Umut A. Acar; Guy E. Blelloch (ICFP, 2016)

Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. - Stefan K. Muller; Umut A. Acar (SPAA, 2016)

Oracle-guided scheduling for controlling granularity in implicitly parallel languages. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (J. Funct. Program., 2016)

Responsive parallel computation: bridging competitive and cooperative threading. - Stefan K. Muller; Umut A. Acar; Robert Harper 001 (PLDI, 2017)

Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. - Umut A. Acar; Naama Ben-David; Mike Rainey (PPoPP, 2017)

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. - Umut A. Acar; Vitaly Aksenov; Sam Westrick (SPAA, 2017)

Parallel Work Inflation, Memory Effects, and their Empirical Analysis. - Umut A. Acar; Arthur Charguéraud; Mike Rainey (CoRR, 2017)

Heartbeat scheduling: provable efficiency for nested parallelism. - Umut A. Acar; Arthur Charguéraud; Adrien Guatto; Mike Rainey; Filip Sieczkowski (PLDI, 2018)

Performance challenges in modular parallel programs. - Umut A. Acar; Vitaly Aksenov; Arthur Charguéraud; Mike Rainey (PPoPP, 2018)

Hierarchical memory management for mutable state. - Adrien Guatto; Sam Westrick; Ram Raghunathan; Umut A. Acar; Matthew Fluet (PPoPP, 2018)

Competitive parallelism: getting your priorities right. - Stefan K. Muller; Umut A. Acar; Robert Harper 001 (Proc. ACM Program. Lang., 2018)

Provably and practically efficient granularity control. - Umut A. Acar; Vitaly Aksenov; Arthur Charguéraud; Mike Rainey (PPoPP, 2019)

Parallel Batch-Dynamic Graph Connectivity. - Umut A. Acar; Daniel Anderson; Guy E. Blelloch; Laxman Dhulipala (SPAA, 2019)

A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). - Rohan Yadav; Umut A. Acar (SPAA, 2019)

Fairness in responsive parallelism. - Stefan K. Muller; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2019)

Incremental Sliding Window Analytics. - Pramod Bhatotia; Umut A. Acar; Flavio Paiva Junqueira; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

Analyzing Student Strategies In Blended Courses Using Clickstream Data. - Nil-Jana Akpinar; Aaditya Ramdas; Umut A. Acar (EDM, 2020)

Parallel Batch-Dynamic Trees via Change Propagation. - Umut A. Acar; Daniel Anderson; Guy E. Blelloch; Laxman Dhulipala; Sam Westrick (ESA, 2020)

Responsive parallelism with futures and state. - Stefan K. Muller; Kyle Singer; Noah Goldstein; Umut A. Acar; Kunal Agrawal 001; I-Ting Angelina Lee (PLDI, 2020)

Priority Scheduling for Interactive Applications. - Kyle Singer; Noah Goldstein; Stefan K. Muller; Kunal Agrawal 001; I-Ting Angelina Lee; Umut A. Acar (SPAA, 2020)

Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. - Umut A. Acar; Daniel Anderson; Guy E. Blelloch; Laxman Dhulipala; Sam Westrick (CoRR, 2020)

Program Equivalence for Assisted Grading of Functional Programs (Extended Version). - Joshua Clune; Vijay Ramamurthy; Ruben Martins; Umut A. Acar (CoRR, 2020)

Program equivalence for assisted grading of functional programs. - Joshua Clune; Vijay Ramamurthy; Ruben Martins; Umut A. Acar (Proc. ACM Program. Lang., 2020)

Disentanglement in nested-parallel programs. - Sam Westrick; Rohan Yadav; Matthew Fluet; Umut A. Acar (Proc. ACM Program. Lang., 2020)

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 (PLDI, 2021)

Efficient Parallel Self-Adjusting Computation. - Daniel Anderson; Guy E. Blelloch; Anubhav Baweja; Umut A. Acar (SPAA, 2021)

Provably space-efficient parallel functional programming. - Jatin Arora 002; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2021)

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 (PLDI, 2022)

Quartz: Superoptimization of Quantum Circuits (Extended Version). - Mingkuan Xu; Zikun Li; Oded Padon; Sina Lin; Jessica Pointing; Auguste Hirth; Henry Ma; Jens Palsberg; Alex Aiken; Umut A. Acar; Zhihao Jia (CoRR, 2022)

DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. - Sam Westrick; Larry Wang; Umut A. Acar (CoRR, 2022)

Entanglement detection with near-zero cost. - Sam Westrick; Jatin Arora 002; Umut A. Acar (Proc. ACM Program. Lang., 2022)

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 (CGO, 2023)

FPQA-C: A Compilation Framework for Field Programmable Qubit Array. - Hanrui Wang 002; Pengyu Liu; Bochen Tan; Yilian Liu; Jiaqi Gu 002; David Z. Pan; Jason Cong; Umut A. Acar; Song Han 003 (CoRR, 2023)

Efficient Parallel Functional Programming with Effects. - Jatin Arora 002; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2023)

Responsive Parallelism with Synchronization. - Stefan K. Muller; Kyle Singer; Devyn Terra Keeney; Andrew Neth; Kunal Agrawal 001; I-Ting Angelina Lee; Umut A. Acar (Proc. ACM Program. Lang., 2023)

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 (ASPLOS (2), 2024)

Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. - Hanrui Wang 002; Pengyu Liu; Daniel Bochen Tan; Yilian Liu; Jiaqi Gu 002; David Z. Pan; Jason Cong; Umut A. Acar; Song Han 003 (ISCA, 2024)

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. - Sam Westrick; Pengyu Liu; Byeongjee Kang; Colin McDonald; Mike Rainey; Mingkuan Xu; Jatin Arora 002; Yongshan Ding 001; Umut A. Acar (QCE, 2024)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs. - Mingkuan Xu; Shiyi Cao; Xupeng Miao; Umut A. Acar; Zhihao Jia (SC, 2024)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version). - Mingkuan Xu; Shiyi Cao; Xupeng Miao; Umut A. Acar; Zhihao Jia (CoRR, 2024)

Disentanglement with Futures, State, and Interaction. - Jatin Arora 002; Stefan K. Muller; Umut A. Acar (Proc. ACM Program. Lang., 2024)

Automatic Parallelism Management. - Sam Westrick; Matthew Fluet; Mike Rainey; Umut A. Acar (Proc. ACM Program. Lang., 2024)

POPQC: Parallel Optimization for Quantum Circuits. - Pengyu Liu; Jatin Arora 002; Mingkuan Xu; Umut A. Acar (SPAA, 2025)

Local Optimization of Quantum Circuits (Extended Version). - Jatin Arora 002; Mingkuan Xu; Sam Westrick; Pengyu Liu; Dantong Li; Yongshan Ding 001; Umut A. Acar (CoRR, 2025)

POPQC: Parallel Optimization for Quantum Circuits (Extended Version). - Pengyu Liu; Jatin Arora 002; Mingkuan Xu; Umut A. Acar (CoRR, 2025)

ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays. - Pengyu Liu; Mingkuan Xu; Hengyun Zhou; Hanrui Wang; Umut A. Acar; Yunong Shi (CoRR, 2025)