Rule Designs for Optimal Online Game Matchmaking. - Mingkuan Xu; Yang Yu 011; Chenye Wu (CoRR, 2019)

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

QuanTaichi: a compiler for quantized simulations. - Yuanming Hu; Jiafeng Liu; Xuanda Yang; Mingkuan Xu; Ye Kuang; Weiwei Xu; Qiang Dai; William T. Freeman; Frédo Durand (ACM Trans. Graph., 2021)

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 (PLDI, 2022)

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

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

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

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version). - Mingkuan Xu; Shiyi Cao; Xupeng Miao; Umut A. Acar; Zhihao Jia (CoRR, 2024)

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

Local Optimization of Quantum Circuits (Extended Version). - Jatin Arora 002; Mingkuan Xu; Sam Westrick; Pengyu Liu; Dantong Li; Yongshan Ding 001; Umut A. Acar (CoRR, 2025)

POPQC: Parallel Optimization for Quantum Circuits (Extended Version). - Pengyu Liu; Jatin Arora 002; Mingkuan Xu; Umut A. Acar (CoRR, 2025)

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