Configuration validation with large language models X Lian, Y Chen, R Cheng, J Huang, P Thakkar, T Xu arXiv preprint arXiv:2310.09690, 2023 | 7 | 2023 |
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 | 7 | 2023 |
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 | | 2024 |
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 | | 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 |