John Sarracino

Latest

• JSAI: A static analysis platform for JavaScript
• Type Refinement for Static Analysis of JavaScript