Papers by Venue

Also available as categorized 

Books

Book Chapters

Incoop: MapReduce for Incremental Computations. (Draft)
Invited book chapter.  
Advances in data processing techniques in the era of Big Data. CRC Press.
Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues.

Notes for Advanced Functional Programming Summer School (AFP) Lectures. 2008.
Umut A. Acar and Ruy Ley-Wild.

Journals

Journal of Functional Programming  (JFP).  2014.
Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

Journal of Computer Security (JCS).  2013.
Invited Paper for the Special Issue for the First Conference on Principles of Security and Trust. 
Umut A. Acar, Amal Ahmed, James Cheney, and Roly Perera.

A consistent semantics of self-adjusting computation
Journal of Functional Programming.  2013. 
The complete Twelf proof: as a text file, and as a tar ball
Umut A. Acar, Matthias Blume, Jake Donham. 

Journal of Computational Geometry, Theory and Applications. 2013.  
Umut A Acar,  Andy Cotter, Benoit Hudson, Duru Turkoglu.

Journal of Machine Learning Research (JMLR)  2011.
Ozgur Sumer, Umut A. Acar, Alexander Ihler, and Ramgopal Mettu. 

Provenance as Dependency Analysis.
Mathematical Structures in Computer Science (MSCS), 21(06).
Special Issue on
 Programming Language Interference and Dependence. 2011.
James Cheney, Amal Ahmed, and Umut A. Acar.

ACM Transactions on Programming Languages and Systems (TOPLAS). 2009.
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, and Kanat Tangwongsan.

ACM Transactions on Programming Languages and Systems (TOPLAS). 2006.
Umut A. Acar, Guy E. Blelloch, and Robert Harper.

Theory of Computing Systems 35(3) (TOCS). 2002.
Umut A. Acar, Guy E. Blelloch, and Robert D. Blumofe.
(Invited paper.)

Conferences

International Conference on Functional Programming (ICFP). 2014.
Yan Chen, Umut A. Acar, and Kanat Tangwongsan.

Theory and Practice of Chunked Sequences.
European Symposium on Algorithms (ESA). 2014.
Umut A. Acar, Arthur Chargueraud, Mike Rainey.

Database Queries that Explain their Work.
International Symposium on Principles and Practice of Declarative Programming (PPDP). 2014.
James Cheney, Amal Ahmed, Umut A. Acar. 2014.

Slider: Incremental Sliding Window Analytics.
ACM/IFIP/Usenix Middleware. 2014.
Pramod Bhatotia, Umut A. Acar, Flavio P. Junqueira, Rodrigo Rodrigues.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2013.
Umut A. Acar, Arthur Chargueraud, and Mike Rainey.

International Conference on Functional Programming (ICFP) 2012.  
Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy.

Programming Language Design and Implementation (PLDI) 2012.
Yan Chen, Joshua Dunfield, Umut A. Acar.

European Symposium on Programming (ESOP) 2012. 
Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch.

Conference on Principles of Security and Trust (POST) 2012. 
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera. 

ACM Symposium on Cloud Computing (SoCC). 2011.
Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar,  Rafael Pasquini.
(Invited book chapter in CRC Press' Big-Data Book.)

Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages. 
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).  2011.
Umut A. Acar, Arthur Chargueraud, Mike Rainey. 

Self-Adjusting Stack Machines.
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2011.
Matthew Hammer, Georg Neis, Yan Chen, Umut A. Acar. 

Implicit Self-Adjusting Computation for Purely Functional Programs.
Proceedings of the International Conference on Functional Programming (ICFP). 2011.
Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.
Proceedings of the Conference on Artificial Intelligence (AAAI). 2011.
Ozgur Sumer, Umut A. Acar, Alexander Ihler, Ramgopal Mettu.

Parallelism in Dynamic Well-Spaced Point Sets.
ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). 2011.
Umut A. Acar, Andy Cotter, Benoit Hudson, Duru Turkoglu.

Kinetic Mesh Refinement in 2D.
ACM Symposium on Computational Geometry (SCG). 2011.
Umut A. Acar, Benoit Hudson, Duru Turkoglu.

Traceable Data Types for Self-Adjusting Computation.
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2010.
Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, and Duru Turkoglu.

Dynamic Well-Spaced Point Sets.
ACM Symposium on Computational Geometry (SCG). 2010.
Umut A. Acar, Andrew Cotter, Benoit Hudson, and Duru Turkoglu.

CEAL: A C-Based Language for Self-Adjusting Computation.
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2009.
Full version. Toyota Technological Institute Technical Report.
Matthew Hammer, Umut A. Acar, and Yan Chen.

A Cost Semantics for Self-Adjusting Computation.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2009.
Full version. Carnegie Mellon University Technical Report.
Ruy Ley-Wild, Umut A. Acar, and Matthew Fluet.

Imperative Self-Adjusting Computation.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2008.
Full version. University of Chicago Technical Report 2007-18.

Umut A. Acar, Amal Ahmed, and Matthias Blume.
Compiling Self-Adjusting Programs with Continuations.
International Conference on Functional Programming (ICFP). 2008.
Ruy Ley-Wild, Matthew Fluet, and Umut A. Acar.

Memory Management for Self-Adjusting Computation.
International Symposium on Memory Management (ISMM). 2008.
Matthew Hammer and Umut A. Acar.

Exception Handlers as Extensible Cases.
Proceedings of the Sixth ASIAN Symposium on Programming Languages and Systems (APLAS). 2008.
Matthias Blume, Umut A. Acar, and Wonseok Chae.

Robust Kinetic Convex Hulls in 3D.
European Symposium on Algorithms (ESA). 2008.
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Duru Turkoglu.

Adaptive Inference on General Graphical Models.
Uncertainty in Artificial Intelligence (UAI). 2008.
Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

A Consistent Semantics of Self-Adjusting Computation.
European Symposium on Programming (ESOP). 2007.
Full version. Carnegie Mellon University. Technical Report CMU-CS-06-168.
Umut A. Acar, Matthias Blume, and Jacob Donham.

Provenance as Dependency Analysis.
International Symposium on Database Programming Languages (DBPL). 2007.
James Cheney, Amal Ahmed, and Umut A. Acar.

Adaptive Bayesian Inference.
Conference on Neural Information Processing Systems (NIPS). 2007.
Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

Kinetic 3D Convex Hulls via Self-Adjusting Computation (An Illustration).
ACM Symposium on Computational Geometry (SCG). 2007.
Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

SVR: Practical Enginnering of a Fast 3D Meshing Algorithm.
International Meshing Roundtable (IMR).
Umut A. Acar, Benoit Hudson, Gary L. Miller, and Todd Phillips.

A Novel SoC Design Methodology Combining Adaptive Software and Reconfigurable Hardware.
IEEE/ACM International Conference on Computer Aided Design (ICCAD). 2007.
Marco D. Santambrogio, Vincenzo Rana, Seda Ogrenci Memik, Umut A. Acar, and Donatella Sciuto.

An Experimental Analysis of Self-Adjusting Computation.
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2006.
Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan.

Extensible Programming with First-Class Cases.
International Conference on Functional Programming (ICFP). 2006.
Matthias Blume, Umut A. Acar, and Wonseok Chae.

Kinetic Algorithms via Self-Adjusting Computation.
European Symposium on Algorithms (ESA). 2006.
Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

Dynamizing Static Algorithms with Applications to Dynamic Trees and History Independence.
ACM-SIAM Symposium on Discrete Algorithms (SODA). 2004.
Umut A. Acar, Guy E. Blelloch, Robert Harper, Maverick Woo, and Jorge Vittes.

Selective Memoization.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2003.
Full version. Carnegie Mellon University. Technical Report CMU-CS-04-155.

Umut A. Acar, Guy E. Blelloch, and Robert Harper.
Adaptive Functional Programming.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2002.
Umut A. Acar, Guy E. Blelloch, and Robert Harper.

The Data Locality of Work Stealing.
ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2000.
Umut A. Acar, Guy E. Blelloch, and Robert D. Blumofe.

Workshops

Towards a Theory of Self-Explaining Computation.
Peter Buneman Festschrift.  
Lecture Notes in Computer Science, LNCS Volume 8000. 2013.
James Cheney, Umut A. Acar, and Roly Perera.

Off the Beaten Track Workshop.
Umut A. Acar, Ezgi Cicek, Deepak Garg.

Workshop on Data Driven Functional Programming.
Umut A. Acar and Yan Chen.

Implementing implicit self-adjusting computation.
ACM SIGPLAN Workshop on ML. 
2011.
Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar.

Large-scale Incremental Data Processing with Change Propagation.
USENIX Workshop on Hot Topics in Cloud Computing (HotCloud). 2011.
Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar.

A graph model of data and workflow provenance.
USENIX/ACM Workshop on the Theory and Practice of Provenance (TAPP). 2010.
Umut Acar, Peter Buneman, James Cheney, Jan Van den Buscsche, Natalia Kwasnikowska, Stijn Vansummeren.

Kinetic Mesh Refinement in 2D.
Fall Workshop on Computational Geometry, 2010.
Umut A. Acar, Benoit Hudson, and Duru Turkoglu.

Plenary Talk at ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM). 2009.
Umut A. Acar.

Adaptive Updates for MAP Configurations with Applications to Bioinformatics.
IEEE/SP 15th Workshop on Statistical Signal Processing (SSP). 2009.
Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

Speculative N-Way Barriers.
Workshop on Declarative Aspects of Multicore Programming (DAMP). 2009.
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, and Umut A. Acar.

A Dynamic Algorithm for Well-Spaced Point Sets.
Fall Workshop on Computational Geometry. 2009.
Umut A. Acar, Benoit Hudson, and Duru Turkoglu.

Workshop on Declarative Aspects of Multicore Programming (DAMP). 2007.
Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, and Anwar Ghuloum.

Optimal-Time Dynamic Mesh Refinement: Preliminary Results.
Fall Workshop on Computational Geometry. 2006.
Umut A. Acar and Benoit Hudson.

ACM-SIGPLAN Workshop on ML. 2005.
Also in Electronic Notes in Theoretical Computer Science (ENTCS). 148 (2).
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, and Kanat Tangwongsan.

ACM-SIAM Workshop on Algorithm Engineering and Experiments (ALENEX). 2005.
Umut A. Acar, Guy E. Blelloch, Jorge Vittes.


Theses

Ph.D. Thesis.  University of Chicago. 2012.
Matthew Hammer.

Ph.D. Thesis.  University of Chicago. 2012.
Ozgur Sumer.

Ph.D. Thesis.  University of Chicago. 2012.
Duru Turkoglu.

Ph.D. Thesis. Carnegie Mellon University. 2010.
Ruy Ley-Wild.

PhD. Thesis. Carnegie Mellon University. 2005.  
Umut A. Acar.

Manuscripts

arXiv:0812.0564v1. 2008.
James Cheney, Umut Acar, Amal Ahmed.