Vineeth Kashyap
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2011–2020
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | OOPSLA | API analytics for curating static analysis rules. | Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot |
| 2020 | SCAM | Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. | Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap |
| 2019 | SCAM | 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 |
| 2017 | SSBSE | MuSynth: Program Synthesis via Code Reuse and Code Manipulation. | Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski |
| 2015 | CGO | A parallel abstract interpreter for JavaScript. | Kyle Dewey, Vineeth Kashyap, Ben Hardekopf |
| 2014 | ASPLOS | Sapper: a language for hardware-level security policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2014 | CGO | Security Signature Inference for JavaScript-based Browser Addons. | Vineeth Kashyap, Ben Hardekopf |
| 2014 | VMCAI | Widening for Control-Flow. | Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap |
| 2013 | DLS | Type refinement for static analysis of JavaScript. | Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf |
| 2013 | PLDI | Position paper: Sapper - a language for provable hardware policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2011 | PLDI | Caisson: a hardware description language for secure information flow. | Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
| 2011 | SP | Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. | Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf |