2017
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.
Proc. ACM Program. Lang., 2017

2016
Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Dynamic Determinacy Race Detection for Task Parallelism with Futures.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Automatic parallelization of pure method calls via conditional future synthesis.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014
Test-driven repair of data races in structured parallel programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Inter-iteration Scalar Replacement Using Array SSA Form.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2009
Region Based Structure Layout Optimization by Selective Data Copying.
Proceedings of the PACT 2009, 2009