Hybrid static–dynamic analysis for statically bounded region serializability (2015)

by A Sengupta, S Biswas, M Zhang, M D Bond, M Kulkarni
Venue:In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS ’15