5
Publications
73
Citations
5
H-Index
2020
Active since
Affiliations
Liyi Li is an author at University of Maryland, College Park.
Publications per year
2020–2023
5
5
Proving Quantum Programs Correct
Kesha Hietala, Robert W. Rand, Shih-Han Hung et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 19 citations · Full text
Verified compilation of Quantum oracles
Liyi Li, Finn Voichick, Kesha Hietala et al. · Proceedings of the ACM on Programming Languages · 2022 · 13 citations · Full text
A Verified Optimizer for Quantum Circuits
Kesha Hietala, Robert W. Rand, Liyi Li et al. · ACM Transactions on Programming Languages and Systems · 2023 · 12 citations · Full text
Rows per page
1–5 of 5