- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c25 |      | Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood: Cloud Types for Eventual Consistency. ECOOP 2012: 283-307 |
| c24 | | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: What's Decidable about Weak Memory Models? ESOP 2012: 26-46 |
| c23 | | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv: Eventually Consistent Transactions. ESOP 2012: 67-86 |
| c22 | | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang: Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107 |
| c21 | | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi: Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI 2012: 543-554 |
| c20 | | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt: TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39 |
| 2011 | ||
| j1 | | Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer: Predictable and Progressive Testing of Multithreaded Code. IEEE Software 28(3): 75-83 (2011) |
| c19 | | |
| c18 | | Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt: Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94 |
| c17 | | S. Tucker Taft, Joshua Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict R. Gaster, Guy L. Steele Jr., David Ungar: Multicore, manycore, and cloud computing: is a new programming language paradigm required? OOPSLA Companion 2011: 165-170 |
| c16 | | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball: Two for the price of one: a model for parallel and incremental computation. OOPSLA 2011: 427-444 |
| c15 | | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub: Practical parallel and concurrent programming. SIGCSE 2011: 189-194 |
| 2010 | ||
| c14 | | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte: A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS 2010: 167-178 |
| c13 | | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh: Verifying Local Transformations on Relaxed Memory Models. CC 2010: 104-123 |
| c12 | | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen: Concurrent programming with revisions and isolation types. OOPSLA 2010: 691-707 |
| c11 | | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk: Effective Data-Race Detection for the Kernel. OSDI 2010: 151-162 |
| c10 | | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan: Line-up: a complete and automatic linearizability checker. PLDI 2010: 330-340 |
| c9 | | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi: On the verification problem for weak memory models. POPL 2010: 7-18 |
| c8 | | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi: GAMBIT: effective unit testing for concurrency libraries. PPOPP 2010: 15-24 |
| c7 | | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer: Preemption Sealing for Efficient Concurrency Testing. TACAS 2010: 420-434 |
| 2009 | ||
| c6 | | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer: Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404 |
| c5 | | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242 |
| 2008 | ||
| c4 | | Sebastian Burckhardt, Madanlal Musuvathi: Effective Program Verification for Relaxed Memory Models. CAV 2008: 107-120 |
| 2007 | ||
| c3 | | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI 2007: 12-21 |
| 2006 | ||
| c2 | | 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 | ||
| c1 | | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI 2005: 130-145 |
Colors in the list of coauthors
Last update Tue May 21 22:18:08 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page