( en | de | ru )

 

Disambiguation of "Burckhardt, Sebastian"

Author of the publication

copydeleteadd this publication to your clipboard
Predictable and Progressive Testing of Multithreaded Code.

, , , , and . IEEE Software, 28 (3): 75-83 (2011)

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.

Alex Burckhardt

Julius Burckhardt

Burckhardt Eppinger

Helmut Burckhardt

Gerhard 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)What's Decidable about Weak Memory Models?, , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)Predictable and Progressive Testing of Multi-threaded Code, , , , and . IEEE Software, (5555)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)Deconstructing concurrency heisenbugs., , , , and . ICSE Companion, page 403-404. IEEE, (2009)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)Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study., , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 489-502. Springer, (2006)