Vineeth Kashyap

Latest

• API Analytics for Curating Static Analysis Rules
• Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
• Automated Customized Bug-Benchmark Generation
• Source Forager: A Search Engine for Similar Source Code
• MuSynth: Program Synthesis via Code Reuse and Code Manipulation
• A Parallel Abstract Interpreter for JavaScript
• JSAI: A static analysis platform for JavaScript
• Sapper: A Language for Hardware-Level Security Policy Enforcement
• Security Signature Inference for JavaScript-based Browser Addons
• Widening for Control Flow
• Sapper: a Language for Provable Hardware Policy Enforcement
• Type Refinement for Static Analysis of JavaScript
• Caisson: a Hardware Description Language for Secure Information Flow
• Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach