Publications
2025
Support is All You Need for Certified VAE Training
Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh
ICLR • 2025 • PDF
certified trainingVAEadversarial robustness
2024
Scalable Relational Verification and Training for Deep Neural Networks
Debangshu Banerjee, Changming Xu, Gagandeep Singh
SAIV • 2024 • PDF
verificationneural networkscertified training
Cross-Input Certified Training for Universal Perturbations
Changming Xu, Gagandeep Singh
ECCV • 2024 • PDF
certified traininguniversal perturbationsadversarial robustness
Robust Universal Adversarial Perturbations
Changming Xu, Gagandeep Singh
ICML • 2024 • PDF
adversarial examplesuniversal perturbationsrobustness
Input-Relational Verification of Deep Neural Networks
Debangshu Banerjee, Changming Xu, Gagandeep Singh
PLDI • 2024 • PDF
verificationneural networksformal methods
Bypassing the Safety Training of Open-Source LLMs with Priming Attacks
Jason Vega, Isha Chaudhary, Changming Xu, Gagandeep Singh
ICLR Tiny Paper • 2024 • PDF
LLM safetypriming attacksadversarial
2023
Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems
Zikun Liu, Changming Xu, Emerson Sie, Gagandeep Singh, Deepak Vasisht
NSDI • 2023 • PDF
wireless systemsadversarialmachine learning
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
parallel computingrace detectionalgorithms
* Denotes equal contribution