Publications | Vineeth Kashyap

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melsi, Lucja Kot (2020). API Analytics for Curating Static Analysis Rules. TAPAS.

PDF Video

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

PDF Video

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

PDF

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

PDF

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

PDF Video

Kyle Dewey, Vineeth Kashyap, Ben Hardekopf (2015). A Parallel Abstract Interpreter for JavaScript. CGO.

PDF

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

PDF DOI

Xun Li, Vineeth Kashyap, Jason Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Tim Sherwood, Ben Hardekopf, Frederic T. Chong (2014). Sapper: A Language for Hardware-Level Security Policy Enforcement. ASPLOS.

PDF

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

PDF

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

PDF

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf (2013). Type Refinement for Static Analysis of JavaScript. DLS.

PDF

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong (2013). Sapper: a Language for Provable Hardware Policy Enforcement. PLAS.

PDF

Xun Li, Mohit Tiwari, Jason K. Oberg, Vineeth Kashyap, Fred Chong, Tim Sherwood, Ben Hardekopf (2011). Caisson: a Hardware Description Language for Secure Information Flow. PLDI.

PDF

Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf (2011). Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. S&P.

PDF