Liyi Li

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Quantum Computing

Deadlock Detection

Operating System

Top Venues

J. Comput. Secur.

ACM Trans. Program. Lang. Syst.

Publications

Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Liyi Li
DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. CoRR (2024)
Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu
The Quantum Abstract Machine. CoRR (2024)
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)