Follow
Sirui Lu
Sirui Lu
PhD student, University of Washington
Verified email at cs.washington.edu
Title
Cited by
Cited by
Year
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
B Wang, S Lu, Y Xiong, F Liu
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
52021
Grisette: Symbolic Compilation as a Functional Programming Library
S Lu, R Bodík
Proceedings of the ACM on Programming Languages 7 (POPL), 455-487, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–2