Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, and Software Testing and Debugging Techniques.
Validating AI-Generated Code with Live Programming
Projection Boxes: On-the-fly Reconfigurable Visualization for Live Programming
Towards a verified range analysis for JavaScript JITs
On Subnormal Floating Point and Abnormal Timing
Interactive parser synthesis by example
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks
WitchDoctor: IDE Support for Real-Time Auto-Completion of Refactorings
2013cited by 72position: last
WitchDoctor: IDE support for real-time auto-completion of refactorings
Towards a Large Language Model-based Smart Learning Hub for Computing Education
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
SHF: Medium: Generating Correctness Proofs with Neural Networks
CPS: Synergy: Towards Foundational Verification of Cyber-Physical Systems
TWC: Medium: Towards a Formally Verified Web Browser
SHF:Small: Bringing Extensibility and Performance to Verified Compilers
SHF: Small: Application Shrinking for Reducing Energy Consumption
CPA-CPL: Scalable Analysis for Concurrent Programs
CAREER: Automatically Generating and Processing Program Analyses and Optimizations