SPLASH 2023 (series) / Liyi Li
![Liyi Li](https://2023.splashcon.org/getProfileImage/liyili/f66d7938-7fc1-495e-9d83-aec409b6e913/small.jpg?1711484574000)
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
Personal website: https://github.com/liyili2
Research interests:Programming Language and Formal Method
Contributions
SPLASH 2023-profile
View general profile
View general profile