![]() | ![]() |
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 |
1 | Rajeev Alur | [1] [2] [3] |
2 | Milo M. K. Martin | [1] [2] [3] |
3 | Madanlal Musuvathi | [4] |