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 Generics and Delegates., , and . ECOOP, volume 6183 of Lecture Notes in Computer Science, page 175-199. Springer, (2010)Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library., , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 327-351. Springer, (2013)Separation logic and abstraction., and . POPL, page 247-258. ACM, (2005)Simple, fast, and safe manual memory management., , , , , and . PLDI, page 233-247. ACM, (2017)The Relationship Between Separation Logic and Implicit Dynamic Frames, and . Logical Methods in Computer Science, (2012)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)New Lace and Arsenic: adventures in weak memory with a program logic., , and . CoRR, (2015)When Concurrency Matters: Behaviour-Oriented Concurrency., , , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (October 2023)A Generic Logic for Proving Linearizability., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 426-443. (2016)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)