Goldilocks: A Race and Transaction-Aware Java Runtime (2007)

by T Elmas, S Qadeer, S Tasiran
Venue:In ACM Conference on Programming Language Design and Implementation