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

UpgradeJ: Incremental Typechecking for Class Upgrades., , and . ECOOP, volume 5142 of Lecture Notes in Computer Science, page 235-259. Springer, (2008)The Push/Pull model of transactions., and . PLDI, page 186-195. ACM, (2015)Concurrent Immediate Reference Counting (Abstract)., , , and . HOPC@SPAA, ACM, (2024)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)When Concurrency Matters: Behaviour-Oriented Concurrency., , , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (October 2023)Local reasoning for Java.. University of Cambridge, UK, (2006)British Library, EThOS.Permission accounting in separation logic., , , and . POPL, page 259-270. ACM, (2005)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)A Generic Logic for Proving Linearizability., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 426-443. (2016)Verifying Generics and Delegates., , and . ECOOP, volume 6183 of Lecture Notes in Computer Science, page 175-199. Springer, (2010)