Author of the publication

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.

, , , , , , , and . SIGMOD Conference, page 1311-1326. ACM, (2015)

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

SPN OS: Managing network services with virtual network objects., , , , , and . NFV-SDN, page 149-155. IEEE, (2015)Petr4: formal foundations for p4 data planes., , , , , , , , , and . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)Formal Abstractions for Packet Scheduling., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1338-1362 (October 2023)Efficient Synthesis of Network Updates., , and . CoRR, (2014)Forwarding and Routing With Packet Subscriptions., , , , , and . IEEE/ACM Trans. Netw., 30 (6): 2464-2479 (2022)Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4)., and . NII Shonan Meet. Rep., (2018)Programmable Network Data Planes (Dagstuhl Seminar 19141)., , , , and . Dagstuhl Reports, 9 (3): 178-201 (2019)P4Testgen: An Extensible Test Oracle For P4., , , , , , , , and . CoRR, (2022)Leapfrog: certified equivalence for protocol parsers., , , , and . PLDI, page 950-965. ACM, (2022)Machine-verified network controllers., , and . PLDI, page 483-494. ACM, (2013)