Publications

Mingkuan Xu, Shiyi Cao, Xupeng Miao, Umut A. Acar, Zhihao Jia (2024). Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs. In SC'24.

Code Extended Version

Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar (2024). GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. QCE 2024.

Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia (2022). Quartz: Superoptimization of Quantum Circuits. PLDI 2022.

PDF Code Video Extended Version

Yuanming Hu, Jiafeng Liu, Xuanda Yang, Mingkuan Xu, Ye Kuang, Weiwei Xu, Qiang Dai, William T. Freeman, Frédo Durand (2021). QuanTaichi: A Compiler for Quantized Simulations. SIGGRAPH 2021.

Mingkuan Xu, Yuanming Hu, Ye Kuang, Frédo Durand (2020). AsyncTaichi: Whole-Program Optimizations for Megakernel Sparse Computation and Differentiable Programming. N/A.

Mingkuan Xu, Yang Yu, Chenye Wu (2019). Rule Designs for Optimal Online Game Matchmaking. Chinese Control Conference 2021.