Liyi Li

Registered user since Fri 10 Apr 2020

Name:Liyi Li
Bio:

I am Liyi Li, a PhD student at the University of Illinois at Urbana-Champaign. I will work at the University of Maryland as a PostDoc this fall. My research area is Programming Language, Formal Methods, Compilers and Software Engineering. I am especially interested in verifying compilers. I like to fully verify a compiler in real-world, such as the compiler from Haskell to LLVM. My plan is to define the semantics of the source and target languages, as well as each step in a compiler, and then verify that the compiler step preserves the language meaning after the translation.

Country:United States
Affiliation:University of Maryland
Research interests:Programming Language and Formal Method

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
POPL 2023 Author of Qunity: A Unified Language for Quantum and Classical Computing within the POPL-track
SPLASH 2022 Author of Verified Compilation of Quantum Oracles within the OOPSLA-track
PLanQC 2021 Author of Expanding the VOQC Toolkit within the PLanQC 2021-track
ECOOP 2020 Author of K-LLVM: A Relatively Complete Semantics of LLVM IR within the Research Papers-track