( en | de | ru )

 

Disambiguation of "Petri, Gustavo"

Author of the publication

copydeleteadd this publication to your clipboard
PLASMA: programmable elasticity for stateful cloud computing applications.

, , , , , and . EuroSys, page 42:1-42:15. ACM, (2020)

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.

Gustavo Corni

Besiegelte Freundschaft: die brandenburgischen Erbeinungen und Erbverbrüderungen im späten Mittelalter. Uni Frankfurt Main, (2008)

Gustavo Grupe

Gustavo Publio University of Leipzig

Gustavo Sousa

Gustavo Cei

 

Other publications of authors with the same name

Relaxed Operational Semantics of Concurrent Programming Languages, , and . EXPRESS/SOS, volume 89 of EPTCS, page 19-33. (2012)Towards Software-Defined Buffer Management., , , , , , and . IEEE/ACM Trans. Netw., 28 (5): 2337-2349 (2020)Invariant Safety for Distributed Applications., , and . CoRR, (2019)Cooking the Books: Formalizing JMM Implementation Recipes., , and . ECOOP, volume 37 of LIPIcs, page 445-469. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Confidential Computing - a brave new world., , , , and . SEED, page 132-138. IEEE, (2021)Models for Storage in Database Backends., , , , , and . CoRR, (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)