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

Cooking the Books: Formalizing JMM Implementation Recipes., , and . ECOOP, volume 37 of LIPIcs, page 445-469. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Towards Software-Defined Buffer Management., , , , , , and . IEEE/ACM Trans. Netw., 28 (5): 2337-2349 (2020)Relaxed Operational Semantics of Concurrent Programming Languages, , and . EXPRESS/SOS, volume 89 of EPTCS, page 19-33. (2012)Invariant Safety for Distributed Applications., , and . CoRR, (2019)Confidential Computing - a brave new world., , , , and . SEED, page 132-138. IEEE, (2021)Models for Storage in Database Backends., , , , , and . PaPoC@EuroSys, page 58-66. ACM, (2024)BASEL (Buffering Architecture SpEcification Language)., , , , , and . CoRR, (2015)Consistency in 3D., , and . CONCUR, volume 59 of LIPIcs, page 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Scalable and serializable networked multi-actor programming., , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 198:1-198:30 (2020)Proving the Safety of Highly-Available Distributed Objects., , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 544-571. Springer, (2020)