3 papers
cond-mat.mtrl-sci2026
In-situ operation of amorphous circuits under heavy-ion irradiation
Xuanzhe Sha, Shun Liao, Xiaoxi Li +10
Radiation-hardened electronics using semiconductors beyond silicon are essential for computation and control in extreme environments. Yet complex digital circuits based on such mat…
cs.PL2025
A Verified Compiler for Quantum Simulation
Liyi Li, Fenfen An, Federico Zahariev +3
Hamiltonian simulation is a central application of quantum computing, with significant potential in modeling physical systems and solving complex optimization problems. Existing co…
quant-ph2025
Quantum Simulation Programming via Typing
Liyi Li, Federico Zahariev, Chandeepa Dissanayake +3
Quantum simulations are designed to model quantum systems, and many compilation frameworks have been developed for executing such simulations on quantum computers. Most compilers l…