Caisson: a hardware description language for secure information flow. - Xun Li 001; Mohit Tiwari; Jason Oberg; Vineeth Kashyap; Frederic T. Chong; Timothy Sherwood; Ben Hardekopf (PLDI, 2011)

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. - Vineeth Kashyap; Ben Wiedermann; Ben Hardekopf (IEEE Symposium on Security and Privacy, 2011)

Type refinement for static analysis of JavaScript. - Vineeth Kashyap; John Sarracino; John Wagner; Ben Wiedermann; Ben Hardekopf (DLS, 2013)

Position paper: Sapper - a language for provable hardware policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (PLAS, 2013)

Sapper: a language for hardware-level security policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (ASPLOS, 2014)

Security Signature Inference for JavaScript-based Browser Addons. - Vineeth Kashyap; Ben Hardekopf (CGO, 2014)

JSAI: a static analysis platform for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (SIGSOFT FSE, 2014)

Widening for Control-Flow. - Ben Hardekopf; Ben Wiedermann; Berkeley R. Churchill; Vineeth Kashyap (VMCAI, 2014)

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (CoRR, 2014)

Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. - Vineeth Kashyap (2014)

A parallel abstract interpreter for JavaScript. - Kyle Dewey; Vineeth Kashyap; Ben Hardekopf (CGO, 2015)

MuSynth: Program Synthesis via Code Reuse and Code Manipulation. - Vineeth Kashyap; Rebecca Swords; Eric M. Schulte; David Melski (SSBSE, 2017)

Source Forager: A Search Engine for Similar Source Code. - Vineeth Kashyap; David Bingham Brown; Ben Liblit; David Melski; Thomas W. Reps (CoRR, 2017)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; Shih An Pan; Julien Henry; David Melski; Eric M. Schulte (SCAM, 2019)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; David Melski; Eric M. Schulte (CoRR, 2019)

API analytics for curating static analysis rules. - Vineeth Kashyap; Roger Scott; Joseph Ranieri; David Melski; Lucja Kot (TAPAS@SPLASH, 2020)

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. - Roger Scott; Joseph Ranieri; Lucja Kot; Vineeth Kashyap (SCAM, 2020)