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

Registered user since Tue 14 Sep 2021

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

Contributions

2026

PLDI

  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2025

SPLASH

  • Author of HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition within the OOPSLA-track

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 26 Oct 22:52
using conf.researchr.org (v1.72.1)
Support page
Sign Up