Author of the publication

UpgradeJ: Incremental Typechecking for Class Upgrades.

, , and . ECOOP, volume 5142 of Lecture Notes in Computer Science, page 235-259. Springer, (2008)

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)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)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)Local reasoning for Java.. University of Cambridge, UK, (2006)British Library, EThOS.Permission accounting in separation logic., , , and . POPL, page 259-270. ACM, (2005)Separation logic and abstraction., and . POPL, page 247-258. ACM, (2005)