Publications

2023

Grisette: Symbolic Compilation as a Functional Programming Library (To appear)
Sirui Lu, Rastislav Bodik
POPL’23: 50th ACM SIGPLAN Symposium on Principles of Programming Languages
[PDF][DOI][Slides]

2021

Faster Mutation Analysis with Fewer Processes and Smaller Overheads
Bo Wang*, Sirui Lu*, Yingfei Xiong, Feng Liu
ASE’21: 36th IEEE/ACM International Conference on Automated Software Engineering
[PDF][DOI]

2020

Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques (基于动态分析的软件不变量综合技术)
Bo Wang, Sirui Lu, Jiajun Jiang, Yingfei Xiong
Ruan Jian Xue Bao/Journal of Software, 31(6):1681−1702 (in Chinese)
[PDF][JOS]

* equal contribution