Yu Liu

According to our database, Yu Liu authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Computation Tree Logic Guided Program Repair.

Yu Liu, Yahui Song, Martin Mirchev, Abhik Roychoudhury

IEEE Trans. Software Eng., January, 2026

2023

Program Repair Guided by Datalog-Defined Static Analysis.

Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Efficient SMT-Based Network Fault Tolerance Verification.

Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the Formal Methods - 25th International Symposium, 2023