Mingkuan Xu
Mingkuan Xu
Home
Research
Talks
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Preprint
Date
2022
2021
2020
2019
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
Cite
×