Congratulations to Petar Maksimović and Philippa Gardner, whose paper with Conrad Watt and Neel Krishnaswami (University of Cambridge) has been accepted at this year’s European Conference on Object-Oriented Programming (ECOOP ‘19)

In their paper: “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. You can read the draft submitted for publication here.