Publications

2025

TensorRight: Automated Verification of Tensor Graph Rewrites (To appear)
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodik, Amit Sabne, Charith Mendis
POPL’25: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages 🏆Distinguished Paper
[PDF] [DOI] [GitHub]

2023

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

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