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: Burckhardt:Sebastian
Contributed to:
2015
2014
20132012
2012
201220122011
2011
2010
20102010
201020102010
2010
20102009
200820072006
2005
201120172018Wrote 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.