Umut A. Acar

Registered user since Mon 13 Aug 2018

Name:Umut A. Acar
Country:United States
Affiliation:Carnegie Mellon University

Contributions

SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
PLDI 2023 Author of Responsive Parallelism with Synchronization within the PLDI Research Papers-track
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Author of Efficient Parallel Functional Programming with Effects within the PLDI Research Papers-track
CGO 2023 Author of WARDen: Specializing Cache Coherence for High-Level Parallel Languages within the Main Conference-track
ICFP 2022 Author of Entanglement Detection With Near-Zero Cost within the ICFP Papers and Events-track
PLDI 2022 Author of (POPL 2021) Provably Space Efficient Parallel Functional Programming within the SIGPLAN Track-track
Author of Quartz: Superoptimization of Quantum Circuits within the PLDI-track
SPLASH 2021 Author of Responsive Parallelism with Futures and State within the SIGPLAN Papers-track
PLDI 2021 Author of Task Parallel Assembly Language for Uncompromising Parallelism within the PLDI-track
POPL 2021 Committee Member in Program Committee within the POPL-track
Author of Provably Space Efficient Parallel Functional Programming within the POPL-track
SPLASH 2020 Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track
PLDI 2020 Author of Responsive Parallelism with Futures and State within the PLDI Research Papers-track
POPL 2020 Author of Disentanglement in Nested-Parallel Programs within the Research Papers-track
ICFP 2019 Author of Fairness in Responsive Parallelism within the Research Papers-track
PPoPP 2019 Author of Provably and Practically Efficient Granularity Control within the Main Conference-track
ICFP 2018 Author of Competitive Parallelism: Getting Your Priorities Right within the Research Papers-track
PLDI 2018 Committee Member in External Program Committee
Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI Research Papers-track
PPoPP 2018 Committee Member in Program Committee
PLDI 2017 Author of Responsive Parallel Computation: Bridging Competitive and Cooperative Threading within the PLDI Research Papers-track
REBLS 2016 Committee Member in Program Committee within the REBLS-track
ICFP 2016 Author of Hierarchical Memory Management for Parallel Programs within the Research Papers-track
Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
REBLS 2015 Keynote Speaker of REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software within the REBLS-track
Committee Member in Program Committee within the REBLS-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
Author of Refinement Types for Incremental Computational Complexity within the ESOP-track
SPLASH 2011 Author of Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages within the OOPSLA-track
Author of Self-Adjusting Stack Machines within the OOPSLA-track