Projection-based runtime assertions for testing and debugging Quantum programs

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie 0001. Projection-based runtime assertions for testing and debugging Quantum programs. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Gushu Li

This author has not been identified. Look up 'Gushu Li' in Google

Li Zhou

This author has not been identified. Look up 'Li Zhou' in Google

Nengkun Yu

This author has not been identified. Look up 'Nengkun Yu' in Google

Yufei Ding

This author has not been identified. Look up 'Yufei Ding' in Google

Mingsheng Ying

This author has not been identified. Look up 'Mingsheng Ying' in Google

Yuan Xie 0001

This author has not been identified. Look up 'Yuan Xie 0001' in Google