Sebastian Burckhardt (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404

4 Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120

Selection of 2 from 6 records - Sebastian Burckhardt has 8 coauthors

6		Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
4		Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120