The design of a task parallel library D Leijen, W Schulte, S Burckhardt Acm Sigplan Notices 44 (10), 227-242, 2009 | 368 | 2009 |
A randomized scheduler with probabilistic guarantees of finding bugs S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte ACM SIGARCH Computer Architecture News 38 (1), 167-178, 2010 | 329 | 2010 |
Replicated data types: specification, verification, optimality S Burckhardt, A Gotsman, H Yang, M Zawirski ACM Sigplan Notices 49 (1), 271-284, 2014 | 269 | 2014 |
Effective {Data-Race} Detection for the Kernel J Erickson, M Musuvathi, S Burckhardt, K Olynyk 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010 | 262 | 2010 |
Checkfence: checking consistency of concurrent data types on relaxed memory models S Burckhardt, R Alur, MMK Martin Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 249 | 2007 |
On the verification problem for weak memory models MF Atig, A Bouajjani, S Burckhardt, M Musuvathi Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 206 | 2010 |
Principles of eventual consistency S Burckhardt Foundations and Trends® in Programming Languages 1 (1-2), 1-150, 2014 | 199 | 2014 |
Line-up: a complete and automatic linearizability checker S Burckhardt, C Dern, M Musuvathi, R Tan Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 177 | 2010 |
Effective program verification for relaxed memory models S Burckhardt, M Musuvathi Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 167 | 2008 |
Concurrent programming with revisions and isolation types S Burckhardt, A Baldassin, D Leijen Proceedings of the ACM international conference on Object oriented …, 2010 | 136 | 2010 |
It's alive! continuous feedback in UI programming S Burckhardt, M Fahndrich, P De Halleux, S McDirmid, M Moskal, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 133 | 2013 |
Cloud types for eventual consistency S Burckhardt, M Fähndrich, D Leijen, BP Wood ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012 | 128 | 2012 |
Eventually consistent transactions S Burckhardt, D Leijen, M Fähndrich, M Sagiv Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 126 | 2012 |
Specification and complexity of collaborative text editing H Attiya, S Burckhardt, A Gotsman, A Morrison, H Yang, M Zawirski Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing …, 2016 | 82 | 2016 |
Multicore acceleration of priority-based schedulers for concurrency bug detection S Nagarakatte, S Burckhardt, MMK Martin, M Musuvathi Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 72 | 2012 |
Global sequence protocol: A robust abstraction for replicated shared state S Burckhardt, D Leijen, J Protzenko, M Fähndrich 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 71 | 2015 |
Durable functions: Semantics for stateful serverless S Burckhardt, C Gillum, D Justo, K Kallas, C McMahon, CS Meiklejohn Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 69 | 2021 |
Two for the price of one: A model for parallel and incremental computation S Burckhardt, D Leijen, C Sadowski, J Yi, T Ball ACM SIGPLAN Notices 46 (10), 427-444, 2011 | 69 | 2011 |
What’s decidable about weak memory models? MF Atig, A Bouajjani, S Burckhardt, M Musuvathi Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 68 | 2012 |
GAMBIT: effective unit testing for concurrency libraries KE Coons, S Burckhardt, M Musuvathi ACM Sigplan Notices 45 (5), 15-24, 2010 | 68 | 2010 |