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: Kashyap:Vineeth
Contributed to:
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.