Sign in
Liyi Li
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Analog Vlsi
Quantum Computing
Query Optimizer
Formal Models
Top Venues
J. Comput. Secur.
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Kesha Hietala
,
Robert Rand
,
Liyi Li
,
Shih-Han Hung
,
Xiaodi Wu
,
Michael Hicks
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst.
45 (3) (2023)
Liyi Li
,
Yiyun Liu
,
Deena L. Postol
,
Leonidas Lampropoulos
,
David Van Horn
,
Michael Hicks
A formal model of Checked C.
J. Comput. Secur.
31 (5) (2023)