Journal Article A core calculus for provenance 2013 • Journal of Computer Security • 21(6):919-969 Acar UA, Ahmed A, Cheney J, Perera R
Conference Chairs' welcome 2013 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming ICFP Acar U, Berthold J, Grelck C, Henglein F
Journal Article Dynamic well-spaced point sets 2013 • Computational Geometry: Theory and Applications • 46(6):756-773 Acar UA, Cotter A, Hudson B, Turkoglu D
Conference Scheduling Parallel Programs by Work Stealing with Private Deques 2013 • ACM Sigplan Notices • 48(8):219-228 Acar UA, Chargueraud A, Rainey M
Conference Scheduling parallel programs by work stealing with private deques 2013 219-228 Acar UA, Chargueraud A, Rainey M
Journal Article Toward a theory of self-explaining computation 2013 • Lecture Notes in Computer Science • 8000:193-216 Cheney J, Acar UA, Perera R
Journal Article A Core Calculus for Provenance 2012 • Lecture Notes in Computer Science • 7215:410-429 Acar UA, Ahmed A, Cheney J, Perera R
Conference Foreword 2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages Acar U, Costa VS
Conference Functional Programs that Explain their Work 2012 • ACM Sigplan Notices • 47(9):365-376 Perera R, Acar UA, Cheney J, Levy PB
Conference Functional programs that explain their work 2012 365-376 Perera R, Acar UA, Cheney J, Levy PB
Conference Non-monotonic Self-Adjusting Computation 2012 • Lecture Notes in Computer Science • 7211:476-496 Ley-Wild R, Acar UA, Blelloch G
Journal Article Special issue dedicated to ICFP 2010 2012 • Journal of Functional Programming • 22:379-381 Acar UA, Cheney J, Weirich S
Conference Type-Directed Automatic Incrementalization 2012 • ACM Sigplan Notices • 47(6):299-310 Chen Y, Dunfield J, Acar UA
Journal Article Adaptive Exact Inference in Graphical Models 2011 • Journal of machine learning research • 12:3147-3186 Suemer O, Acar UA, Ihler AT, Mettu RR
Conference Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers 2011 • Proceedings of the 25th Aaai Conference on Artificial Intelligence Aaai 2011 • 1076-1082 Sümer Ö, Ihler AT, Acar UA, Mettu RR
Conference Fast parallel and adaptive updates for dual-decomposition solvers 2011 • Proceedings of the National Conference on Artificial Intelligence • 2:1076-1082 Sümer O, Acar UA, Ihler AT, Mettu RR
Conference Implicit self-adjusting computation for purely functional programs 2011 129-141 Chen Y, Dunfield J, Hammer MA, Acar UA
Journal Article Implicit Self-Adjusting Computation for Purely Functional Programs 2011 • ACM Sigplan Notices • 46(9):129-141 Chen Y, Dunfield J, Hammer MA, Acar UA
Conference Kinetic mesh refinement in 2D 2011 • Proceedings of the Annual Symposium on Computational Geometry • 341-350 Acar UA, Hudson B, Türkoglu D
Conference Large-scale incremental data processing with change propagation 2011 • 3rd Usenix Workshop on Hot Topics in Cloud Computing Hotcloud 2011 Bhatotia P, Wieder A, Akkuş IE, Rodrigues R, Acar UA
Journal Article Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages 2011 • ACM Sigplan Notices • 46(10):499-518 Acar UA, Chargueraud A, Rainey M
