@inproceedings{Haas:2017:BWU:3062341.3062363,
 author = {Haas, Andreas and Rossberg, Andreas and Schuff, Derek L. and Titzer, Ben L. and Holman, Michael and Gohman, Dan and Wagner, Luke and Zakai, Alon and Bastien, JF},
 title = {Bringing the Web Up to Speed with WebAssembly},
 booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI 2017},
 year = {2017},
 isbn = {978-1-4503-4988-8},
 location = {Barcelona, Spain},
 pages = {185--200},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/3062341.3062363},
 doi = {10.1145/3062341.3062363},
 acmid = {3062363},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {assembly languages, just-in-time compilers, programming languages, type systems, virtual machines},
}

@inproceedings{Watt:2018:MVW:3176245.3167082,
 author = {Watt, Conrad},
 title = {Mechanising and Verifying the WebAssembly Specification},
 booktitle = {Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs},
 series = {CPP 2018},
 year = {2018},
 isbn = {978-1-4503-5586-5},
 location = {Los Angeles, CA, USA},
 pages = {53--65},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/3167082},
 doi = {10.1145/3167082},
 acmid = {3167082},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {bytecode, reduction, soundness, stack machine},
}

