( en | de | ru )

 

Disambiguation of "Burckhardt, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
Serializable eventual consistency: consistency through object method replay.

, , and . PaPoC@EuroSys, page 3:1-3:3. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerhard Burckhardt

Gerhard Burckhardt

Gerhard Burckhardt

Burckhardt Kietzmann

Herbert Burckhardt

 

Other publications of authors with the same name

Principles of Eventual Consistency.. Foundations and Trends in Programming Languages, 1 (1-2): 1-150 (2014)A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications., , , , , , , , , and 3 other author(s). Proc. VLDB Endow., 13 (5): 588-601 (2020)DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps., , , and . Proc. ACM Manag. Data, 1 (2): 117:1-117:27 (2023)Predictable and Progressive Testing of Multi-threaded Code, , , , and . IEEE Software, (5555)What's Decidable about Weak Memory Models?, , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)Deconstructing concurrency heisenbugs., , , , and . ICSE Companion, page 403-404. IEEE, (2009)Effective Data-Race Detection for the Kernel., , , and . OSDI, page 151-162. USENIX Association, (2010)Serializable eventual consistency: consistency through object method replay., , and . PaPoC@EuroSys, page 3:1-3:3. ACM, (2016)Cloud Types for Eventual Consistency., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)Preemption Sealing for Efficient Concurrency Testing., , , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 420-434. Springer, (2010)