( en | de | ru )

 

Disambiguation of "Burckhardt, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
DARQ Matter Binds Everything: Performant and Composable Cloud Programming via Resilient Steps.

, , , and . Proc. ACM Manag. Data, 1 (2): 117:1-117:27 (2023)

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

Burckhardt Eppinger

 

Other publications of authors with the same name

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)What's Decidable about Weak Memory Models?, , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)Principles of Eventual Consistency.. Foundations and Trends in Programming Languages, 1 (1-2): 1-150 (2014)Predictable and Progressive Testing of Multi-threaded Code, , , , and . IEEE Software, (5555)Deconstructing concurrency heisenbugs., , , , and . ICSE Companion, page 403-404. IEEE, (2009)CheckFence: checking consistency of concurrent data types on relaxed memory models., , and . PLDI, page 12-21. ACM, (2007)Consistency Models with Global Operation Sequencing and their Composition., and . DISC, volume 91 of LIPIcs, page 23:1-23:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Effective Data-Race Detection for the Kernel., , , and . OSDI, page 151-162. USENIX Association, (2010)Cloud Types for Eventual Consistency., , , and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 283-307. Springer, (2012)