Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability. In (2015)

by A Sengupta, S Biswas, M Zhang, M D Bond, M Kulkarni
Venue:ASPLOS,