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 × China
5 × USA
Collaborated with:
B.Hardekopf K.Dewey B.Wiedermann X.Li M.Tiwari T.Sherwood F.T.Chong B.R.Churchill J.Oberg E.A.Kuefner J.Wagner K.Gibbons J.Sarracino J.K.Oberg V.R.Rajarathinam R.Kastner
Talks about:
javascript (3) secur (3) languag (2) hardwar (2) flow (2) interpret (1) signatur (1) platform (1) parallel (1) descript (1)

Person: Vineeth Kashyap

DBLP DBLP: Kashyap:Vineeth

Contributed to:

CGO 20152015
ASPLOS 20142014
CGO 20142014
FSE 20142014
VMCAI 20142014
PLDI 20112011

Wrote 6 papers:

CGO-2015-DeweyKH #interpreter #javascript #parallel
A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
ASPLOS-2014-0001KOTRKSHC #named #policy #security
Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.
CGO-2014-KashyapH #security
Security Signature Inference for JavaScript-based Browser Addons (VK, BH), p. 219.
FSE-2014-KashyapDKWGSWH #framework #javascript #named #platform #static analysis
JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
VMCAI-2014-HardekopfWCK #control flow
Widening for Control-Flow (BH, BW, BRC, VK), pp. 472–491.
PLDI-2011-LiTOKCSH #data flow #hardware #named
Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.

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.