Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.
Proc. ACM Program. Lang., 2017
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
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
Region Based Structure Layout Optimization by Selective Data Copying.
Proceedings of the PACT 2009, 2009