BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Estonia
1 × France
1 × Germany
1 × India
1 × Spain
10 × USA
2 × Canada
2 × China
2 × Cyprus
Collaborated with:
M.Musuvathi D.Leijen M.Fähndrich M.M.K.Martin R.Alur K.E.Coons A.Gotsman H.Yang M.F.Atig A.Bouajjani S.Nagarakatte Tim Coppieters T.Ball M.Moskal N.Tillmann V.Singh A.Baldassin W.Schulte J.Protzenko M.Zawirski B.P.Wood M.Sagiv P.Kothari J.Erickson K.Olynyk C.Dern R.Tan J.d.Halleux C.Sadowski J.Yi S.Qadeer P.d.Halleux S.McDirmid J.Kato P.A.Bernstein Sergey Bykov Natacha Crooks J.M.Faleiro G.Kliot Alok Kumbhare Muntasir Raihan Rahman Vivek Shah 0001 A.Szekeres Jorgen Thelin
Talks about:
concurr (10) model (9) memori (7) type (5) relax (4) data (4) program (3) librari (3) consist (3) effect (3)

Person: Sebastian Burckhardt

DBLP DBLP: Burckhardt:Sebastian

Contributed to:

ECOOP 20152015
POPL 20142014
PLDI 20132013
ECOOP 20122012
ESOP 20122012
FSE 20122012
PLDI 20122012
ESOP 20112011
OOPSLA 20112011
ASPLOS 20102010
CC 20102010
OOPSLA 20102010
OSDI 20102010
PLDI 20102010
POPL 20102010
PPoPP 20102010
TACAS 20102010
OOPSLA 20092009
CAV 20082008
PLDI 20072007
CAV 20062006
VMCAI 20052005
Haskell 20112011
OOPSLA 20172017
OOPSLA 20182018

Wrote 27 papers:

ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
POPL-2014-BurckhardtGYZ #data type #specification #verification
Replicated data types: specification, verification, optimality (SB, AG, HY, MZ), pp. 271–284.
PLDI-2013-BurckhardtFHMMTK #exclamation #feedback #programming #user interface
It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
ECOOP-2012-BurckhardtFLW #consistency
Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.
ESOP-2012-AtigBBM #decidability #memory management #modelling #question #what
What’s Decidable about Weak Memory Models? (MFA, AB, SB, MM), pp. 26–46.
ESOP-2012-BurckhardtGMY #concurrent #correctness #library #memory management
Concurrent Library Correctness on the TSO Memory Model (SB, AG, MM, HY), pp. 87–107.
ESOP-2012-BurckhardtLFS #consistency #transaction
Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.
FSE-2012-TillmannMHFB #development #mobile #named
TouchDevelop: app development on mobile devices (NT, MM, JdH, MF, SB), p. 39.
PLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore
Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.
ESOP-2011-BurckhardtL #concurrent #semantics
Semantics of Concurrent Revisions (SB, DL), pp. 116–135.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel
Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
ASPLOS-2010-BurckhardtKMN #debugging #probability #random
A randomized scheduler with probabilistic guarantees of finding bugs (SB, PK, MM, SN), pp. 167–178.
CC-2010-BurckhardtMS #memory management #modelling #verification
Verifying Local Transformations on Relaxed Memory Models (SB, MM, VS), pp. 104–123.
OOPSLA-2010-BurckhardtBL #concurrent #programming
Concurrent programming with revisions and isolation types (SB, AB, DL), pp. 691–707.
OSDI-2010-EricksonMBO #concurrent #detection #effectiveness #kernel
Effective Data-Race Detection for the Kernel (JE, MM, SB, KO), pp. 151–162.
PLDI-2010-BurckhardtDMT #automation #named
Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.
POPL-2010-AtigBBM #memory management #modelling #on the #problem #verification
On the verification problem for weak memory models (MFA, AB, SB, MM), pp. 7–18.
PPoPP-2010-CoonsBM #concurrent #effectiveness #library #named #testing
GAMBIT: effective unit testing for concurrency libraries (KEC, SB, MM), pp. 15–24.
TACAS-2010-BallBCMQ #concurrent #performance #testing
Preemption Sealing for Efficient Concurrency Testing (TB, SB, KEC, MM, SQ), pp. 420–434.
OOPSLA-2009-LeijenSB #design #library #parallel
The design of a task parallel library (DL, WS, SB), pp. 227–242.
CAV-2008-BurckhardtM #effectiveness #memory management #modelling #verification
Effective Program Verification for Relaxed Memory Models (SB, MM), pp. 107–120.
PLDI-2007-BurckhardtAM #concurrent #consistency #data type #memory management #modelling #named
CheckFence: checking consistency of concurrent data types on relaxed memory models (SB, RA, MMKM), pp. 12–21.
CAV-2006-BurckhardtAM #bound #case study #concurrent #data type #memory management #model checking #modelling
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study (SB, RA, MMKM), pp. 489–502.
VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.
Haskell-2011-LeijenFB #concurrent #functional
Prettier concurrency: purely functional concurrent revisions (DL, MF, SB), pp. 83–94.
OOPSLA-2017-BernsteinBBCFKK
Geo-distribution of actor-based services (PAB, SB, SB, NC, JMF, GK, AK, MRR, VS0, AS, JT), p. 26.
OOPSLA-2018-BurckhardtC
Reactive caching for composed services: polling at the speed of push (SB, TC), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.