Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Tianyi Hao 0003

dblp:268/6000 · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
5since 2021 · last 2026
0000-0003-4074-4971ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 6 · 2 first-author · 5 since 2021Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Emerging computing paradigms · 92% Parallel and multicore computing · 8%
Theoretical computer science
3 papers
Quantum computing and quantum information · 76% Automated reasoning and model checking · 12% Mathematical optimization · 12%
Artificial intelligence
1 paper
Graph learning · 50% Motion planning and robot control · 50%

Topics — the 16 heaviest of 16, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Emerging computing paradigms
quantum computer architecture
2.332024
Tetris: A Compilation Framework for VQA Applications in Quantum Computing · ISCA 2024
Combining Parameterized Pulses and Contextual Subspace for More Practical VQE · DAC 2024
Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm · DAC 2024
Quantum computing and quantum information › quantum error correction
fault-tolerant quantum computation
1.012026
Reducing T Gates with Unitary Synthesis · ASPLOS (2) 2026
Quantum computing and quantum information
quantum circuit synthesis
1.012026
Reducing T Gates with Unitary Synthesis · ASPLOS (2) 2026
Quantum computing and quantum information › quantum circuit synthesis
unitary synthesis
1.012026
Reducing T Gates with Unitary Synthesis · ASPLOS (2) 2026
Emerging computing paradigms › quantum computer architecture
hybrid quantum-classical computing
0.812024
Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm · DAC 2024
Emerging computing paradigms › quantum computing
quantum approximate optimization algorithm
0.812024
Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm · DAC 2024
Emerging computing paradigms › quantum computer architecture
quantum compilation
0.812024
Tetris: A Compilation Framework for VQA Applications in Quantum Computing · ISCA 2024
Emerging computing paradigms
quantum computing
0.722024
Efficient 2D tensor network simulation of quantum systems · SC 2020
Tetris: A Compilation Framework for VQA Applications in Quantum Computing · ISCA 2024
Automated reasoning and model checking › diagnosis
debugging
0.712023
Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing · ISCA 2023
Mathematical optimization › optimization for machine learning
hyperparameter optimization
0.712023
Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing · ISCA 2023
Quantum computing and quantum information › quantum algorithms
variational quantum algorithms
0.712023
Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing · ISCA 2023
Parallel and multicore computing › parallel architecture
distributed-memory parallel computing
0.412020
Efficient 2D tensor network simulation of quantum systems · SC 2020
Quantum computing and quantum information
quantum error correction
0.312026
Reducing T Gates with Unitary Synthesis · ASPLOS (2) 2026
Machine learning › Graph learning
graph neural network
0.212024
Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm · DAC 2024
Robotics › Motion planning and robot control
warm-starting
0.212024
Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm · DAC 2024
Quantum computing and quantum information › quantum algorithms
variational quantum eigensolver
0.112020
Efficient 2D tensor network simulation of quantum systems · SC 2020

Methods — techniques the papers use, named apart from their topics

graph neural network · 1.5randomized SVD · 0.9imaginary time evolution · 0.9warm-start · 0.8warm start · 0.8pauli grouping · 0.8hardware mapping · 0.8contextual subspace · 0.8circuit synthesis · 0.8error mitigation · 0.7compressed sensing · 0.7classical optimization · 0.7
YearPublicationVenuePosition
2026 Reducing T Gates with Unitary Synthesis
abstract
Quantum error correction is essential for achieving practical quantum computing but has a significant computational overhead. Among fault-tolerant (FT) gate operations, non-Clifford gates, such as T, are particularly expensive due to their reliance on magic state distillation. These costly T gates appear frequently in FT circuits as many quantum algorithms require arbitrary single-qubit rotations, such as Rx and Rz gates, which must be decomposed into a sequence of T and Clifford gates. In many quantum circuits, Rx and Rz gates can be fused to form a single U3 unitary. However, existing synthesis methods, such as gridsynth, rely on indirect decompositions, requiring separate Rz decompositions that result in a threefold increase in T count.
Tianyi Hao 0003, Amanda Xu, Swamit S. Tannu
ASPLOS (2)1
2024 Invited: Graph Learning for Parameter Prediction of Quantum Approximate Optimization Algorithm
abstract
In recent years, quantum computing has emerged as a transformative force in the field of combinatorial optimization, offering novel approaches to tackling complex problems that have long challenged classical computational methods. Among these, the Quantum Approximate Optimization Algorithm (QAOA) stands out for its potential to efficiently solve the Max-Cut problem, a quintessential example of combinatorial optimization. However, practical application faces challenges due to current limitations on quantum computational resource. Our work optimizes QAOA initialization, using Graph Neural Networks (GNN) as a warm-start technique. This sacrifices affordable computational resource on classical computer to reduce quantum computational resource overhead, enhancing QAOA's effectiveness. Experiments with various GNN architectures demonstrate the adaptability and stability of our framework, highlighting the synergy between quantum algorithms and machine learning. Our findings show GNN's potential in improving QAOA performance, opening new avenues for hybrid quantum-classical approaches in quantum computing and contributing to practical applications.
Zhiding Liang, Gang Liu 0025, Zheyuan Liu 0010, Jinglei Cheng, Tianyi Hao 0003, Zhixin Song, Ji Liu 0007, Fanny Ye, Yiyu Shi 0001
DAC5
2024 Combining Parameterized Pulses and Contextual Subspace for More Practical VQE
abstract
In this paper, we explore the integration of parameterized quantum pulses with the contextual subspace method. The advent of parameterized quantum pulses marks a transition from traditional quantum gates to a more flexible and efficient approach to quantum computing. Working with pulses allows us to potentially access areas of the Hilbert space that are inaccessible with a CNOT-based circuit decomposition. Compared to solving the complete Hamiltonian via the traditional Variational Quantum Eigensolver (VQE), the computation of the contextual correction generally requires fewer qubits and measurements, thus improving computational efficiency. Plus a Pauli grouping strategy, our framework, SpacePulse, can minimize the quantum resource cost for the VQE and enhance the potential for processing larger molecular structures.
Zhiding Liang, Zhixin Song, Jinglei Cheng, Tianyi Hao 0003, Yiyu Shi 0001, Tongyang Li
DAC5
2024 Tetris: A Compilation Framework for VQA Applications in Quantum Computing
abstract
Quantum computing has shown promise in solving complex problems by leveraging the principles of superposition and entanglement. Variational quantum algorithms (VQA) are a class of algorithms suited for near-term quantum computers due to their modest requirements of qubits and depths of computation. This paper introduces Tetris – a compilation framework for VQA applications on near-term quantum devices. Tetris focuses on reducing two-qubit gates in the compilation process since a two-qubit gate has an order of magnitude more significant error and execution time than a single-qubit gate. Tetris exploits unique opportunities in the circuit synthesis stage often overlooked by the state-of-the-art VQA compilers for reducing the number of two-qubit gates. Tetris comes with a refined IR of Pauli string to express such a two-qubit gate optimization opportunity. Moreover, Tetris is equipped with a fast bridging approach that mitigates the hardware mapping cost. Overall, Tetris demonstrates a reduction of up to $41.3 \%$ in CNOT gate counts, $37.9 \%$ in circuit depth, and $\mathbf{4 2. 6 \%}$ in circuit duration for various molecules of different sizes and structures compared with the state-of-the-art approaches. Tetris is open-sourced at this link.
Yuwei Jin, Tianyi Hao 0003, Huiyang Zhou, Yipeng Huang 0001, Eddy Z. Zhang
ISCA4
2023 Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing
abstract
Variational quantum algorithms (VQAs) can potentially solve practical problems using contemporary Noisy Intermediate Scale Quantum (NISQ) computers. VQAs find near-optimal solutions in the presence of qubit errors by classically optimizing a loss function computed by parameterized quantum circuits. However, developing and testing VQAs is challenging due to the limited availability of quantum hardware, their high error rates, and the significant overhead of classical simulations. Furthermore, VQA researchers must pick the right initialization for circuit parameters, utilize suitable classical optimizer configurations, and deploy appropriate error mitigation methods. Unfortunately, these tasks are done in an ad-hoc manner today, as there are no software tools to configure and tune the VQA hyperparameters.
Tianyi Hao 0003, Swamit S. Tannu
ISCA1
2020 Efficient 2D tensor network simulation of quantum systems
abstract
Simulation of quantum systems is challenging due to the exponential size of the state space. Tensor networks provide a systematically improvable approximation for quantum states. 2D tensor networks such as Projected Entangled Pair States (PEPS) are well-suited for key classes of physical systems and quantum circuits. However, direct contraction of PEPS networks has exponential cost, while approximate algorithms require computations with large tensors. We propose new scalable algorithms and software abstractions for PEPS-based methods, accelerating the bottleneck operation of contraction and refactorization of a tensor subnetwork. We employ randomized SVD with an implicit matrix to reduce cost and memory footprint asymptotically. Further, we develop a distributed-memory PEPS library and study accuracy and efficiency of alternative algorithms for PEPS contraction and evolution on the Stampede2 supercomputer. We also simulate a popular near-term quantum algorithm, the Variational Quantum Eigensolver (VQE), and benchmark Imaginary Time Evolution (ITE), which compute ground states of Hamiltonians.
Yuchen Pang, Tianyi Hao 0003, Annika Dugad, Yiqing Zhou 0004, Edgar Solomonik
SC2