Umut A. Acar
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [c63]Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey:
Provably and practically efficient granularity control. PPoPP 2019: 214-228 - [r1]Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues:
Incremental Sliding Window Analytics. Encyclopedia of Big Data Technologies 2019 - 2018
- [j13]Stefan K. Muller, Umut A. Acar, Robert Harper:
Competitive parallelism: getting your priorities right. PACMPL 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. Journal of Computer Security 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]
- [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. Journal of Machine Learning Research 12: 3147-3186 (2011) - [j5]James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as dependency analysis. Mathematical Structures in Computer Science 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 Pasquin:
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]
- [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]
- [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]
- [c17]
- [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]
- 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]
- [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. Electr. 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]
- 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]
- 2000
- [c1]Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe:
The data locality of work stealing. SPAA 2000: 1-12
Coauthor Index
last updated on 2019-02-16 23:15 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint