Quartz: superoptimization of Quantum circuits

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia. Quartz: superoptimization of Quantum circuits. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 625-640, ACM, 2022. [doi]

Authors

Mingkuan Xu

This author has not been identified. Look up 'Mingkuan Xu' in Google

Zikun Li

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

Oded Padon

This author has not been identified. Look up 'Oded Padon' in Google

Sina Lin

This author has not been identified. Look up 'Sina Lin' in Google

Jessica Pointing

This author has not been identified. Look up 'Jessica Pointing' in Google

Auguste Hirth

This author has not been identified. Look up 'Auguste Hirth' in Google

Henry Ma

This author has not been identified. Look up 'Henry Ma' in Google

Jens Palsberg

This author has not been identified. Look up 'Jens Palsberg' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google

Umut A. Acar

This author has not been identified. Look up 'Umut A. Acar' in Google

Zhihao Jia

This author has not been identified. Look up 'Zhihao Jia' in Google