Umut A. Acar

Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu: Dynamic well-spaced point sets. Comput. Geom. 46(6): 756-773 (2013)

Umut A. Acar, Yan Chen: Streaming big data with self-adjusting computation. DDFP 2013: 15-18

Umut A. Acar, Arthur Charguéraud, Mike Rainey: Scheduling parallel programs by work stealing with private deques. PPOPP 2013: 219-228

Umut A. Acar, James Cheney, Stephanie Weirich: Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. 22(4-5): 379-381 (2012)

Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch: Non-monotonic Self-Adjusting Computation. ESOP 2012: 476-496

Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy: Functional programs that explain their work. ICFP 2012: 365-376

Yan Chen, Joshua Dunfield, Umut A. Acar: Type-directed automatic incrementalization. PLDI 2012: 299-310

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera: A Core Calculus for Provenance. POST 2012: 410-429

Umut A. Acar, Vítor Santos Costa (Eds.): 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

Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer: Adaptive Inference on General Graphical Models. CoRR abs/1206.3234 (2012)

Ö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)

James Cheney, Amal Ahmed, Umut A. Acar: Provenance as dependency analysis. Mathematical Structures in Computer Science 21(6): 1301-1337 (2011)

Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu: Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. AAAI 2011

Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquin: Incoop: MapReduce for incremental computations. SoCC 2011: 7

Umut A. Acar, Benoît Hudson, Duru Türkoglu: Kinetic mesh refinement in 2D. Symposium on Computational Geometry 2011: 341-350

Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar: Implicit self-adjusting computation for purely functional programs. ICFP 2011: 129-141

Umut A. Acar, Arthur Charguéraud, Mike Rainey: Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA 2011: 499-518

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar: Self-adjusting stack machines. OOPSLA 2011: 753-772

Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu: Parallelism in dynamic well-spaced point sets. SPAA 2011: 33-42

Umut A. Acar, Guy E. Blelloch, Robert Harper: Selective Memoization. CoRR abs/1106.0447 (2011)

Umut A. Acar, Matthias Blume, Jacob Donham: A Consistent Semantics of Self-Adjusting Computation. CoRR abs/1106.0478 (2011)

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar: Self-Adjusting Stack Machines. CoRR abs/1108.3265 (2011)

Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu: Dynamic well-spaced point sets. Symposium on Computational Geometry 2010: 314-323

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

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) (2009)

Umut A. Acar: Self-adjusting computation: (an overview). PEPM 2009: 1-6

Matthew A. Hammer, Umut A. Acar, Yan Chen: CEAL: a C-based language for self-adjusting computation. PLDI 2009: 25-37

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar: Speculative N-Way barriers. DAMP 2009: 1-12

Ruy Ley-Wild, Umut A. Acar, Matthew Fluet: A cost semantics for self-adjusting computation. POPL 2009: 186-199

Umut A. Acar, Ruy Ley-Wild: Self-adjusting Computation with Delta ML. Advanced Functional Programming 2008: 1-38

Matthias Blume, Umut A. Acar, Wonseok Chae: Exception Handlers as Extensible Cases. APLAS 2008: 273-289

Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu: Robust Kinetic Convex Hulls in 3D. ESA 2008: 29-40

Ruy Ley-Wild, Matthew Fluet, Umut A. Acar: Compiling self-adjusting programs with continuations. ICFP 2008: 321-334

Matthew A. Hammer, Umut A. Acar: Memory management for self-adjusting computation. ISMM 2008: 51-60

Umut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322

Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer: Adaptive inference on general graphical models. UAI 2008: 1-8

James Cheney, Umut A. Acar, Amal Ahmed: Provenance Traces. CoRR abs/0812.0564 (2008)

Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan: Kinetic 3D convex hulls via self-adjusting computation. Symposium on Computational Geometry 2007: 129-130

James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152

Umut A. Acar, Matthias Blume, Jacob Donham: A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474

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

Umut A. Acar, Benoît Hudson, Gary L. Miller, Todd Phillips: SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. IMR 2007: 45-62

Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu: Efficient Bayesian Inference for Dynamically Changing Graphs. NIPS 2007

Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum: A proposal for parallel self-adjusting computation. DAMP 2007: 3-9

James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. CoRR abs/0708.2173 (2007)

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)

Umut A. Acar, Guy E. Blelloch, Robert Harper: Adaptive functional programming. ACM Trans. Program. Lang. Syst. 28(6): 990-1034 (2006)

Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes: Kinetic Algorithms Via Self-adjusting Computation. ESA 2006: 636-647

Matthias Blume, Umut A. Acar, Wonseok Chae: Extensible programming with first-class cases. ICFP 2006: 239-250

Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan: An experimental analysis of self-adjusting computation. PLDI 2006: 96-107

Umut A. Acar, Guy E. Blelloch, Jorge L. Vittes: An Experimental Analysis of Change Propagation in Dynamic Trees. ALENEX/ANALCO 2005: 41-54

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

Umut A. Acar, Guy E. Blelloch, Robert Harper: Selective memoization. POPL 2003: 14-25

Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe: The Data Locality of Work Stealing. Theory Comput. Syst. 35(3): 321-347 (2002)

Umut A. Acar, Guy E. Blelloch, Robert Harper: Adaptive functional programming. POPL 2002: 247-259

Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe: The data locality of work stealing. SPAA 2000: 1-12