2 papers
cs.DC2026
A Formal Semantics of C with OpenMP Parallelism (Extended Version)
Ke Du, Anshu Sharma, Liyi Li +1
OpenMP is a popular parallelization framework that lets users transform sequential code into parallel code with a few simple annotations. Unfortunately, it is also easy to inadvert…
quant-ph2026
Validating Quantum State Preparation Programs (Extended Version)
Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba +2
One of the key steps in quantum algorithms is to prepare an initial quantum superposition state with different kinds of features. These so-called state preparation algorithms are e…