Vineeth Kashyap

ORCID

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 7

Top Venues

University of California, Santa Barbara, USA (PHD)

Education History

University of California, Santa Barbara, USA

PHD

Publications

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
API analytics for curating static analysis rules. TAPAS@SPLASH (2020)
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. CoRR (2020)
Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. SCAM (2020)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. CoRR (2019)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. SCAM (2019)
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
Source Forager: A Search Engine for Similar Source Code. CoRR (2017)
Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski
MuSynth: Program Synthesis via Code Reuse and Code Manipulation. SSBSE (2017)
Kyle Dewey, Vineeth Kashyap, Ben Hardekopf
A parallel abstract interpreter for JavaScript. CGO (2015)
Vineeth Kashyap, Ben Hardekopf
Security Signature Inference for JavaScript-based Browser Addons. CGO (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: a static analysis platform for JavaScript. SIGSOFT FSE (2014)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Sapper: a language for hardware-level security policy enforcement. ASPLOS (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. CoRR (2014)
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap
Widening for Control-Flow. VMCAI (2014)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS (2013)
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
Type refinement for static analysis of JavaScript. DLS (2013)
Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. IEEE Symposium on Security and Privacy (2011)
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
Caisson: a hardware description language for secure information flow. PLDI (2011)

Vineeth Kashyap

Publication Activity (10 Years)

Top Topics

Top Venues