Searching for authors named Sebastian Burckhardt – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Lightweight Software Transactions for Games
- …, Brazil alebal@(email omitted); Sebastian Burckhardt Microsoft Research, Redmond sburckha…
- Add To MetaCart
-
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
- …\Delta Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Department of Computer Science University…
- Cited by 4 (0 self) – Add To MetaCart
-
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
- …Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study ⋆ Sebastian…
- Cited by 6 (0 self) – Add To MetaCart
-
1 2009/10/13Preemption Sealing for Efficient Concurrency Testing
- … blank. 1 2009/10/13Preemption Sealing for Efficient Concurrency Testing Thomas Ball Sebastian Burckhardt…
- Add To MetaCart
Showing 1 through 4.
