Publications
"Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers",
Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA: ACM, pp. 103, 2017.
"Design and Verification of Distributed Phasers",
European Conference on Parallel Processing: Springer, pp. 405–418, 2016.

