2009 |
28 | EE | Umut A. Acar:
Self-adjusting computation: (an overview).
PEPM 2009: 1-6 |
27 | EE | Ruy Ley-Wild,
Umut A. Acar,
Matthew Fluet:
A cost semantics for self-adjusting computation.
POPL 2009: 186-199 |
2008 |
26 | EE | Matthias Blume,
Umut A. Acar,
Wonseok Chae:
Exception Handlers as Extensible Cases.
APLAS 2008: 273-289 |
25 | EE | Umut A. Acar,
Guy E. Blelloch,
Kanat Tangwongsan,
Duru Türkoglu:
Robust Kinetic Convex Hulls in 3D.
ESA 2008: 29-40 |
24 | EE | Ruy Ley-Wild,
Matthew Fluet,
Umut A. Acar:
Compiling self-adjusting programs with continuations.
ICFP 2008: 321-334 |
23 | EE | Matthew Hammer,
Umut A. Acar:
Memory management for self-adjusting computation.
ISMM 2008: 51-60 |
22 | EE | Umut A. Acar,
Amal Ahmed,
Matthias Blume:
Imperative self-adjusting computation.
POPL 2008: 309-322 |
21 | EE | Umut A. Acar,
Alexander T. Ihler,
Ramgopal R. Mettu,
Özgür Sümer:
Adaptive inference on general graphical models.
UAI 2008: 1-8 |
20 | EE | James Cheney,
Umut A. Acar,
Amal Ahmed:
Provenance Traces
CoRR abs/0812.0564: (2008) |
2007 |
19 | EE | Matthew Hammer,
Umut A. Acar,
Mohan Rajagopalan,
Anwar M. Ghuloum:
A proposal for parallel self-adjusting computation.
DAMP 2007: 3-9 |
18 | EE | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis.
DBPL 2007: 138-152 |
17 | EE | Umut A. Acar,
Matthias Blume,
Jacob Donham:
A Consistent Semantics of Self-adjusting Computation.
ESOP 2007: 458-474 |
16 | EE | 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 |
15 | EE | Umut A. Acar,
Benoît Hudson,
Gary Miller,
Todd Phillips:
SVR: Practical Engineering of a Fast 3D Meshing Algorithm*.
IMR 2007: 45-62 |
14 | EE | Özgür Sümer,
Umut A. Acar,
Alexander T. Ihler,
Ramgopal R. Mettu:
Efficient Bayesian Inference for Dynamically Changing Graphs.
NIPS 2007 |
13 | EE | Umut A. Acar,
Guy E. Blelloch,
Kanat Tangwongsan:
Kinetic 3D convex hulls via self-adjusting computation.
Symposium on Computational Geometry 2007: 129-130 |
12 | EE | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis
CoRR abs/0708.2173: (2007) |
2006 |
11 | EE | Umut A. Acar,
Guy E. Blelloch,
Kanat Tangwongsan,
Jorge L. Vittes:
Kinetic Algorithms Via Self-adjusting Computation.
ESA 2006: 636-647 |
10 | EE | Matthias Blume,
Umut A. Acar,
Wonseok Chae:
Extensible programming with first-class cases.
ICFP 2006: 239-250 |
9 | EE | Umut A. Acar,
Guy E. Blelloch,
Matthias Blume,
Kanat Tangwongsan:
An experimental analysis of self-adjusting computation.
PLDI 2006: 96-107 |
8 | EE | Umut A. Acar,
Guy E. Blelloch,
Robert Harper:
Adaptive functional programming.
ACM Trans. Program. Lang. Syst. 28(6): 990-1034 (2006) |
7 | EE | 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) |
2005 |
6 | EE | Umut A. Acar,
Guy E. Blelloch,
Jorge L. Vittes:
An Experimental Analysis of Change Propagation in Dynamic Trees.
ALENEX/ANALCO 2005: 41-54 |
2004 |
5 | EE | 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 |
4 | EE | Umut A. Acar,
Guy E. Blelloch,
Robert Harper:
Selective memoization.
POPL 2003: 14-25 |
2002 |
3 | EE | Umut A. Acar,
Guy E. Blelloch,
Robert Harper:
Adaptive functional programming.
POPL 2002: 247-259 |
2 | EE | Umut A. Acar,
Guy E. Blelloch,
Robert D. Blumofe:
The Data Locality of Work Stealing.
Theory Comput. Syst. 35(3): 321-347 (2002) |
2000 |
1 | EE | Umut A. Acar,
Guy E. Blelloch,
Robert D. Blumofe:
The data locality of work stealing.
SPAA 2000: 1-12 |