Extended sequential reasoning for data-race-free programs.

Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha

Browse the full PLDI paper archive.