Follow
Sebastian Burckhardt
Sebastian Burckhardt
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
The design of a task parallel library
D Leijen, W Schulte, S Burckhardt
Acm Sigplan Notices 44 (10), 227-242, 2009
3692009
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
3292010
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
2702014
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
2622010
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
2492007
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
2062010
Principles of eventual consistency
S Burckhardt
Foundations and Trends® in Programming Languages 1 (1-2), 1-150, 2014
1992014
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
1772010
Effective program verification for relaxed memory models
S Burckhardt, M Musuvathi
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1682008
Concurrent programming with revisions and isolation types
S Burckhardt, A Baldassin, D Leijen
Proceedings of the ACM international conference on Object oriented …, 2010
1362010
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
1332013
Cloud types for eventual consistency
S Burckhardt, M Fähndrich, D Leijen, BP Wood
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
1282012
Eventually consistent transactions
S Burckhardt, D Leijen, M Fähndrich, M Sagiv
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
1262012
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
822016
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
722012
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
712015
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
692021
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
692011
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
682012
GAMBIT: effective unit testing for concurrency libraries
KE Coons, S Burckhardt, M Musuvathi
ACM Sigplan Notices 45 (5), 15-24, 2010
682010
The system can't perform the operation now. Try again later.
Articles 1–20