Liyi Li

Liyi Li

Victor Basili Postdoc, Department of Computer Science, University of Maryland, College Park,

I will become an assistant professor in Iowa State University this fall.

Curriculum Vita

Google Scholar Profile


Teaching
CMSC 433 Programming Language Technologies and Paradigms, Fall 2022
CMSC 433 Programming Language Technologies and Paradigms, Spring 2022


Research Interests: Formal methods; programming languages; software engineering; quantum computing; mathematical semantics of programming languages; formal reasoning about human-computer systems; formal reasoning about security; proof theory and type theory; programming languages for quantum computing; formal and practical verification tools for languages including quantum language; methodology transformation for building trustworthy software development



Publications
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks, Qunity: A Unified Language for Quantum and Classical Computing, POPL 2023
Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks, Verified Compilation of Quantum Oracles, OOPSLA 2022
Liyi Li, Yiyun Liu, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks, A Formal Model of Checked C, CSF 2022
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu, A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks, Proving Quantum Programs Correct, ITP 2021
Liyi Li and Elsa L. Gunter, A Complete Semantics of K and Its Translation to Isabelle, ICTAC 2021
Kesha Hietala, Liyi Li, Akshaj Gaur, Aaron Green, Robert Rand, Xiaodi Wu, Michael Hicks, Expanding the VOQC Toolkit, PLanQC 2021
Liyi Li and Elsa L. Gunter, K-LLVM: A Relatively Complete Semantics of LLVM IR, ECOOP 2020
Liyi Li and Elsa L. Gunter, Per-Location Simulation, NFM 2020
Liyi Li and Elsa L. Gunter, IsaK-Static: A Complete Static Semantics of K, FACS 2018
Liyi Li and Elsa L. Gunter, A method to translate order-sorted algebras to many-sorted algebras, WPTE 2017
Liyi Li, Elsa L. Gunter, William Mansky. Symbolic Analysis Tools for CSP, ICTAC 2014


External Reviewing


Awards


Address:



Last modified: Sep 24, 2022.