Functional Programs that Explain their Work 

Submitted to International Conference on Functional Programming 2012 (online version, with more detailed proofs)

Roly Perera, Umut A. Acar, James Cheney, Paul Blaine Levy.

Greedy Sharing: Load Balancing on Weakly Consistent Memory. 

Submitted to Symposium on Parallelism in Algorithms and Architectures, 2012. 

Umut A. Acar, Arthur Chargueraud, Mike Raine

Implicit Self-Adjusting Computation for Purely Functional Programs

Submitted to Journal of Functional Programming. 

Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

A consistent semantics of self-adjusting computation

Submitted to Journal of Functional Programming. 

Umut A. Acar, Matthias Blume, Jake Donham. 

Dynamic well-spaced point sets 

Submitted to Journal of Computational Geometry, Theory and Applications. 

Umut A Acar,  Andy Cotter, Benoit Hudson, Duru Turkoglu.