Sebastian Burckhardt

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

Coauthor Index

1	Rajeev Alur	[1] [2] [3]
2	Milo M. K. Martin	[1] [2] [3]
3	Madanlal Musuvathi	[4]

Colors in the list of coauthors