Publications
2026
SEVerA: Verified Synthesis of Self-Evolving Agents
Debangshu Banerjee, Changming Xu, Gagandeep Singh
In Submission • 2026 • PDF
2025
Enforcing Temporal Constraints for LLM Agents
Adharsh Kamath, Sishen Zhang, Changming Xu, Shubham Ugare, Gagandeep Singh, Sasa Misailovic
In Submission • 2025 • PDF
Support is All You Need for Certified VAE Training
Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh
ICLR • 2025 • PDF
2024
Scalable Relational Verification and Training for Deep Neural Networks
Debangshu Banerjee, Changming Xu, Gagandeep Singh
SAIV • 2024 • PDF
Cross-Input Certified Training for Universal Perturbations
Changming Xu, Gagandeep Singh
ECCV • 2024 • PDF
Robust Universal Adversarial Perturbations
Changming Xu, Gagandeep Singh
ICML • 2024 • PDF
Input-Relational Verification of Deep Neural Networks
Debangshu Banerjee, Changming Xu, Gagandeep Singh
PLDI • 2024 • PDF
Bypassing the Safety Training of Open-Source LLMs with Priming Attacks
Jason Vega, Isha Chaudhary, Changming Xu, Gagandeep Singh
ICLR Tiny Paper • 2024 • PDF
2023
Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems
Zikun Liu, Changming Xu, Emerson Sie, Gagandeep Singh, Deepak Vasisht
NSDI • 2023 • PDF
2018
Race Detection and Reachability in Nearly Series-Parallel DAGs
Kunal Agrawal, Joseph Devietti, Jeremy T. Fineman, I-Ting Angelina Lee, Robert Utterback, Changming Xu
ACM-SIAM SODA • 2018 • PDF
* Denotes equal contribution