Vineeth Kashyap

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