| JSAI: A static analysis platform for JavaScript V Kashyap, K Dewey, EA Kuefner, J Wagner, K Gibbons, J Sarracino, ... Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 177 | 2014 |
| Sapper: A Language for Hardware-Level Security Policy Enforcement X Li, V Kashyap, JK Oberg, M Tiwari, VR Rajarathinam, R Kastner, ... International Conference on Architectural Support for Programming Languages …, 2014 | 161 | 2014 |
| Caisson: a hardware description language for secure information flow X Li, M Tiwari, JK Oberg, V Kashyap, FT Chong, T Sherwood, ... ACM SIGPLAN Notices 46 (6), 109-120, 2011 | 158 | 2011 |
| Timing-and termination-sensitive secure information flow: Exploring a new approach V Kashyap, B Wiedermann, B Hardekopf 2011 IEEE Symposium on Security and Privacy, 413-428, 2011 | 114 | 2011 |
| Type Refinement for Static Analysis of JavaScript V Kashyap, J Sarracino, J Wagner, B Wiedermann, B Hardekopf Dynamic Languages Symposium, 2013 | 39 | 2013 |
| Automated Customized Bug-Benchmark Generation V Kashyap, J Ruchti, L Kot, E Turetsky, R Swords, SA Pan, J Henry, ... 2019 19th International Working Conference on Source Code Analysis and …, 2019 | 29 | 2019 |
| Security Signature Inference for JavaScript-based Browser Addons V Kashyap, B Hardekopf International Symposium on Code Generation and Optimization, 2014 | 23 | 2014 |
| Source Forager: A Search Engine for Similar Source Code V Kashyap, DB Brown, B Liblit, D Melski, T Reps arXiv preprint arXiv:1706.02769, 2017 | 17 | 2017 |
| A parallel abstract interpreter for JavaScript K Dewey, V Kashyap, B Hardekopf 2015 IEEE/ACM International Symposium on Code Generation and Optimization …, 2015 | 17 | 2015 |
| Widening for Control-Flow B Hardekopf, B Wiedermann, B Churchill, V Kashyap International Conference on Verification, Model Checking, and Abstract …, 2014 | 17 | 2014 |
| Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments R Scott, J Ranieri, L Kot, V Kashyap 2020 IEEE 20th International Working Conference on Source Code Analysis and …, 2020 | 6 | 2020 |
| Automatically arranging objects in a selected portion of a graphical program block diagram A Kodaganur, SK Gopal, V Kashyap, C Smith, B Dev US Patent 8,539,505, 2013 | 5 | 2013 |
| Excluding a portion of a graphical program from re-arrangement A Kodaganur, SK Gopal, V Kashyap, C Smith, B Dev US Patent 8,533,738, 2013 | 4 | 2013 |
| Position Paper: Sapper—A Language for Provable Hardware Policy Enforcement X Li, V Kashyap, JK Oberg, M Tiwari, VR Rajarathinam, R Kastner, ... Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013 | 3 | 2013 |
| Re-arranging a graphical program while keeping contents of a structure object fixed A Kodaganur, SK Gopal, V Kashyap, C Smith, B Dev US Patent 8,533,739, 2013 | 2 | 2013 |
| MuSynth: Program Synthesis via Code Reuse and Code Manipulation V Kashyap, R Swords, E Schulte, D Melski International Symposium on Search Based Software Engineering, 117-123, 2017 | 1 | 2017 |
| API analytics for curating static analysis rules V Kashyap, R Scott, J Ranieri, D Melski, L Kot Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for …, 2020 | | 2020 |
| Configurable and Sound Static Analysis of JavaScript: Techniques and Applications V Kashyap University of California, Santa Barbara, 2015 | | 2015 |
Ben WiedermannHarvey Mudd CollegeVerified email at g.hmc.edu
