Umut A. Acar - RankMe

130 papers A* 17A 23B 16C 3Misc 1Journal 46Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays. CoRR Pengyu Liu, Mingkuan Xu, Hengyun Zhou, Hanrui Wang, Umut A. Acar, Yunong Shi
2025	J	`jnl`	Local Optimization of Quantum Circuits (Extended Version). CoRR Jatin Arora, Mingkuan Xu, Sam Westrick, Pengyu Liu, Dantong Li, Yongshan Ding, Umut A. Acar
2025	J	`jnl`	POPQC: Parallel Optimization for Quantum Circuits (Extended Version). CoRR Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar
2025	B	`conf`	POPQC: Parallel Optimization for Quantum Circuits. SPAA Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar
2024	J	`jnl`	Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version). CoRR Mingkuan Xu, Shiyi Cao, Xupeng Miao, Umut A. Acar, Zhihao Jia
2024	A	`conf`	Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs. SC Mingkuan Xu, Shiyi Cao, Xupeng Miao, Umut A. Acar, Zhihao Jia
2024	A*	`conf`	Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. ISCA Hanrui Wang, Pengyu Liu, Daniel Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han
2024	J	`jnl`	Automatic Parallelism Management. Proc. ACM Program. Lang. Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar
2024	—	`conf`	Compiling Loop-Based Nested Parallelism for Irregular Workloads. ASPLOS (2) Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni
2024	J	`jnl`	Disentanglement with Futures, State, and Interaction. Proc. ACM Program. Lang. Jatin Arora, Stefan K. Muller, Umut A. Acar
2024	Misc	`conf`	GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. QCE Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar
2023	J	`jnl`	Efficient Parallel Functional Programming with Effects. Proc. ACM Program. Lang. Jatin Arora, Sam Westrick, Umut A. Acar
2023	J	`jnl`	FPQA-C: A Compilation Framework for Field Programmable Qubit Array. CoRR Hanrui Wang, Pengyu Liu, Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han
2023	J	`jnl`	Responsive Parallelism with Synchronization. CoRR Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
2023	J	`jnl`	Responsive Parallelism with Synchronization. Proc. ACM Program. Lang. Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
2023	A	`conf`	WARDen: Specializing Cache Coherence for High-Level Parallel Languages. CGO Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas
2022	J	`jnl`	DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. CoRR Sam Westrick, Larry Wang, Umut A. Acar
2022	J	`jnl`	Entanglement detection with near-zero cost. Proc. ACM Program. Lang. Sam Westrick, Jatin Arora, Umut A. Acar
2022	J	`jnl`	Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2022	A*	`conf`	Quartz: superoptimization of Quantum circuits. PLDI Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
2021	B	`conf`	Efficient Parallel Self-Adjusting Computation. SPAA Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar
2021	J	`jnl`	Efficient Parallel Self-Adjusting Computation. CoRR Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar
2021	J	`jnl`	Provably space-efficient parallel functional programming. Proc. ACM Program. Lang. Jatin Arora, Sam Westrick, Umut A. Acar
2021	A*	`conf`	Task parallel assembly language for uncompromising parallelism. PLDI Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
2020	B	`conf`	Analyzing Student Strategies In Blended Courses Using Clickstream Data. EDM Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar
2020	J	`jnl`	Analyzing Student Strategies In Blended Courses Using Clickstream Data. CoRR Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar
2020	J	`jnl`	Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. CoRR Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
2020	J	`jnl`	Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar
2020	A	`conf`	Parallel Batch-Dynamic Trees via Change Propagation. ESA Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick
2020	B	`conf`	Priority Scheduling for Interactive Applications. SPAA Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
2020	J	`jnl`	Program Equivalence for Assisted Grading of Functional Programs (Extended Version). CoRR Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
2020	J	`jnl`	Program equivalence for assisted grading of functional programs. Proc. ACM Program. Lang. Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar
2020	J	`jnl`	Responsive Parallelism with Futures and State. CoRR Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
2020	A*	`conf`	Responsive parallelism with futures and state. PLDI Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee
2019	B	`conf`	A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). SPAA Rohan Yadav, Umut A. Acar
2019	J	`jnl`	Fairness in responsive parallelism. Proc. ACM Program. Lang. Stefan K. Muller, Sam Westrick, Umut A. Acar
2019	—	`ch.`	Incremental Sliding Window Analytics. Encyclopedia of Big Data Technologies Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues
2019	B	`conf`	Parallel Batch-Dynamic Graph Connectivity. SPAA Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala
2019	J	`jnl`	Parallel Batch-Dynamic Graph Connectivity. CoRR Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala
2019	B	`conf`	Provably and practically efficient granularity control. PPoPP Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
2018	J	`jnl`	Competitive Parallelism: Getting Your Priorities Right. CoRR Stefan K. Muller, Umut A. Acar, Robert Harper
2018	J	`jnl`	Competitive parallelism: getting your priorities right. Proc. ACM Program. Lang. Stefan K. Muller, Umut A. Acar, Robert Harper
2018	A*	`conf`	Heartbeat scheduling: provable efficiency for nested parallelism. PLDI Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
2018	J	`jnl`	Hierarchical Memory Management for Mutable State. CoRR Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2018	B	`conf`	Hierarchical memory management for mutable state. PPoPP Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet
2018	B	`conf`	Performance challenges in modular parallel programs. PPoPP Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
2017	B	`conf`	Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. SPAA Umut A. Acar, Vitaly Aksenov, Sam Westrick
2017	B	`conf`	Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. PPoPP Umut A. Acar, Naama Ben-David, Mike Rainey
2017	J	`jnl`	Parallel Work Inflation, Memory Effects, and their Empirical Analysis. CoRR Umut A. Acar, Arthur Charguéraud, Mike Rainey
2017	A*	`conf`	Responsive parallel computation: bridging competitive and cooperative threading. PLDI Stefan K. Muller, Umut A. Acar, Robert Harper
2016	A	`conf`	Automatically Splitting a Two-Stage Lambda Calculus. ESOP Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian
2016	A	`conf`	Dag-calculus: a calculus for parallel computation. ICFP Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
2016	A	`conf`	Hierarchical memory management for parallel programs. ICFP Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch
2016	B	`conf`	Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. SPAA Stefan K. Muller, Umut A. Acar
2016	J	`jnl`	Oracle-guided scheduling for controlling granularity in implicitly parallel languages. J. Funct. Program. Umut A. Acar, Arthur Charguéraud, Mike Rainey
2015	A	`conf`	A work-efficient algorithm for parallel unordered depth-first search. SC Umut A. Acar, Arthur Charguéraud, Mike Rainey
2015	—	`conf`	Coupling Memory and Computation for Locality Management. SNAPL Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan
2015	A	`conf`	Refinement Types for Incremental Computational Complexity. ESOP Ezgi Çiçek, Deepak Garg, Umut A. Acar
2015	A*	`conf`	iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues
2014	C	`conf`	Database Queries that Explain their Work. PPDP James Cheney, Amal Ahmed, Umut A. Acar
2014	J	`jnl`	Database Queries that Explain their Work. CoRR James Cheney, Amal Ahmed, Umut A. Acar
2014	A	`conf`	Functional programming for dynamic and large data with self-adjusting computation. ICFP Yan Chen, Umut A. Acar, Kanat Tangwongsan
2014	J	`jnl`	Implicit self-adjusting computation for purely functional programs. J. Funct. Program. Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
2014	—	`ch.`	Incremental MapReduce Computations. Large Scale and Big Data Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues
2014	A	`conf`	Slider: incremental sliding window analytics. Middleware Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues
2014	A	`conf`	Theory and Practice of Chunked Sequences. ESA Umut A. Acar, Arthur Charguéraud, Mike Rainey
2013	J	`jnl`	A Core Calculus for Provenance. CoRR Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	J	`jnl`	A consistent semantics of self-adjusting computation. J. Funct. Program. Umut A. Acar, Matthias Blume, Jacob Donham
2013	J	`jnl`	A core calculus for provenance. J. Comput. Secur. Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	J	`jnl`	Dynamic well-spaced point sets. Comput. Geom. Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
2013	—	`ed.`	Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013 FHPC@ICFP Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold
2013	B	`conf`	Scheduling parallel programs by work stealing with private deques. PPoPP Umut A. Acar, Arthur Charguéraud, Mike Rainey
2013	—	`conf`	Streaming big data with self-adjusting computation. DDFP Umut A. Acar, Yan Chen
2013	—	`conf`	Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation James Cheney, Umut A. Acar, Roly Perera
2012	—	`ed.`	4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012 TaPP Umut A. Acar, Todd J. Green
2012	—	`conf`	A Core Calculus for Provenance. POST Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2012	J	`jnl`	Adaptive Inference on General Graphical Models CoRR Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer
2012	J	`jnl`	Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. Umut A. Acar, James Cheney, Stephanie Weirich
2012	A	`conf`	Functional programs that explain their work. ICFP Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
2012	A	`conf`	Non-monotonic Self-Adjusting Computation. ESOP Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch
2012	—	`ed.`	Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012 DAMP Umut A. Acar, Vítor Santos Costa
2012	A*	`conf`	Type-directed automatic incrementalization. PLDI Yan Chen, Jana Dunfield, Umut A. Acar
2011	J	`jnl`	A Consistent Semantics of Self-Adjusting Computation CoRR Umut A. Acar, Matthias Blume, Jacob Donham
2011	J	`jnl`	Adaptive Exact Inference in Graphical Models. J. Mach. Learn. Res. Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu
2011	A*	`conf`	Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. AAAI Özgür Sümer, Umut A. Acar, Alexander Ihler, Ramgopal R. Mettu
2011	A	`conf`	Implicit self-adjusting computation for purely functional programs. ICFP Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
2011	—	`conf`	Incoop: MapReduce for incremental computations. SoCC Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini
2011	—	`conf`	Kinetic mesh refinement in 2D. SCG Umut A. Acar, Benoît Hudson, Duru Türkoglu
2011	—	`conf`	Large-scale Incremental Data Processing with Change Propagation. HotCloud Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar
2011	A	`conf`	Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA Umut A. Acar, Arthur Charguéraud, Mike Rainey
2011	B	`conf`	Parallelism in dynamic well-spaced point sets. SPAA Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
2011	J	`jnl`	Provenance as dependency analysis. Math. Struct. Comput. Sci. James Cheney, Amal Ahmed, Umut A. Acar
2011	J	`jnl`	Selective Memoization CoRR Umut A. Acar, Guy E. Blelloch, Robert Harper
2011	J	`jnl`	Self-Adjusting Stack Machines CoRR Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2011	A	`conf`	Self-adjusting stack machines. OOPSLA Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
2010	—	`conf`	A Graph Model of Data and Workflow Provenance. TaPP Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren
2010	—	`conf`	Dynamic well-spaced point sets. SCG Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu
2010	A*	`conf`	Traceable data types for self-adjusting computation. PLDI Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu
2009	A*	`conf`	A cost semantics for self-adjusting computation. POPL Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
2009	J	`jnl`	An experimental analysis of self-adjusting computation. ACM Trans. Program. Lang. Syst. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
2009	A*	`conf`	CEAL: a C-based language for self-adjusting computation. PLDI Matthew A. Hammer, Umut A. Acar, Yan Chen
2009	C	`conf`	Self-adjusting computation: (an overview). PEPM Umut A. Acar
2009	—	`conf`	Speculative N-Way barriers. DAMP Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
2008	A	`conf`	Adaptive inference on general graphical models. UAI Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer
2008	A	`conf`	Compiling self-adjusting programs with continuations. ICFP Ruy Ley-Wild, Matthew Fluet, Umut A. Acar
2008	B	`conf`	Exception Handlers as Extensible Cases. APLAS Matthias Blume, Umut A. Acar, Wonseok Chae
2008	A*	`conf`	Imperative self-adjusting computation. POPL Umut A. Acar, Amal Ahmed, Matthias Blume
2008	C	`conf`	Memory management for self-adjusting computation. ISMM Matthew A. Hammer, Umut A. Acar
2008	J	`jnl`	Provenance Traces CoRR James Cheney, Umut A. Acar, Amal Ahmed
2008	A	`conf`	Robust Kinetic Convex Hulls in 3D. ESA Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu
2008	—	`conf`	Self-adjusting Computation with Delta ML. Advanced Functional Programming Umut A. Acar, Ruy Ley-Wild
2007	A	`conf`	A Consistent Semantics of Self-adjusting Computation. ESOP Umut A. Acar, Matthias Blume, Jacob Donham
2007	A	`conf`	A novel SoC design methodology combining adaptive software and reconfigurable hardware. ICCAD Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto
2007	—	`conf`	A proposal for parallel self-adjusting computation. DAMP Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum
2007	—	`conf`	Efficient Bayesian Inference for Dynamically Changing Graphs. NIPS Özgür Sümer, Umut A. Acar, Alexander Ihler, Ramgopal R. Mettu
2007	—	`conf`	Kinetic 3D convex hulls via self-adjusting computation. SCG Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan
2007	J	`jnl`	Provenance as Dependency Analysis CoRR James Cheney, Amal Ahmed, Umut A. Acar
2007	—	`conf`	Provenance as Dependency Analysis. DBPL James Cheney, Amal Ahmed, Umut A. Acar
2007	—	`conf`	SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. IMR Umut A. Acar, Benoît Hudson, Gary L. Miller, Todd Phillips
2006	J	`jnl`	Adaptive functional programming. ACM Trans. Program. Lang. Syst. Umut A. Acar, Guy E. Blelloch, Robert Harper
2006	A*	`conf`	An experimental analysis of self-adjusting computation. PLDI Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan
2006	A	`conf`	Extensible programming with first-class cases. ICFP Matthias Blume, Umut A. Acar, Wonseok Chae
2006	A	`conf`	Kinetic Algorithms Via Self-adjusting Computation. ESA Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes
2005	—	`conf`	A Library for Self-Adjusting Computation. ML Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
2005	—	`conf`	An Experimental Analysis of Change Propagation in Dynamic Trees. ALENEX/ANALCO Umut A. Acar, Guy E. Blelloch, Jorge L. Vittes
2004	A*	`conf`	Dynamizing static algorithms, with applications to dynamic trees and history independence. SODA Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo
2003	A*	`conf`	Selective memoization. POPL Umut A. Acar, Guy E. Blelloch, Robert Harper
2002	A*	`conf`	Adaptive functional programming. POPL Umut A. Acar, Guy E. Blelloch, Robert Harper
2002	J	`jnl`	The Data Locality of Work Stealing. Theory Comput. Syst. Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe
2000	B	`conf`	The data locality of work stealing. SPAA Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe