Research outputs (4)

1. Published

   A Concurrent Logical Relation

   Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

2. Published

   Formalized Verification of Snapshotable Trees: Separation and Sharing

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

3. Published

   Automating Derivations of Abstract Machines from Reduction Semantics: A Generic Formalization of Refocusing in Coq

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all (4) »