On sequentializing concurrent programs (2011)

by Ahmed Bouajjani, Michael Emmi, Gennaro Parlato
Venue:In SAS ’11: Proc. 18th Intl. Symp. on Static Analysis