Also available as categorized by year.

Many real-world problems involve dynamically changing data sets (including both discrete and continuous changes, e.g., as in motion). In our work, we develop algorithms that operate efficiently on dynamically changing data. Such algorithms can be very complex, especially if they are to be used in practice. We therefore also develop and apply general principles that bestow algorithm the ability to respond to changes to their data automatically.

Parallel Batch-Dynamic Graph Connectivity.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2019.

Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala.

Brief Announcement: Work Efficient Parallel Graph Isomorphism.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2019.

Rohan Yadav, Umut A. Acar.Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2017.

Full version. Carnegie Mellon University. Technical Report CMU-CS-16-133.

Umut A. Acar, Naama Ben-David, Mike Rainey.

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2016.

Umut A. Acar, Vitaly Aksenov, and Sam Westrick.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2016.

Stefan K. Muller and Umut A. Acar.

The full version can be found here.

A Work-Efficient Algorithm for Parallel Unordered Depth-First Search.

ACM/IEEE Conference on High Performance Computing (SC). 2015.

Umut A. Acar, Arthur Chargueraud, Mike Rainey.

The full version can be found here.

Theory and Practice of Chunked Sequences.

European Symposium on Algorithms (ESA). 2014.

Umut A. Acar, Arthur Chargueraud, Mike Rainey.

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

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

Duru Turkoglu.

ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). 2011.Umut A. Acar, Andy Cotter, Benoit Hudson, Duru Turkoglu.

ACM Symposium on Computational Geometry (SCG). 2011.Umut A. Acar, Benoit Hudson, Duru Turkoglu.

ACM Symposium on Computational Geometry (SCG). 2010.Umut A. Acar, Andrew Cotter, Benoit Hudson, and Duru Turkoglu.

European Symposium on Algorithms (ESA). 2008.Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Duru Turkoglu.

ACM Symposium on Computational Geometry (SCG). 2007.Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

International Meshing Roundtable (IMR). 2007.Umut A. Acar, Benoit Hudson, Gary L. Miller, and Todd Phillips.

Kinetic Algorithms via Self-Adjusting Computation.

European Symposium on Algorithms (ESA). 2006.

Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

Fall Workshop on Computational Geometry. 2006.Umut A. Acar and Benoit Hudson.

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

ACM-SIAM Symposium on Discrete Algorithms (SODA). 2005.Umut A. Acar, Guy E. Blelloch, Robert Harper, Maverick Woo, and Jorge Vittes.

Disentanglement refers to a memory property of many parallel algorithms: the memory allocated by concurrent computations remain independent and unknown to each other. This property is common and appears to be a fundamental one, probably because parallelism dictates some degree of separation. For example, all data-race-free programs, including purely functional programs, are disentangled. Many parallel programs with data races are also disentangled. Using disentanglement, it is possible to integrate scheduling and memory management to improve overall efficiency and performance of parallel programs, by solving key challenges due to communication costs that may appear inherent to parallelism. In this work, we study the theory and practice of disentanglement and apply it to develop a new compiler and run-time for the Parallel ML language, which extends the ML language.

Disentanglement in Nested-Parallel Programs.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2020.

Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar.

Hierarchical Memory Management for Mutable State.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018.Full paper on ArXiV.

Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet

Hierarchical Memory Management for Parallel Programs.

ACM International Conference on Functional Programming (ICFP). 2016.

Ram Raghunathan, Stefan K. Muller, Umut A. Acar, and Guy Blelloch.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2020.

Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar.

Hierarchical Memory Management for Mutable State.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018.

Full paper on ArXiV.Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet

Hierarchical Memory Management for Parallel Programs.

ACM International Conference on Functional Programming (ICFP). 2016.

Ram Raghunathan, Stefan K. Muller, Umut A. Acar, and Guy Blelloch.

## Machine Learning

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

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

Proceedings of the Conference on Artificial Intelligence (AAAI). 2011.Ozgur Sumer, Umut A. Acar, Alexander Ihler, Ramgopal Mettu.

IEEE/SP 15th Workshop on Statistical Signal Processing (SSP). 2009.Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

Uncertainty in Artificial Intelligence (UAI). 2008.Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

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

## Parallel Computation

Usually motivated by increased parallelism in hardware and computing systems, parallelism research may be viewed as a natural evolution of computer science. I view sequential computing as a stunted phase in the history of computing and expect it to be short lived. Concretely put, sequential computing is P = 1, and is therefore a fundamentally uninteresting "edge case" on its own. Parallelism however is a hard problem. In my view solving it will require bringing together the two computationally equivalent but decidedly distinct theories of computing, by Church and Turing. This is what we do in our work. It addition to its relatively broad theoretical foundation, the work is also realized on modern hardware and languages (including powerful languages such as the ML family and boring ones such as C/C++).

Fairness in Responsive Parallelism.

ACM International Conference on Functional Programming (ICFP). 2019.

Stefan K. Muller, Sam Westrick, Umut A. AcarProvably and Practically Efficient Granularity Control.

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

Parallel Batch-Dynamic Graph Connectivity.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2019.

Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala.

Brief Announcement: Work Efficient Parallel Graph Isomorphism.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2019.

Rohan Yadav, Umut A. Acar.

Disentanglement, Theory and PracticeRohan Yadav. B.S. Thesis. 2019.

Competitive Parallelism: Getting your Priorities Right.

ACM International Conference on Functional Programming (ICFP). 2018.Full paper on ArXiV.Stefan K. Muller, Umut A. Acar, Robert Harper.

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism.

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2018.

Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski.

Hierarchical Memory Management for Mutable State.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018.Full paper on ArXiV.Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet.

Poster: Performance Challenges in Modular Parallel Programs.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018

Umut A. Acar, Vitaly Aksenov, Arthur Chargueraud, Mike Rainey.

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2017.Stefan K. Muller, Umut A. Acar, Robert Harper.Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2017.

Full version. Carnegie Mellon University. Technical Report CMU-CS-16-133.

Umut A. Acar, Naama Ben-David, Mike Rainey.

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2016.

Umut A. Acar, Vitaly Aksenov, and Sam Westrick.

Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages.

Journal of Functional Programming Special Issue on Parallel Computing (JFP). 2016.

Umut A. Acar, Arthur Chargueraud, and Mike Rainey.

Dag-Calculus: A Calculus for Parallel Computation

ACM International Conference on Functional Programming (ICFP). 2016.Umut A. Acar, Arthur Chargueraud, Mike Rainey, Filip Sieczkowski.

Hierarchical Memory Management for Parallel Programs.

ACM International Conference on Functional Programming (ICFP). 2016.

Ram Raghunathan, Stefan K. Muller, Umut A. Acar, and Guy Blelloch.

Latency-Hiding Work Stealing.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2016.Stefan K. Muller and Umut A. Acar.

A Work-Efficient Algorithm for Parallel Unordered Depth-First Search.

ACM/IEEE Conference on High Performance Computing (SC). 2015.

Umut A. Acar, Arthur Chargueraud, Mike Rainey.

The full version can be found here.

Coupling Memory and Computation for Locality Management.

Summit on Advances in Programming Languages (SNAPL). 2015.

Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan Muller, Ram Raghunathan.

iThreads: A Threading Library for Parallel Incremental Computation.

International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS). 2015.

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjoern B. Brandenburg, Rodrigo Rodrigues

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.

Incoop: MapReduce for Incremental Computations. (Draft)

Advances in data processing techniques in the era of Big Data. CRC Press.

Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues.

(Invited chapter.)

ACM Workshop on Deterministic Aspects and Applications of Multicore Programming (DAMP). 2012.Umut A. Acar, Arthur Chargueraud, Mike Rainey.

ACM Symposium on Cloud Computing (SoCC). 2011.

Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini.

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.

Proceedings of the Conference on Artificial Intelligence (AAAI). 2011.Ozgur Sumer, Umut A. Acar, Alexander Ihler, Ramgopal Mettu.

USENIX Workshop on Hot Topics in Cloud Computing (HotCloud). 2011.Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar.

ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). 2011.Umut A. Acar, Andy Cotter, Benoit Hudson, Duru Turkoglu.

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

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

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

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2000.Umut A. Acar, Guy E. Blelloch, and Robert D. Blumofe.

## Programming Languages

If you were told that the world would be destroyed tomorrow and that you could transmit a 50 some characters of knowledge to the future, what would you choose? I would choose Lambda Calculus. If you don't know what that is and if you are a student of Computer Science and Mathematics, you must start learning about it now. So go do it. Then come back and enjoy the papers below, which are nearly all inspired by it.

Fairness in Responsive Parallelism.

ACM International Conference on Functional Programming (ICFP). 2019.

Stefan K. Muller, Sam Westrick, Umut A. AcarProvably and Practically Efficient Granularity Control.

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

Disentanglement, Theory and PracticeRohan Yadav. B.S. Thesis. 2019.

Competitive Parallelism: Getting your Priorities Right.

ACM International Conference on Functional Programming (ICFP). 2018.Full paper on ArXiV.Stefan K. Muller, Umut A. Acar, Robert Harper.

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism.

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2018.

Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski.

Hierarchical Memory Management for Mutable State.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018.Full paper on ArXiV.Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet.

Poster: Performance Challenges in Modular Parallel Programs.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2018

Umut A. Acar, Vitaly Aksenov, Arthur Chargueraud, Mike Rainey.

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2017.Stefan K. Muller, Umut A. Acar, Robert Harper.

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP). 2017.Umut A. Acar, Naama Ben-David, Mike Rainey.

Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages.

Journal of Functional Programming Special Issue on Parallel Computing (JFP). 2016.

Umut A. Acar, Arthur Chargueraud, and Mike Rainey.

Dag-Calculus: A Calculus for Parallel Computation

ACM International Conference on Functional Programming (ICFP). 2016.Umut A. Acar, Arthur Chargueraud, Mike Rainey, Filip Sieczkowski.

Hierarchical Memory Management for Parallel Programs.

ACM International Conference on Functional Programming (ICFP). 2016.Ram Raghunathan, Stefan K. Muller, Umut A. Acar, and Guy Blelloch.

European Symposium on Programming (ESOP). 2016.Nicolas Feltman, Kayvon Fatahalian, Umut A. Acar, and Carlo Angiuli.A Work-Efficient Algorithm for Parallel Unordered Depth-First Search.

ACM/IEEE Conference on High Performance Computing (SC). 2015.

Umut A. Acar, Arthur Chargueraud, Mike Rainey.

The full version can be found here.

Bridging Theory and Practice in Interaction.

Summit on Advances in Programming Languages (SNAPL). 2015.

Stefan Muller and Umut A. Acar.

Coupling Memory and Computation for Locality Management.

Summit on Advances in Programming Languages (SNAPL). 2015.

Umut A. Acar, Guy Blelloch, Matthew Fluet, Stefan Muller, Ram Raghunathan.

iThreads: A Threading Library for Parallel Incremental Computation.

International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS). 2015.

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjoern B. Brandenburg, Rodrigo Rodrigues.

Refinement Types for Incremental Computation Complexity.

European Symposium on Programming (ESOP). 2015.

Ezgi Cicek, Deepak Garg, Umut A. Acar.

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

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

Database Queries that Explain their Work.

International Symposium on Principles and Practice of Declarative Programming. 2014.

James Cheney, Amal Ahmed, Umut A. Acar. 2014.

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

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

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

(Invited paper.)

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.

Towards a Theory of Self-Explaining Computation.Lecture Notes in Computer Science, LNCS Volume 8000. 2013.

James Cheney, Umut A. Acar, and Roly Perera.

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

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

International Conference on Functional Programming (ICFP) 2012.Roly Perera, Umut A. Acar, James Cheney, Paul Blaine 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.

A Core Calculus of Provenance.

First Conference on Principles of Security and Trust (POST) 2012.

Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera.

ACM Workshop on Deterministic Aspects and Applications of Multicore Programming (DAMP). 2012.Umut A. Acar, Arthur Chargueraud, Mike Rainey.

Implementing implicit self-adjusting computation.

ACM SIGPLAN Workshop on ML. 2011.

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

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.

Proceedings of the International Conference on Functional Programming (ICFP). 2011.Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

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-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2010.Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, and Duru Turkoglu.

Ph.D. Thesis. Carnegie Mellon University Technical Report.CMU-CS-10-146. 2010.Ruy Ley-Wild.

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

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2009.Matthew Hammer, Umut A. Acar, and Yan Chen.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2009.Ruy Ley-Wild, Umut A. Acar, and Matthew Fluet.

Workshop on Declarative Aspects of Multicore Programming (DAMP). 2009.Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, and Umut A. Acar.Plenary Talk at ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM). 2009.Umut A. Acar.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2008.Umut A. Acar, Amal Ahmed, and Matthias Blume.

International Conference on Functional Programming (ICFP). 2008.Ruy Ley-Wild, Matthew Fluet, and Umut A. Acar.

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

International Symposium on Memory Management (ISMM). 2008.Matthew Hammer and Umut A. Acar.

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

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

European Symposium on Programming (ESOP). 2007.Umut A. Acar, Matthias Blume, and Jacob Donham.

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

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

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

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2006.Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan.

International Conference on Functional Programming (ICFP). 2006.Matthias Blume, Umut A. Acar, and Wonseok Chae.

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.

PhD. Thesis. 2005.Umut A. Acar.

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

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

Database Queries that Explain their Work.

International Symposium on Principles and Practice of Declarative Programming. 2014.

James Cheney, Amal Ahmed, Umut A. Acar. 2014.

Lecture Notes in Computer Science, LNCS Volume 8000. 2013.

James Cheney, Umut A. Acar, and Roly Perera.

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

(Invited paper.)

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

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

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.

USENIX/ACM Workshop on the Theory and Practice of Provenance. 2010.Umut Acar, Peter Buneman, James Cheney, Jan Van den Buscsche, Natalia Kwasnikowska, Stijn Vansummeren.

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

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

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation.

ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2016.

Umut A. Acar, Vitaly Aksenov, and Sam Westrick.

iThreads: A Threading Library for Parallel Incremental Computation.

International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS). 2015.

Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Bjoern B. Brandenburg, Rodrigo Rodrigues

Refinement Types for Incremental Computation Complexity.

European Symposium on Programming (ESOP). 2015.

Ezgi Cicek, Deepak Garg, Umut A. Acar.

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

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

Slider: Incremental Sliding Window Analytics.

ACM/IFIP/Usenix Middleware. 2014.

Pramod Bhatotia, Umut A. Acar, Flavio P. Junqueira, Rodrigo Rodrigues.

Incoop: MapReduce for Incremental Computations. (Draft)

Advances in data processing techniques in the era of Big Data. CRC Press.

Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues.

(Invited chapter.)

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.

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

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

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.

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

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

USENIX Workshop on Hot Topics in Cloud Computing (HotCloud). 2011.Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut A. Acar.

Implementing implicit self-adjusting computation.

ACM SIGPLAN Workshop on ML. 2011.

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

ACM Symposium on Cloud Computing (SoCC).Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, Rafael Pasquini.

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.

Proceedings of the International Conference on Functional Programming (ICFP). 2011.Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). 2011.Umut A. Acar, Andy Cotter, Benoit Hudson, Duru Turkoglu.

ACM Symposium on Computational Geometry (SCG). 2011.

Umut A. Acar, Benoit Hudson, Duru Turkoglu.Proceedings of the Conference on Artificial Intelligence (AAAI). 2011.Ozgur Sumer, Umut A. Acar, Alexander Ihler, Ramgopal Mettu.

ACM Symposium on Computational Geometry (SCG). 2010.Umut A. Acar, Andrew Cotter, Benoit Hudson, and Duru Turkoglu.

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.

Ph.D. Thesis. Carnegie Mellon University Technical Report. 2010.CMU-CS-10-146.Ruy Ley-Wild.

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

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2009.Matthew Hammer, Umut A. Acar, and Yan Chen.

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2009.Ruy Ley-Wild, Umut A. Acar, and Matthew Fluet.

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

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2008.Umut A. Acar, Amal Ahmed, and Matthias Blume.

International Conference on Functional Programming (ICFP). 2008.Ruy Ley-Wild, Matthew Fluet, and Umut A. Acar.

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

International Symposium on Memory Management (ISMM). 2008.Matthew Hammer and Umut A. Acar.

European Symposium on Algorithms (ESA). 2008.Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Duru Turkoglu.

Uncertainty in Artificial Intelligence (UAI). 2008.Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer.

European Symposium on Programming (ESOP). 2007.Umut A. Acar, Matthias Blume, and Jacob Donham.

ACM Symposium on Computational Geometry (SCG). 2007.Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

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

IEEE/ACM International Conference on Computer Aided Design (ICCAD). 2007.Marco D. Santambrogio, Vincenzo Rana, Seda Ogrenci Memik, Umut A. Acar, and Donatella Sciuto.

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

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

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2006.Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan.

European Symposium on Algorithms (ESA). 2006.Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan.

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.

PhD. Thesis. 2005.Umut A. Acar.

ACM-SIAM Symposium on Discrete Algorithms (SODA). 2005.Umut A. Acar, Guy E. Blelloch, Robert Harper, Maverick Woo, and Jorge Vittes.

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

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

European Symposium on Programming (ESOP). 2016.Nicolas Feltman, Kayvon Fatahalian, Umut A. Acar, and Carlo Angiuli.

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

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

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

Proceedings of the International Conference on Functional Programming (ICFP). 2011.Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.

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

International Conference on Functional Programming (ICFP). 2006.Matthias Blume, Umut A. Acar, and Wonseok Chae.