|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 22 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
Eventually Consistent Transactions.  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
Concurrent Library Correctness on the TSO Memory Model. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
What's Decidable about Weak Memory Models? |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer |
Predictable and Progressive Testing of Multithreaded Code. |
IEEE Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt |
Prettier concurrency: purely functional concurrent revisions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen |
Semantics of Concurrent Revisions. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan |
Line-up: a complete and automatic linearizability checker. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
thread safety, atomicity, linearizability |
| 1 | John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk |
Effective Data-Race Detection for the Kernel. |
OSDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer |
Preemption Sealing for Efficient Concurrency Testing. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
A randomized scheduler with probabilistic guarantees of finding bugs. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
testing, concurrency, randomized algorithms, race conditions |
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
lossy channel systems, program verification, infinite state systems, relaxed memory models |
| 1 | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
Verifying Local Transformations on Relaxed Memory Models. |
CC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
Concurrent programming with revisions and isolation types. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi |
GAMBIT: effective unit testing for concurrency libraries. |
PPOPP |
2010 |
DBLP DOI BibTeX RDF |
preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction |
| 1 | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
The design of a task parallel library. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
duplicating queue, parallelism, domain specific languages, work stealing |
| 1 | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
Deconstructing concurrency heisenbugs. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Madanlal Musuvathi |
Effective Program Verification for Relaxed Memory Models. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
CheckFence: checking consistency of concurrent data types on relaxed memory models. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures |
| 1 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")