BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
P.Gardner A.Rossberg J.Pichon-Pharabod G.Smith T.Wood P.Maksimovic N.R.Krishnaswami John Renner Natalie Popescu Sunjay Cauligi D.Stefan
Talks about:
web (3) assembl (2) cryptographi (1) javascript (1) ecosystem (1) mechanis (1) encapsul (1) program (1) weaken (1) specif (1)

Person: Conrad Watt

DBLP DBLP: Watt:Conrad

Contributed to:

CAV 20152015
ECOOP 20192019
OOPSLA 20192019
POPL 20192019

Wrote 4 papers:

CAV-2015-GardnerSWW #javascript #specification
A Trusted Mechanised Specification of JavaScript: One Year On (PG, GS, CW, TW), pp. 3–10.
ECOOP-2019-WattMKG #encapsulation #first-order #logic
A Program Logic for First-Order Encapsulated WebAssembly (CW, PM, NRK, PG), p. 30.
OOPSLA-2019-WattRP
Weakening WebAssembly (CW, AR, JPP), p. 28.
POPL-2019-WattRPCS #ecosystem #encryption #named #web
CT-wasm: type-driven secure cryptography for the web ecosystem (CW, JR, NP, SC, DS), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.