Publications

Pengyu Liu, Mingkuan Xu, Hengyun Zhou, Hanrui Wang, Umut A. Acar, Yunong Shi (2025). ConiQ: Enabling Concatenated Quantum Error Correction on Neutral Atom Arrays. QCE 2025.

PDF Cite arXiv

Jatin Arora, Mingkuan Xu, Sam Westrick, Pengyu Liu, Dantong Li, Yongshan Ding, Umut A. Acar (2025). Local Optimization of Quantum Circuits. QCE 2025.

PDF Cite Extended Version

Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar (2025). POPQC: Parallel Optimization for Quantum Circuits. SPAA 2025.

PDF Cite Code

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

PDF Cite Code Extended Version Blog Post Video (SC24 Digital Experience Registration Required)

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.

PDF Cite Code

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 Cite 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.

PDF Cite Code Video

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

PDF Cite arXiv

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

PDF Cite arXiv