Publications by Umut Acar

2014 • ACM/IFIP/USENIX MIDDLEWARE 2014 • 61-72
Bhatotia P, Acar UA, Junqueira FP, Rodrigues R

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8737:25-36
Acar UA, Chargueraud A, Rainey M

2013 • Journal of Functional Programming • 23(3):249-292
Acar UA, Blume M, Donham J

2013 • Journal of Computer Security • 21(6):919-969
Acar UA, Ahmed A, Cheney J, Perera R

2013 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming ICFP
Acar U, Berthold J, Grelck C, Henglein F

2013 • Computational Geometry: Theory and Applications • 46(6):756-773
Acar UA, Cotter A, Hudson B, Turkoglu D

2013 • ACM Sigplan Notices • 48(8):219-228
Acar UA, Chargueraud A, Rainey M

2013 219-228
Acar UA, Chargueraud A, Rainey M

2013 15-18
Acar UA, Chen Y

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8000:193-216
Cheney J, Acar UA, Perera R

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7215:410-429
Acar UA, Ahmed A, Cheney J, Perera R

2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Acar U, Costa VS

2012 • ACM Sigplan Notices • 47(9):365-376
Perera R, Acar UA, Cheney J, Levy PB

2012 365-376
Perera R, Acar UA, Cheney J, Levy PB

2012 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7211:476-496
Ley-Wild R, Acar UA, Blelloch G

2012 • Journal of Functional Programming • 22:379-381
Acar UA, Cheney J, Weirich S

2012 • ACM Sigplan Notices • 47(6):299-310
Chen Y, Dunfield J, Acar UA

2012 299-310
Chen Y, Dunfield J, Acar UA

2011 • Journal of machine learning research • 12:3147-3186
Suemer O, Acar UA, Ihler AT, Mettu RR

2011 • Proceedings of the 25th Aaai Conference on Artificial Intelligence Aaai 2011 • 1076-1082
Sümer Ö, Ihler AT, Acar UA, Mettu RR

2011 • Proceedings of the National Conference on Artificial Intelligence • 2:1076-1082
Sümer O, Acar UA, Ihler AT, Mettu RR

2011 129-141
Chen Y, Dunfield J, Hammer MA, Acar UA

2011 • ACM Sigplan Notices • 46(9):129-141
Chen Y, Dunfield J, Hammer MA, Acar UA

2011 1-14
Bhatotia P, Wieder A, Rodrigues R, Acar UA, Pasquin R

2011 • Proceedings of the Annual Symposium on Computational Geometry • 341-350
Acar UA, Hudson B, Türkoglu D