Optimal Layout Synthesis for Quantum Computing. - Bochen Tan; Jason Cong (ICCAD, 2020)

QUEKO-Benchmark. - Bochen Tan (IEEE DataPort, 2020)

Optimal Qubit Mapping with Simultaneous Gate Absorption ICCAD Special Session Paper. - Bochen Tan; Jason Cong (ICCAD, 2021)

Optimal Qubit Mapping with Simultaneous Gate Absorption. - Bochen Tan; Jason Cong (CoRR, 2021)

Optimality Study of Existing Quantum Computing Layout Synthesis Tools. - Bochen Tan; Jason Cong (IEEE Trans. Computers, 2021)

Qubit Mapping for Reconfigurable Atom Arrays. - Bochen Tan; Dolev Bluvstein; Mikhail D. Lukin; Jason Cong (ICCAD, 2022)

Domain-Specific Quantum Architecture Optimization. - Wan-Hsuan Lin; Bochen Tan; Murphy Yuezhen Niu; Jason Kimko; Jason Cong (IEEE J. Emerg. Sel. Topics Circuits Syst., 2022)

Scalable Optimal Layout Synthesis for NISQ Quantum Processors. - Wan-Hsuan Lin; Jason Kimko; Bochen Tan; Nikolaj S. Bjørner; Jason Cong (DAC, 2023)

FPQA-C: A Compilation Framework for Field Programmable Qubit Array. - Hanrui Wang 002; Pengyu Liu; Bochen Tan; Yilian Liu; Jiaqi Gu 002; David Z. Pan; Jason Cong; Umut A. Acar; Song Han 003 (CoRR, 2023)

Q-Pilot: Field Programmable Quantum Array Compilation with Flying Ancillas. - Hanrui Wang 002; Bochen Tan; Pengyu Liu; Yilian Liu; Jiaqi Gu 002; Jason Cong; Song Han 003 (CoRR, 2023)

Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas. - Hanrui Wang 002; Daniel Bochen Tan; Pengyu Liu; Yilian Liu; Jiaqi Gu 002; Jason Cong; Song Han 003 (DAC, 2024)

Depth-Optimal Addressing of 2D Qubit Array with 1D Controls Based on Exact Binary Matrix Factorization. - Daniel Bochen Tan; Shuohao Ping; Jason Cong (DATE, 2024)

GNN-Based Performance Prediction of Quantum Optimization of Maximum Independent Set. - Atefeh Sohrabizadeh; Wan-Hsuan Lin; Daniel Bochen Tan; Madelyn Cain; Sheng-Tao Wang; Mikhail D. Lukin; Jason Cong (ICCAD, 2024)

Quantum State Preparation Circuit Optimization Exploiting Don't Cares. - Hanyu Wang; Daniel Bochen Tan; Jason Cong (ICCAD, 2024)

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing. - Daniel Bochen Tan; Murphy Yuezhen Niu; Craig Gidney (ISCA, 2024)

Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays. - Hanrui Wang 002; Pengyu Liu; Daniel Bochen Tan; Yilian Liu; Jiaqi Gu 002; David Z. Pan; Jason Cong; Umut A. Acar; Song Han 003 (ISCA, 2024)

Quantum State Preparation Using an Exact CNOT Synthesis Formulation. - Hanyu Wang; Bochen Tan; Jason Cong; Giovanni De Micheli (CoRR, 2024)

Layout Synthesis for Quantum Computing - Bochen Tan (2024)

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors. - Daniel Bochen Tan; Dolev Bluvstein; Mikhail D. Lukin; Jason Cong (Quantum, 2024)

Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling. - Daniel Bochen Tan; Wan-Hsuan Lin; Jason Cong (ASP-DAC, 2025)

Reuse-Aware Compilation for Zoned Quantum Architectures Based on Neutral Atoms. - Wan-Hsuan Lin; Daniel Bochen Tan; Jason Cong (HPCA, 2025)