• Sign in
  • Sign up
conf.researchr.org / Sirui Lu
  • ASE 2021 profile
  • POPL 2023 profile
  • POPL 2025 profile
Sirui Lu

Registered user since Tue 14 Sep 2021

Name:Sirui Lu
Country:United States
Affiliation:University of Washington
Personal website: https://lsrcz.github.io/
GitHub: https://github.com/lsrcz
Research interests:Programming Languages

Contributions

2025

POPL

  • Author of TensorRight: Automated Verification of Tensor Graph Rewrites within the POPL-track

2023

POPL

  • Author of Grisette: Symbolic Compilation as a Functional Programming Library within the POPL-track

2021

ASE

  • Author of Faster Mutation Analysis with Fewer Processes and Smaller Overheads within the Artifact Evaluation-track
  • Author of Faster Mutation Analysis with Fewer Processes and Smaller Overheads within the Research Papers-track
Share
xSun 18 May 18:34
using conf.researchr.org (v1.69.0)
Support page
Sign Up