Publications
- JITProf: Pinpointing JIT-Unfriendly JavaScript Code
- MultiSE: Multi-path Symbolic Execution using Value Summaries
- DLint: Dynamically Checking Bad Coding Practices in JavaScript
- TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript
- EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
- Precimonious: Tuning Assistant for Floating-Point Precision