| * | 2009 |
|---|
| 6 | EE | Thomas Ball,
Sebastian Burckhardt,
Jonathan de Halleux,
Madanlal Musuvathi,
Shaz Qadeer:
Deconstructing concurrency heisenbugs.
ICSE Companion 2009: 403-404 |
| 5 | EE | Daan Leijen,
Wolfram Schulte,
Sebastian Burckhardt:
The design of a task parallel library.
OOPSLA 2009: 227-242 |
| 2008 |
|---|
| 4 | EE | Sebastian Burckhardt,
Madanlal Musuvathi:
Effective Program Verification for Relaxed Memory Models.
CAV 2008: 107-120 |
| 2007 |
|---|
| 3 | EE | Sebastian Burckhardt,
Rajeev Alur,
Milo M. K. Martin:
CheckFence: checking consistency of concurrent data types on relaxed memory models.
PLDI 2007: 12-21 |
| 2006 |
|---|
| 2 | EE | Sebastian Burckhardt,
Rajeev Alur,
Milo M. K. Martin:
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.
CAV 2006: 489-502 |
| 2005 |
|---|
| 1 | EE | Sebastian Burckhardt,
Rajeev Alur,
Milo M. K. Martin:
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.
VMCAI 2005: 130-145 |
