Browsing by Author Huang, Yipeng
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2021 | Logical abstractions for noisy variational Quantum algorithm simulation | Huang, Yipeng; Holtzen, Steven; Millstein, Todd; Van den Broeck, Guy; Martonosi, Margaret |
| 2019 | QDB: From Quantum Algorithms Towards Correct Quantum Programs | Huang, Yipeng; Martonosi, Margaret |
| Jun-2019 | Statistical assertions for validating patterns and finding bugs in quantum programs | Huang, Yipeng; Martonosi, Margaret |