Quartz: Superoptimization of Quantum Circuits

A quantum circuit superoptimizer that automatically generates and verifies circuit transformations for arbitrary quantum gate sets.

QuanTaichi: A Compiler for Quantized Simulations

Simulate more with less memory, using a quantization compiler.

Rule Designs for Optimal Online Game Matchmaking

We derive the optimal mechanism for online game matchmaking with minimum expected waiting time.