Also available as categorized
Invited to Journal of Computer Security Special Issue on Conference on Principles of Security and Trust (JCS) 2012. Umut A. Acar, Amal Ahmed, James Cheney, Roly Perrera.
Submitted to International Conference on Functional Programming 2012 (online version, with more detailed proofs) Roly Perera, Umut A. Acar, James Cheney, Paul Blaine Levy.
Submitted to Symposium on Parallelism in Algorithms and Architectures, 2012. Umut A. Acar, Arthur Chargueraud, Mike Rainey.
Submitted to Journal of Functional Programming. Yan Chen, Joshua Dunfield, Matthew Hammer, Umut A. Acar.
Submitted to Journal of Functional Programming. Umut A. Acar, Matthias Blume, Jake Donham.
Submitted to Journal of Computational Geometry, Theory and Applications. Umut A Acar, Andy Cotter, Benoit Hudson, Duru Turkoglu.
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 Perrera.
Ph.D. Thesis. University of Chicago. 2012. Duru Turkoglu.
Ph.D. Thesis. University of Chicago. 2012. Ozgur Sumer.
ACM Workshop on Deterministic Aspects and Applications of Multicore Programming (DAMP). 2012. Umut A. Acar, Arthur Chargueraud, Mike Rainey.
2011Journal of Machine Learning Research (JMLR). 2011. Ozgur Sumer, Umut A. Acar, Alexander Ihler, and Ramgopal Mettu.
Implementing implicit self-adjusting computation. ACM SIGPLAN Workshop on ML. 2011. Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar.
Incoop: MapReduce for Incremental Computations. 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.
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. 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.
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. Conference on Artificial Intelligence (AAAI). Ozgur Sumer, Umut A. Acar, Alexander Ihler, Ramgopal Mettu. 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. 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.
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. ACM Symposium on Computational Geometry (SCG). 2010. Umut A. Acar, Andrew Cotter, Benoit Hudson, and Duru Turkoglu. 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. Fall Workshop on Computational Geometry, 2010. Umut A. Acar, Benoit Hudson, and Duru Turkoglu. Ph.D. Thesis. Carnegie Mellon University Technical Report.
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. IEEE/SP 15th Workshop on Statistical Signal Processing (SSP). 2009. Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer. Fall Workshop on Computational Geometry. 2009. Umut A. Acar, Benoit Hudson, and Duru Turkoglu.
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. 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. James Cheney, Umut Acar, Amal Ahmed.
European Symposium on Programming (ESOP). 2007. Umut A. Acar, Matthias Blume, and Jacob Donham. International Symposium on Database Programming Languages (DBPL). 2007. James Cheney, Amal Ahmed, and Umut A. Acar. Workshop on Declarative Aspects of Multicore Programming (DAMP). 2007. Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, and Anwar Ghuloum. Conference on Neural Information Processing Systems (NIPS). 2007. Umut A. Acar, Alexander T. Ihler, Ramgopal Mettu, Ozgur Sumer. ACM Symposium on Computational Geometry (SCG). 2007. Umut A. Acar, Guy E. Blelloch, and Kanat Tangwongsan. International Meshing Roundtable (IMR). Umut A. Acar, Benoit Hudson, Gary L. Miller, and Todd Phillips. IEEE/ACM International Conference on Computer Aided Design (ICCAD). 2007. Marco D. Santambrogio, Vincenzo Rana, Seda Ogrenci Memik, Umut A. Acar, and Donatella Sciuto.
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. 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.
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.
Theory of Computing Systems 35(3) (TOCS) (invited paper). 2002. Umut A. Acar, Guy E. Blelloch, and Robert D. Blumofe. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2002. Umut A. Acar, Guy E. Blelloch, and Robert Harper.
ACM Symposium on Parallel Algorithms and Architectures (SPAA). 2000. Umut A. Acar, Guy E. Blelloch, and Robert D. Blumofe.
|
|