Xinyue Liu 刘心悦
I am an assistant professor (弘深青年教师) in the School of Big Data & Software Engineering at Chongqing University (CQU, 重庆大学). I am currently a member of the Intelligent Software Engineering research team led by Hongyu Zhang (张洪宇), Dean of the School.
For visitors, my office is on the CQU Huxi Campus: 重庆大学虎溪校区信息技术科研楼 B707.
Before joining CQU, I completed my Ph.D. at the University at Buffalo under the supervision of Lukasz Ziarek.
Research
My research lies at the intersection of Software Engineering and Programming Language Theory. I am currently interested in AI-assisted analysis and verification of Web applications, especially dependency security in the Web ecosystem. More broadly, I study how AI and program analysis can make software development and maintenance more reliable.
I welcome students driven by curiosity, particularly those eager to make meaningful contributions at the frontiers of human knowledge. This is the place where you can take on challenging problems and gain top-tier publications. If you have a solid programming background with research interests aligned with mine, feel free to contact me at aaronxyliu@cqu.edu.cn.
For Pakistani students, welcome to reach out if your undergraduate university is one of the following: NUST, COMSATS, UET Lahore, PU, LUMS, QAU, FAST_NUCES or a university with equivalent prestige.
From the Blog
Alongside research and technical notes, this blog offers guided series on program analysis, programming language theory, and academic writing. The series use examples to help students and other newcomers build the intuition needed to read papers and textbooks.
Formalization in Software Engineering
New to program analysis papers? Start with sets and program states, then work through semantic rules, abstraction, and the guarantees an analysis can provide. A final article traces the history of formal methods.
Easy Foundations for Programming Languages
Build a foundation in programming language theory, starting with the basic concepts.
5 articles · Advanced topicsDenotational Semantics of Typed Lambda Calculus
Study mathematical models of typed lambda calculus and how they give meaning to programs.
12 articles · AlgorithmsRandomized Algorithms
Learn probabilistic tools, classic randomized algorithms, and the reasoning used to analyze them.
3 articles · Research skillsAcademic Writing
Develop research questions, organize a paper, and make technical writing clearer.
If you are new to software analysis, begin with Formalization in Software Engineering, then turn to Easy Foundations for Programming Languages. If you already know basic semantics and type systems, you can start with the denotational semantics series.
Experience
CQU, Big Data & SE School
UB, Computer Science and Engineering Department, USA
NJU (南京大学), Computer Science and Technology Department
Publications
Students
I'm glad to guide the following talented students:
M.S. Students
- Kesen Wang 王柯森 from Chongqing Technology and Business UniversityChina – current
- Hufang Wang 王琥方 from Henan UniversityChina – current
- Ahmad Hurayarah from COMSATS University IslamabadPakistan Starts
- Abu Bakar from University of the PunjabPakistan Starts
- Zeeshan Hyder from Sukkur IBA UniversityPakistan Starts
Undergraduate Students
- Zhaofeng Li 李兆丰 from Chongqing UniversityChina – current
- Junjie Tan 谭俊杰 from Chongqing UniversityChina – current
Grants
Chongqing Young Elite Program: “New Methods for Web Front-End Analysis Driven by Runtime Semantics”