Commit 8280d118 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update publications.bib

parent 9117c9fb
......@@ -1691,18 +1691,23 @@ testing, and automatic compositional testing based on bi-abduction.},
}
@InProceedings{Watt2019Program,
author = {Conrad Watt and
Petar Maksimovic and
Neelakantan R. Krishnaswami and
Philippa Gardner },
title = {A Program Logic for First-Order Encapsulated WebAssembly},
booktitle = {Proceedings of the 33 \textsuperscript{rd} European Conference on Object-Oriented Programming (ECOOP’19). },
pages = {10:1–10:30 },
month = jul,
year = {2019},
doi = { 10.4230/LIPIcs.ECOOP.2019.10},
abstract = { We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We
@InProceedings{watt_et_al:LIPIcs:2019:10801,
author = {Conrad Watt and Petar Maksimovic and Neelakantan R. Krishnaswami and Philippa Gardner},
title = {{A Program Logic for First-Order Encapsulated WebAssembly}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {9:1--9:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Alastair F. Donaldson},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10801},
URN = {urn:nbn:de:0030-drops-108011},
doi = {10.4230/LIPIcs.ECOOP.2019.9},
abstract = { We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We
design a novel assertion syntax, tailored to WebAssembly’s stack-based semantics and the strong
guarantees given by WebAssembly’s type system, and show how to adapt the standard separation
logic triple and proof rules in a principled way to capture WebAssembly’s uncommon structured
......@@ -1713,8 +1718,8 @@ and fully mechanise a novel, big-step semantics of WebAssembly, which we prove e
to transitive closure, to the original WebAssembly small-step semantics. Wasm Logic is the first
program logic for WebAssembly, and represents a first step towards the creation of static analysis
tools for WebAssembly.},
}
annote = {Keywords: WebAssembly, program logic, separation logic, soundness, mechanisation}
}
@Article{ Dinsdale-Young2010Locality,
author = { Thomas Dinsdale-Young and Philippa Gardner and Mark Wheelhouse},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment