ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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: China

Affiliation: University of Illinois at Urbana-Champaign

Personal website: https://github.com/liyili2

Research interests: Programming Language and Formal Method

Contributions

ECOOP 2020Author of K-LLVM: A Relatively Complete Semantics of LLVM IR within the Research Papers-track
Show activities from other conferences

SPLASH 2020-profile
View general profile