2018
Toward automatic programming
PhD thesis, 2018

2017
Are Web Applications Ready for Parallelism?
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2015
Effective Techniques for Static Race Detection in Java Parallel Loops.
ACM Trans. Softw. Eng. Methodol., 2015

CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Retrofitting concurrency for Android applications through refactoring.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Translating imperative code to MapReduce.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Practical static race detection for Java parallel loops.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2009
Relooper: refactoring for loop parallelism in Java.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009