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