Xinyu Lian

I am a second-year MSCS student in the Department of Computer Science at University of Illinois at Urbana-Champaign. I am co-advised by Prof. Tianyin Xu and Prof. Darko Marinov. I got my bachelor degree from Zhejiang University, major in Computer Engineering.

🙋 Feel free to send me an email if you are interested in my research.

🔥 News

Apr 15, 2024	I will join CS@UIUC as a PhD student in 2024Fall. See you in the cornfields!
Mar 28, 2023	I am honored to be the only master student chosen as the student volunteer of ICSE’23!
Dec 8, 2022	Our work uRTS has been accepted by ICSE’23!
Jun 30, 2022	I graduated from Zhejiang University with the Provincial Outstanding Graduate Award.

📃 Papers

pre-print

Configuration Validation with Large Language Models

Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang, Parth Thakkar, Minjia Zhang, and Tianyin Xu

arXiv preprint arXiv:2310.09690. 2023

arXiv Bib

@article{lian2023ciri,
  title = {Configuration Validation with Large Language Models},
  author = {Lian, Xinyu and Chen, Yinfang and Cheng, Runxiang and Huang, Jie and Thakkar, Parth and Zhang, Minjia and Xu, Tianyin},
  journal = {arXiv preprint arXiv:2310.09690},
  year = {2023},
}

FSE’24

Ctest4J: A Practical Configuration Testing Framework for Java

Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, and Tianyin Xu

Proceedings of the 30th ACM International Conference on the Foundations of Software Engineering, Demo Papers. 2024

ICSE’23

Test Selection for Unified Regression Testing

Shuai Wang, Xinyu Lian, Darko Marinov, and Tianyin Xu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering. 2023

DOI Bib PDF Artifact

@inproceedings{lian2023urts,
  title = {Test Selection for Unified Regression Testing},
  author = {Wang, Shuai and Lian, Xinyu and Marinov, Darko and Xu, Tianyin},
  year = {2023},
  booktitle = {Proceedings of the 45th IEEE/ACM International Conference on Software Engineering},
  location = {Melbourne, Australia},
  series = {ICSE 2023},
  doi = {10.1109/ICSE48619.2023.00145},
  available = {},
  reusable = {},
  artifact = {https://github.com/xlab-uiuc/uRTS-ae}
}

ABZ’21

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, and Klaus-Dieter Schewe

Rigorous State-Based Methods. 2021

DOI

*SE conferences like ICSE do not badge for reproducibility at artifact evaluation as it requires third-party re-implementation. Nonetheless, we got all badges we can get.