Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarUmut A. Acar
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j15]Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar:
Disentanglement in nested-parallel programs. Proc. ACM Program. Lang. 4(POPL): 47:1-47:32 (2020)- [c66]Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee:
Responsive parallelism with futures and state. PLDI 2020: 577-591 - [i14]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 abs/2002.05129 (2020) - [i13]Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee:
Responsive Parallelism with Futures and State. CoRR abs/2004.02870 (2020)
2010 – 2019
- 2019
- [j14]Stefan K. Muller, Sam Westrick, Umut A. Acar:
Fairness in responsive parallelism. Proc. ACM Program. Lang. 3(ICFP): 81:1-81:30 (2019) - [c65]Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey:
Provably and practically efficient granularity control. PPoPP 2019: 214-228 - [c64]Rohan Yadav, Umut A. Acar:
A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). SPAA 2019: 343-344 - [c63]Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala:
Parallel Batch-Dynamic Graph Connectivity. SPAA 2019: 381-392 - [r1]Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues:
Incremental Sliding Window Analytics. Encyclopedia of Big Data Technologies 2019 - [i12]Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala:
Parallel Batch-Dynamic Graph Connectivity. CoRR abs/1903.08794 (2019) - 2018
- [j13]Stefan K. Muller, Umut A. Acar, Robert Harper:
Competitive parallelism: getting your priorities right. Proc. ACM Program. Lang. 2(ICFP): 95:1-95:30 (2018) - [c62]Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski:
Heartbeat scheduling: provable efficiency for nested parallelism. PLDI 2018: 769-782 - [c61]Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet:
Hierarchical memory management for mutable state. PPOPP 2018: 81-93 - [c60]Umut A. Acar, Vitaly Aksenov
, Arthur Charguéraud, Mike Rainey:
Performance challenges in modular parallel programs. PPOPP 2018: 381-382 - [i11]Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet:
Hierarchical Memory Management for Mutable State. CoRR abs/1801.04618 (2018) - [i10]Stefan K. Muller, Umut A. Acar, Robert Harper:
Competitive Parallelism: Getting Your Priorities Right. CoRR abs/1807.03703 (2018) - 2017
- [c59]Stefan K. Muller, Umut A. Acar, Robert Harper:
Responsive parallel computation: bridging competitive and cooperative threading. PLDI 2017: 677-692 - [c58]Umut A. Acar, Naama Ben-David, Mike Rainey:
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. PPOPP 2017: 75-88 - [c57]Umut A. Acar, Vitaly Aksenov, Sam Westrick:
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. SPAA 2017: 275-277 - [i9]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Parallel Work Inflation, Memory Effects, and their Empirical Analysis. CoRR abs/1709.03767 (2017) - 2016
- [j12]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. J. Funct. Program. 26: e23 (2016) - [c56]Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian:
Automatically Splitting a Two-Stage Lambda Calculus. ESOP 2016: 255-281 - [c55]Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski:
Dag-calculus: a calculus for parallel computation. ICFP 2016: 18-32 - [c54]Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch:
Hierarchical memory management for parallel programs. ICFP 2016: 392-406 - [c53]Stefan K. Muller, Umut A. Acar:
Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. SPAA 2016: 71-82 - 2015
- [c52]Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues:
iThreads: A Threading Library for Parallel Incremental Computation. ASPLOS 2015: 645-659 - [c51]Ezgi Çiçek, Deepak Garg, Umut A. Acar:
Refinement Types for Incremental Computational Complexity. ESOP 2015: 406-431 - [c50]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
A work-efficient algorithm for parallel unordered depth-first search. SC 2015: 67:1-67:12 - [c49]Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan:
Coupling Memory and Computation for Locality Management. SNAPL 2015: 1-14 - 2014
- [j11]Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24(1): 56-112 (2014) - [c48]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Theory and Practice of Chunked Sequences. ESA 2014: 25-36 - [c47]Yan Chen, Umut A. Acar, Kanat Tangwongsan:
Functional programming for dynamic and large data with self-adjusting computation. ICFP 2014: 227-240 - [c46]Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues:
Slider: incremental sliding window analytics. Middleware 2014: 61-72 - [c45]James Cheney, Amal Ahmed, Umut A. Acar:
Database Queries that Explain their Work. PPDP 2014: 271-282 - [p1]Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues:
Incremental MapReduce Computations. Large Scale and Big Data 2014: 127-150 - [i8]James Cheney, Amal Ahmed, Umut A. Acar:
Database Queries that Explain their Work. CoRR abs/1408.1675 (2014) - 2013
- [j10]Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu:
Dynamic well-spaced point sets. Comput. Geom. 46(6): 756-773 (2013) - [j9]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A core calculus for provenance. J. Comput. Secur. 21(6): 919-969 (2013) - [j8]Umut A. Acar, Matthias Blume, Jacob Donham:
A consistent semantics of self-adjusting computation. J. Funct. Program. 23(3): 249-292 (2013) - [c44]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: 193-216 - [c43]Umut A. Acar, Yan Chen:
Streaming big data with self-adjusting computation. DDFP 2013: 15-18 - [c42]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Scheduling parallel programs by work stealing with private deques. PPOPP 2013: 219-228 - [e3]Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold:
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013. ACM 2013, ISBN 978-1-4503-2381-9 [contents] - [i7]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. CoRR abs/1310.6299 (2013) - 2012
- [j7]Umut A. Acar, James Cheney, Stephanie Weirich:
Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012) - [c41]Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch:
Non-monotonic Self-Adjusting Computation. ESOP 2012: 476-496 - [c40]Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy:
Functional programs that explain their work. ICFP 2012: 365-376 - [c39]Yan Chen, Joshua Dunfield, Umut A. Acar:
Type-directed automatic incrementalization. PLDI 2012: 299-310 - [c38]Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera:
A Core Calculus for Provenance. POST 2012: 410-429 - [e2]Umut A. Acar, Vítor Santos Costa:
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, ISBN 978-1-4503-1117-5 [contents] - [e1]Umut A. Acar, Todd J. Green:
4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012. USENIX Association 2012 [contents] - [i6]Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer:
Adaptive Inference on General Graphical Models. CoRR abs/1206.3234 (2012) - 2011
- [j6]Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu:
Adaptive Exact Inference in Graphical Models. J. Mach. Learn. Res. 12: 3147-3186 (2011) - [j5]James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as dependency analysis. Math. Struct. Comput. Sci. 21(6): 1301-1337 (2011) - [c37]Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu:
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. AAAI 2011 - [c36]Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini:
Incoop: MapReduce for incremental computations. SoCC 2011: 7 - [c35]Umut A. Acar, Benoît Hudson, Duru Türkoglu:
Kinetic mesh refinement in 2D. Symposium on Computational Geometry 2011: 341-350 - [c34]Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar:
Large-scale Incremental Data Processing with Change Propagation. HotCloud 2011 - [c33]Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. ICFP 2011: 129-141 - [c32]Umut A. Acar, Arthur Charguéraud, Mike Rainey:
Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA 2011: 499-518 - [c31]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-adjusting stack machines. OOPSLA 2011: 753-772 - [c30]Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu:
Parallelism in dynamic well-spaced point sets. SPAA 2011: 33-42 - [i5]Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective Memoization. CoRR abs/1106.0447 (2011) - [i4]Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-Adjusting Computation. CoRR abs/1106.0478 (2011) - [i3]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-Adjusting Stack Machines. CoRR abs/1108.3265 (2011) - 2010
- [c29]Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu:
Dynamic well-spaced point sets. Symposium on Computational Geometry 2010: 314-323 - [c28]Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu:
Traceable data types for self-adjusting computation. PLDI 2010: 483-496 - [c27]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
2000 – 2009
- 2009
- [j4]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): 3:1-3:53 (2009) - [c26]Umut A. Acar:
Self-adjusting computation: (an overview). PEPM 2009: 1-6 - [c25]Matthew A. Hammer, Umut A. Acar, Yan Chen:
CEAL: a C-based language for self-adjusting computation. PLDI 2009: 25-37 - [c24]Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. DAMP 2009: 1-12 - [c23]Ruy Ley-Wild, Umut A. Acar, Matthew Fluet:
A cost semantics for self-adjusting computation. POPL 2009: 186-199 - 2008
- [c22]Umut A. Acar, Ruy Ley-Wild:
Self-adjusting Computation with Delta ML. Advanced Functional Programming 2008: 1-38 - [c21]Matthias Blume, Umut A. Acar, Wonseok Chae:
Exception Handlers as Extensible Cases. APLAS 2008: 273-289 - [c20]Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu:
Robust Kinetic Convex Hulls in 3D. ESA 2008: 29-40 - [c19]Ruy Ley-Wild, Matthew Fluet, Umut A. Acar:
Compiling self-adjusting programs with continuations. ICFP 2008: 321-334 - [c18]Matthew A. Hammer, Umut A. Acar:
Memory management for self-adjusting computation. ISMM 2008: 51-60 - [c17]Umut A. Acar, Amal Ahmed, Matthias Blume:
Imperative self-adjusting computation. POPL 2008: 309-322 - [c16]Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer:
Adaptive inference on general graphical models. UAI 2008: 1-8 - [i2]James Cheney, Umut A. Acar, Amal Ahmed:
Provenance Traces. CoRR abs/0812.0564 (2008) - 2007
- [c15]Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan:
Kinetic 3D convex hulls via self-adjusting computation. Symposium on Computational Geometry 2007: 129-130 - [c14]James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. DBPL 2007: 138-152 - [c13]Umut A. Acar, Matthias Blume, Jacob Donham:
A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474 - [c12]Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto:
A novel SoC design methodology combining adaptive software and reconfigurable hardware. ICCAD 2007: 303-308 - [c11]Umut A. Acar, Benoît Hudson, Gary L. Miller, Todd Phillips:
SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. IMR 2007: 45-62 - [c10]Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu:
Efficient Bayesian Inference for Dynamically Changing Graphs. NIPS 2007: 1441-1448 - [c9]Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum:
A proposal for parallel self-adjusting computation. DAMP 2007: 3-9 - [i1]James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. CoRR abs/0708.2173 (2007) - 2006
- [j3]Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
A Library for Self-Adjusting Computation. Electron. Notes Theor. Comput. Sci. 148(2): 127-154 (2006) - [j2]Umut A. Acar, Guy E. Blelloch, Robert Harper:
Adaptive functional programming. ACM Trans. Program. Lang. Syst. 28(6): 990-1034 (2006) - [c8]Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes:
Kinetic Algorithms Via Self-adjusting Computation. ESA 2006: 636-647 - [c7]Matthias Blume, Umut A. Acar, Wonseok Chae:
Extensible programming with first-class cases. ICFP 2006: 239-250 - [c6]Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan:
An experimental analysis of self-adjusting computation. PLDI 2006: 96-107 - 2005
- [c5]Umut A. Acar, Guy E. Blelloch, Jorge L. Vittes:
An Experimental Analysis of Change Propagation in Dynamic Trees. ALENEX/ANALCO 2005: 41-54 - 2004
- [c4]Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo:
Dynamizing static algorithms, with applications to dynamic trees and history independence. SODA 2004: 531-540 - 2003
- [c3]Umut A. Acar, Guy E. Blelloch, Robert Harper:
Selective memoization. POPL 2003: 14-25 - 2002
- [j1]Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe:
The Data Locality of Work Stealing. Theory Comput. Syst. 35(3): 321-347 (2002) - [c2]Umut A. Acar, Guy E. Blelloch, Robert Harper:
Adaptive functional programming. POPL 2002: 247-259 - 2000
- [c1]Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe:
The data locality of work stealing. SPAA 2000: 1-12
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-11 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
