Author of the publication

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.

 

Other publications of authors with the same name

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)Eventually Consistent Transactions., , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 67-86. Springer, (2012)Verifying Local Transformations on Relaxed Memory Models., , and . CC, volume 6011 of Lecture Notes in Computer Science, page 104-123. Springer, (2010)TouchDevelop: app development on mobile devices., , , , and . SIGSOFT FSE, page 39. ACM, (2012)GAMBIT: effective unit testing for concurrency libraries., , and . PPoPP, page 15-24. ACM, (2010)Predictable and Progressive Testing of Multithreaded Code., , , , and . IEEE Softw., 28 (3): 75-83 (2011)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)