Sebastian Burckhardt
Sebastian Burckhardt
Microsoft Research
Verified email at - Homepage
TitleCited byYear
The design of a task parallel library
D Leijen, W Schulte, S Burckhardt
Acm Sigplan Notices 44 (10), 227-242, 2009
A randomized scheduler with probabilistic guarantees of finding bugs
S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
ACM Sigplan Notices 45 (3), 167-178, 2010
CheckFence: checking consistency of concurrent data types on relaxed memory models
S Burckhardt, R Alur, MMK Martin
ACM SIGPLAN Notices 42 (6), 12-21, 2007
Effective Data-Race Detection for the Kernel.
J Erickson, M Musuvathi, S Burckhardt, K Olynyk
OSDI 10 (10), 1-16, 2010
Effective program verification for relaxed memory models
S Burckhardt, M Musuvathi
International Conference on Computer Aided Verification, 107-120, 2008
On the verification problem for weak memory models
MF Atig, A Bouajjani, S Burckhardt, M Musuvathi
ACM Sigplan Notices 45 (1), 7-18, 2010
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM SIGPLAN Notices 49 (1), 271-284, 2014
Line-up: a complete and automatic linearizability checker
S Burckhardt, C Dern, M Musuvathi, R Tan
ACM Sigplan Notices 45 (6), 330-340, 2010
Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
B Meyer, M Nordio
Springer, 2016
Concurrent programming with revisions and isolation types
S Burckhardt, A Baldassin, D Leijen
ACM Sigplan Notices 45 (10), 691-707, 2010
Eventually consistent transactions
S Burckhardt, D Leijen, M Fähndrich, M Sagiv
European Symposium on Programming, 67-86, 2012
Cloud types for eventual consistency
S Burckhardt, M Fähndrich, D Leijen, BP Wood
European Conference on Object-Oriented Programming, 283-307, 2012
It's alive! continuous feedback in UI programming
S Burckhardt, M Fahndrich, P de Halleux, S McDirmid, M Moskal, ...
ACM SIGPLAN Notices 48 (6), 95-104, 2013
Principles of eventual consistency
S Burckhardt
Foundations and Trends® in Programming Languages 1 (1-2), 1-150, 2014
GAMBIT: effective unit testing for concurrency libraries
KE Coons, S Burckhardt, M Musuvathi
ACM Sigplan Notices 45 (5), 15-24, 2010
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
Multicore acceleration of priority-based schedulers for concurrency bug detection
S Nagarakatte, S Burckhardt, MMK Martin, M Musuvathi
ACM SIGPLAN Notices 47 (6), 543-554, 2012
Concurrent library correctness on the TSO memory model
S Burckhardt, A Gotsman, M Musuvathi, H Yang
European Symposium on Programming, 87-107, 2012
Bounded model checking of concurrent data types on relaxed memory models: A case study
S Burckhardt, R Alur, MMK Martin
International Conference on Computer Aided Verification, 489-502, 2006
Verifying local transformations on relaxed memory models
S Burckhardt, M Musuvathi, V Singh
International Conference on Compiler Construction, 104-123, 2010
The system can't perform the operation now. Try again later.
Articles 1–20