diff --git a/_posts/2019-04-01-eccop2019.md b/_posts/2019-04-01-eccop2019.md index 7a98cd18f34be8802764ae8d29f9b9c3e390ccb1..a98e7800bb1403a649777798ae0d9afdfd3347e2 100644 --- a/_posts/2019-04-01-eccop2019.md +++ b/_posts/2019-04-01-eccop2019.md @@ -7,7 +7,7 @@ Congratulations to Petar Maksimović and Philippa Gardner, whose paper with (University of Cambridge) has been accepted at this year’s [European Conference on Object-Oriented Programming (ECOOP '19)](https://2019.ecoop.org/) -In their paper: [“A Program Logic for First-Order Encapsulated WebAssemblyâ€](https://2019.ecoop.org/track/ecoop-2019-papers#modal-phid_6b8350e20023163d1c6978f2336b8d12) +In their paper: [“A Program Logic for First-Order Encapsulated WebAssemblyâ€](https://2019.ecoop.org/event/ecoop-2019-papers-a-program-logic-for-first-order-encapsulated-webassembly) they introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. Using Wasm Logic, they also specify and verify a simple WebAssembly tree library, giving abstract specifications independent of the underlying implementation.