Umut A. Acar

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 44

Top Venues

CoRR

Proc. ACM Program. Lang.

SPAA

PLDI

Publications

Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
Automatic Parallelism Management. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni
Compiling Loop-Based Nested Parallelism for Irregular Workloads. ASPLOS (2) (2024)
Hanrui Wang, Pengyu Liu, Daniel Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han
Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. ISCA (2024)
Jatin Arora, Stefan K. Muller, Umut A. Acar
Disentanglement with Futures, State, and Interaction. Proc. ACM Program. Lang. 8 (POPL) (2024)
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Responsive Parallelism with Synchronization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Responsive Parallelism with Synchronization. CoRR (2023)
Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas
WARDen: Specializing Cache Coherence for High-Level Parallel Languages. CGO (2023)
Jatin Arora, Sam Westrick, Umut A. Acar
Efficient Parallel Functional Programming with Effects. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR (2022)
Sam Westrick, Larry Wang, Umut A. Acar
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. CoRR (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: superoptimization of Quantum circuits. PLDI (2022)
Sam Westrick, Jatin Arora, Umut A. Acar
Entanglement detection with near-zero cost. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar
Efficient Parallel Self-Adjusting Computation. CoRR (2021)
Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar
Efficient Parallel Self-Adjusting Computation. SPAA (2021)
Jatin Arora, Sam Westrick, Umut A. Acar
Provably space-efficient parallel functional programming. Proc. ACM Program. Lang. 5 (POPL) (2021)
Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
Task parallel assembly language for uncompromising parallelism. PLDI (2021)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
Parallel Batch-Dynamic Trees via Change Propagation. ESA (2020)
Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program Equivalence for Assisted Grading of Functional Programs (Extended Version). CoRR (2020)
Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
Program equivalence for assisted grading of functional programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
Responsive parallelism with futures and state. PLDI (2020)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. CoRR (2020)
Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
Responsive Parallelism with Futures and State. CoRR (2020)
Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Priority Scheduling for Interactive Applications. SPAA (2020)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala
Parallel Batch-Dynamic Graph Connectivity. CoRR (2019)
Rohan Yadav, Umut A. Acar
A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). SPAA (2019)
Stefan K. Muller, Sam Westrick, Umut A. Acar
Fairness in responsive parallelism. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala
Parallel Batch-Dynamic Graph Connectivity. SPAA (2019)
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
Provably and practically efficient granularity control. PPoPP (2019)
Stefan K. Muller, Umut A. Acar, Robert Harper
Competitive Parallelism: Getting Your Priorities Right. CoRR (2018)
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
Heartbeat scheduling: provable efficiency for nested parallelism. PLDI (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical memory management for mutable state. PPOPP (2018)
Stefan K. Muller, Umut A. Acar, Robert Harper
Competitive parallelism: getting your priorities right. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
Performance challenges in modular parallel programs. PPOPP (2018)
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
Hierarchical Memory Management for Mutable State. CoRR (2018)
Stefan K. Muller, Umut A. Acar, Robert Harper
Responsive parallel computation: bridging competitive and cooperative threading. PLDI (2017)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Parallel Work Inflation, Memory Effects, and their Empirical Analysis. CoRR (2017)
Umut A. Acar, Naama Ben-David, Mike Rainey
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. PPOPP (2017)
Umut A. Acar, Vitaly Aksenov, Sam Westrick
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. SPAA (2017)
Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian
Automatically Splitting a Two-Stage Lambda Calculus. ESOP (2016)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. J. Funct. Program. 26 (2016)
Stefan K. Muller, Umut A. Acar
Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. SPAA (2016)
Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch
Hierarchical memory management for parallel programs. ICFP (2016)
Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
Dag-calculus: a calculus for parallel computation. ICFP (2016)
Ezgi Çiçek, Deepak Garg, Umut A. Acar
Refinement Types for Incremental Computational Complexity. ESOP (2015)
Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues
iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS (2015)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
A work-efficient algorithm for parallel unordered depth-first search. SC (2015)
Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan
Coupling Memory and Computation for Locality Management. SNAPL (2015)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Theory and Practice of Chunked Sequences. ESA (2014)
James Cheney, Amal Ahmed, Umut A. Acar
Database Queries that Explain their Work. CoRR (2014)
Yan Chen, Umut A. Acar, Kanat Tangwongsan
Functional programming for dynamic and large data with self-adjusting computation. ICFP (2014)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24 (1) (2014)
Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues
Slider: incremental sliding window analytics. Middleware (2014)
James Cheney, Amal Ahmed, Umut A. Acar
Database Queries that Explain their Work. PPDP (2014)
Umut A. Acar, Yan Chen
Streaming big data with self-adjusting computation. DDFP (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. CoRR (2013)
Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
Dynamic well-spaced point sets. Comput. Geom. 46 (6) (2013)
James Cheney, Umut A. Acar, Roly Perera
Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation (2013)
Umut A. Acar, Matthias Blume, Jacob Donham
A consistent semantics of self-adjusting computation. J. Funct. Program. 23 (3) (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A core calculus for provenance. J. Comput. Secur. 21 (6) (2013)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Scheduling parallel programs by work stealing with private deques. PPOPP (2013)
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
A Core Calculus for Provenance. POST (2012)
Umut A. Acar, James Cheney, Stephanie Weirich
Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22 (4-5) (2012)
Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer
Adaptive Inference on General Graphical Models CoRR (2012)
Yan Chen, Jana Dunfield, Umut A. Acar
Type-directed automatic incrementalization. PLDI (2012)
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
Functional programs that explain their work. ICFP (2012)
Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch
Non-monotonic Self-Adjusting Computation. ESOP (2012)
Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini
Incoop: MapReduce for incremental computations. SoCC (2011)
James Cheney, Amal Ahmed, Umut A. Acar
Provenance as dependency analysis. Math. Struct. Comput. Sci. 21 (6) (2011)
Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. AAAI (2011)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-adjusting stack machines. OOPSLA (2011)
Umut A. Acar, Benoît Hudson, Duru Türkoglu
Kinetic mesh refinement in 2D. SCG (2011)
Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar
Large-scale Incremental Data Processing with Change Propagation. HotCloud (2011)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. ICFP (2011)
Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu
Adaptive Exact Inference in Graphical Models. J. Mach. Learn. Res. 12 (2011)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-Adjusting Stack Machines CoRR (2011)
Umut A. Acar, Arthur Charguéraud, Mike Rainey
Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA (2011)
Umut A. Acar, Matthias Blume, Jacob Donham
A Consistent Semantics of Self-Adjusting Computation CoRR (2011)
Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
Parallelism in dynamic well-spaced point sets. SPAA (2011)
Umut A. Acar, Guy E. Blelloch, Robert Harper
Selective Memoization CoRR (2011)
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu
Traceable data types for self-adjusting computation. PLDI (2010)
Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
Dynamic well-spaced point sets. SCG (2010)
Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren
A Graph Model of Data and Workflow Provenance. TaPP (2010)
Umut A. Acar
Self-adjusting computation: (an overview). PEPM (2009)
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
An experimental analysis of self-adjusting computation. ACM Trans. Program. Lang. Syst. 32 (1) (2009)
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
Speculative N-Way barriers. DAMP (2009)
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
A cost semantics for self-adjusting computation. POPL (2009)
Matthew A. Hammer, Umut A. Acar, Yan Chen
CEAL: a C-based language for self-adjusting computation. PLDI (2009)
Umut A. Acar, Amal Ahmed, Matthias Blume
Imperative self-adjusting computation. POPL (2008)
Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer
Adaptive inference on general graphical models. UAI (2008)
Matthias Blume, Umut A. Acar, Wonseok Chae
Exception Handlers as Extensible Cases. APLAS (2008)
Umut A. Acar, Ruy Ley-Wild
Self-adjusting Computation with Delta ML. Advanced Functional Programming (2008)
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu
Robust Kinetic Convex Hulls in 3D. ESA (2008)
Matthew A. Hammer, Umut A. Acar
Memory management for self-adjusting computation. ISMM (2008)
James Cheney, Umut A. Acar, Amal Ahmed
Provenance Traces CoRR (2008)
Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
Compiling self-adjusting programs with continuations. ICFP (2008)
Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum
A proposal for parallel self-adjusting computation. DAMP (2007)
James Cheney, Amal Ahmed, Umut A. Acar
Provenance as Dependency Analysis CoRR (2007)
Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu
Efficient Bayesian Inference for Dynamically Changing Graphs. NIPS (2007)
Umut A. Acar, Matthias Blume, Jacob Donham
A Consistent Semantics of Self-adjusting Computation. ESOP (2007)

Umut A. Acar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Umut A. Acar