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

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types., , , and . ACM Trans. Program. Lang. Syst., 39 (3): 11:1-11:54 (2017)Visualizing Distributed System Executions., , , , , and . ACM Trans. Softw. Eng. Methodol., 29 (2): 9:1-9:38 (2020)Crystal: precise and unobtrusive conflict warnings., , , and . SIGSOFT FSE, page 444-447. ACM, (2011)Value Dependence Graphs: Representation without Taxation., , , and . POPL, page 297-310. ACM Press, (1994)Shedding light on distributed system executions., , , and . ICSE Companion, page 598-599. ACM, (2014)Always-available static and dynamic feedback., , and . ICSE, page 521-530. ACM, (2011)The Groupthink Specification Exercise.. Software Education and Training Sessions @ ICSE, volume 4309 of Lecture Notes in Computer Science, page 89-107. Springer, (2005)Accumulation Analysis (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 22:1-22:3 (2022)An Empirical Analysis of C Preprocessor Use., , and . IEEE Trans. Software Eng., 28 (12): 1146-1170 (2002)Debugging Distributed Systems., , , and . ACM Queue, 14 (2): 50 (2016)