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

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)What's Decidable about Weak Memory Models?, , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 26-46. Springer, (2012)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)Predictable and Progressive Testing of Multithreaded Code., , , , and . IEEE Software, 28 (3): 75-83 (2011)Consistency models with global operation sequencing and their composition (extended version)., and . CoRR, (2017)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)Eventually Consistent Transactions., , , and . ESOP, volume 7211 of Lecture Notes in Computer Science, page 67-86. Springer, (2012)