Publications

Yuan Xia, Aabha Pingle, Deepayan Sur, Jyotirmoy v. Deshmukh, Mukund Raghothaman, Srivatsan Ravi (2025). Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models. In FMCAD 2025.

Yuan Xia, Aabha Pingle, Deepayan Sur, Jyotirmoy v. Deshmukh, Mukund Raghothaman, Srivatsan Ravi (2025). LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants. In SAC 2025.

Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy v. Deshmukh, Mukund Raghothaman, Srivatsan Ravi (2025). Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. In VMCAI 2025.

Sara Mohammadinejad, Sheryl Paul, Yuan Xia, Vidisha Kudalkar, Jesse Thomason, Jyotirmoy v. Deshmukh (2024). Systematic Translation from Natural Language Robot Task Descriptions to STL. In AISoLA 2024.

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy v. Deshmukh (2023). Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification. In TCPS 2023.

Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy v. Deshmukh (2022). Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. In ICCPS 2022.

Yuan Xia, Akanksha Atrey, Fadoua Khmaissia, Kedar S. Namjoshi (2022). Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework. arXiv:2504.20213.

Michael Collins, Jyotirmoy v. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia (2022). Superflows: A New Tool for Forensic Network Flow Analysis. arXiv:2403.01314.

Joshua Garcia, Yang Feng, Junjie Shen, Sumaya Almanee, Yuan Xia, Qi Alfred Chen (2020). A Comprehensive Study of Autonomous Vehicle Bugs. In ICSE 2020.

Chuchu Fan, Xin Qin, Yuan Xia, Aditya Zutshi, Jyotirmoy v. Deshmukh (2020). Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference. arXiv:2004.00279.