Goldilocks: A race and transaction-aware Java runtime (2007)

by T Elmas, S Qadeer, S Tasiran
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI