Vineeth Kashyap

According to our database, Vineeth Kashyap authored at least 17 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments.

Roger Scott, Joseph Ranieri, Lucja Kot, Vineeth Kashyap

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

API analytics for curating static analysis rules.

Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

2019

Automated Customized Bug-Benchmark Generation.

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte

CoRR, 2019

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

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2017

Source Forager: A Search Engine for Similar Source Code.

Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps

CoRR, 2017

MuSynth: Program Synthesis via Code Reuse and Code Manipulation.

Vineeth Kashyap, Rebecca Swords, Eric M. Schulte, David Melski

Proceedings of the Search Based Software Engineering - 9th International Symposium, 2017

2015

A parallel abstract interpreter for JavaScript.

Kyle Dewey, Vineeth Kashyap, Ben Hardekopf

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

2014

Configurable and Sound Static Analysis of JavaScript: Techniques and Applications.

Vineeth Kashyap

PhD thesis, 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

Widening for Control-Flow.

Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Security Signature Inference for JavaScript-based Browser Addons.

Vineeth Kashyap, Ben Hardekopf

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

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

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

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

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Type refinement for static analysis of JavaScript.

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf

Proceedings of the DLS'13, 2013

2011

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach.

Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Caisson: a hardware description language for secure information flow.

Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011