| Large Language Models as Configuration Validators X Lian, Y Chen, R Cheng, J Huang, P Thakkar, M Zhang, T Xu 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE …, 2024 | 16* | 2024 |
| Test Selection for Unified Regression Testing S Wang, X Lian, D Marinov, T Xu 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 9 | 2023 |
| Universal checkpointing: Efficient and flexible checkpointing for large scale distributed training X Lian, SA Jacobs, L Kurilenko, M Tanaka, S Bekman, O Ruwase, ... arXiv preprint arXiv:2406.18820, 2024 | 6 | 2024 |
| Ctest4J: A Practical Configuration Testing Framework for Java S Wang, X Lian, Q Li, D Marinov, T Xu Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |
| Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection F Jiang, N Xiong, X Lian, S González, KD Schewe International Conference on Rigorous State-Based Methods, 118-123, 2021 | | 2021 |
Tianyin XuUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
