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

Collaborated with:
Sunjay Cauligi D.Stefan C.Watt Natalie Popescu Gary Soeller Brian Johannesmeyer Fraser Brown Riad S. Wahby B.Grégoire G.Barthe R.Jhala
Talks about:
cryptographi (1) ecosystem (1) sensit (1) driven (1) comput (1) secur (1) wasm (1) type (1) time (1) web (1)

Person: John Renner

DBLP DBLP: Renner:John

Contributed to:

PLDI 20192019
POPL 20192019

Wrote 2 papers:

PLDI-2019-CauligiSJBWRGBJ #domain-specific language #named
FaCT: a DSL for timing-sensitive computation (SC, GS, BJ, FB, RSW, JR, BG, GB, RJ, DS), pp. 174–189.
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.