Registered user since Tue 14 Sep 2021

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

Contributions

POPL 2023 Grisette: Symbolic Compilation as a Functional Programming Library
Show activities from other conferences

Using general profile