mozewei/top-paper-list

Paper

Conferences and Journals of Interests

ASPLOS, ISCA, MICRO, HPCA, SC, PLDI, POPL, QCE, PRL, PRX.

Paper List

Quantum Computing

Title	Conf./Journal	Keyword	Note
Codesign of quantum error-correcting codes and modular chiplets in the presence of defects	ASPLOS'24	----	----
MECH: Multi-Entry Communication Highway for Superconducting Quantum Chiplets	ASPLOS'24	----	----
QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method	ASPLOS'24	----	----
A Fault-Tolerant Million Qubit-Scale Distributed Quantum Computer	ASPLOS'24	----	----
Promatch: Extending the Reach of Real-Time Quantum Error Correction with Adaptive Predecoding	ASPLOS'24	----	----
Elivagar: Efficient Quantum Circuit Search for Classification	ASPLOS'24	----	----
Red-QAOA: Efficient Variational Optimization through Circuit Reduction	ASPLOS'24	----	----
VarSaw: Application-tailored Measurement Error Mitigation for Variational Quantum Algorithms	ASPLOS'24	----	----
ProxiML: Building Machine Learning Classifiers for Photonic Quantum Computing	ASPLOS'24	----	----
Exploiting the Regular Structure of Modern Quantum Architectures for Compiling and Optimizing Programs with Permutable Operators	ASPLOS'24	----	----
One Gate Scheme to Rule Them All: Introducing a Complex Yet Reduced Instruction Set for Quantum Computing	ASPLOS'24	----	----
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification	ASPLOS'24	----	----
Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding	ASPLOS'24	----	----
OnePerc: A Randomness-aware Compiler for Photonic Quantum Computing	ASPLOS'24	----	----
Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction	ASPLOS'23	----	Video
Verification of nondeterministic quantum programs	ASPLOS'23	----	Video
CAFQA: A classical simulation bootstrap for variational quantum algorithms	ASPLOS'23	----	Video
Better Than Worst-Case Decoding for Quantum Error Correction	ASPLOS'23	----	Video
Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET	ASPLOS'23	----	Video
FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes	ASPLOS'23	----	Video
CaQR: A Compiler-assisted Approach for Qubit Reuse Through Dynamic Circuit	ASPLOS'23	----	Video
Suppressing ZZ Crosstalk of Quantum Computers through Pulse and Scheduling Co-Optimization	ASPLOS'22	----	----
QUEST: Systematically Approximating Quantum Circuits for Higher Output Fidelity	ASPLOS'22	----	----
HAMMER: Boosting Fidelity of Noisy Quantum Circuits by Exploiting Hamming Behavior of Erroneous Outcomes	ASPLOS'22	----	----
LILLIPUT: A Lightweight Low-Latency Lookup-Table Based Decoder for Near-term Quantum Error Correction	ASPLOS'22	----	----
Paulihedral: A Generalized Block-Wise Compiler Optimization Framework For Quantum Simulation Kernels	ASPLOS'22	----	----
CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations	ASPLOS'21	----	----
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation	ASPLOS'21	----	----
Qraft: Reverse Your Quantum Circuit and Know the Correct Program Output	ASPLOS'21	----	----
Orchestrated Trios: Compiling for Efficient Communication in Quantum Programs with 3-Qubit Gates	ASPLOS'21	----	----
Time-Optimal Qubit Mapping	ASPLOS'21	----	----
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers	ASPLOS'20	----	Video
Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation	ASPLOS'20	----	Video
Towards Efficient Superconducting Quantum Processor Architecture Design	ASPLOS'20	----	Video
Not All Qubits Are Created Equal: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers	ASPLOS'19	----	----
Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices	ASPLOS'19	----	----
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers	ASPLOS'19	----	----
Optimized Compilation of Aggregated Instructions for Realistic QuantumComputers	ASPLOS'19	----	----
QIsim: Architecting 10+K Qubit QC Interfaces Toward Quantum Supremacy	ISCA'23	simulator; scalability; modeling;	----
Astrea: Accurate Quantum Error-Decoding via Practical Minimum-Weight Perfect-Matching	ISCA'23	Quantum Error Correction; Decoder; Minimum-Weight Perfect Matching (MWPM); brute-force search; filters high-cost weights;	----
Scaling Qubit Readout with Hardware Efficient Machine Learning Architectures	ISCA'23	readout; error correcting; scalability; discrimination; neural network assisting; FPGAs;	----
Q-BEEP: Quantum Bayesian Error Mitigation Employing Poisson Modeling over the Hamming Spectrum	ISCA'23	Quantum Error Mitigation; Poisson distribution; post-induction error mitigation;	----
Clifford-based Circuit Cutting for Quantum Simulation	ISCA'23	Clifford-based simulation; circuit cutting;	----
Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing	ISCA'23	initialization of hyperparameter; error mitigation; debugging and performance tuning; NISQ;	----
OneQ: A Compilation Framework for Photonic One-Way Quantum Computation	ISCA'23	photonic; compilation; measurement-based quantum computing; extendable space-time coupling graph;	----
Parallel Driving for Fast Quantum Computing Under Speed Limits	ISCA'23	----	----
Dancing the Quantum Waltz: Compiling Three-Qubit Gates on Four Level Architectures	ISCA'23	----	----
EQC: Ensembled Quantum Computing for Variational Quantum Algorithms	ISCA'22	----	Slides
A Synthesis Framework for Stitching Surface Code with Superconducting Quantum Devices	ISCA'22	----	Slides
2QAN: A quantum compiler for 2-local qubit Hamiltonian simulation algorithms	ISCA'22	----	Slides
XQsim: Modeling Cross-Technology Control Processors for 10+K Qubit Quantum Computers	ISCA'22	----	Slides
GEYSER: A Compilation Framework for Quantum Computing with Neutral Atoms	ISCA'22	----	----
Exploiting Long Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures	ISCA'21	----	----
Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors	ISCA'21	----	----
Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing	ISCA'21	----	----
Albireo: Energy-Efficient Acceleration of Convolutional Neural Networks via Silicon Photonics	ISCA'21	----	----
Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers	ISCA'20	----	----
AccQOC: Accelerating Quantum Optimal Control Based Pulse Generation	ISCA'20	----	----
NISQ+: Boosting Computational Power of Quantum Computers by Approximating Quantum Error Correction	ISCA'20	----	----
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation	ISCA'20	----	----
Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights	ISCA'19	----	Video
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs	ISCA'19	----	Video
Asymptotic Improvements to Quantum Circuits via Qutrits	ISCA'19	----	Video
A Stochastic-Computing based Deep Learning Framework using Adiabatic Quantum-Flux-Parametron Superconducting Technology	ISCA'19	----	Video
A Quantum Computational Compiler and Design Tool for Technology-Specific Targets	ISCA'19	----	----
HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL	HPCA'23	----	----
Co-Designed Architectures for Modular Superconducting Quantum Computers	HPCA'23	----	----
A Pulse Generation Framework with Augmented Program-aware Basis Gates and Criticality Analysis	HPCA'23	----	----
The Imitation Game: Leveraging CopyCats for Robust Native Gate Selection in NISQ Programs	HPCA'23	----	----
AFS: Accurate, Fast, and Scalable Error-Decoding for Fault-Tolerant Quantum Computers	HPCA'22	----	----
QULATIS: A Quantum Error Correction Methodology Toward Lattice Surgery	HPCA'22	----	----
VAQEM: A Variational Approach to Quantum Error Mitigation	HPCA'22	----	----
Detecting Qubit-Coupling Faults in Ion-Trap Quantum Computers	HPCA'22	----	---
DigiQ: A Scalable Digital Controller for Quantum Computers using SFQ Logic	HPCA'22	----	----
HiPerRF: A Dual-Bit Dense Storage SFQ Register File	HPCA'22	----	----
SupermarQ: A Scalable Quantum Benchmark Suite	HPCA'22	----	----
QuantumNAS: Noise-Adaptive Search for Robust Quantum Circuits	HPCA'22	----	----
Not All SWAPs Have the Same Cost: A Case for Optimization-Aware Qubit Routing	HPCA'22	----	----
Q-GPU: A Recipe of Optimizations for Quantum Circuit Simulation using GPUs	HPCA'22	----	----
TILT: Achieving Higher Fidelity on a Trapped-Ion Linear-Tape Quantum Computing Architecture	HPCA'21	----	----
QuCloud: A New Qubit Mapping Mechanism for Multi-programming Quantum Computing in Cloud Environment	HPCA'21	----	----
Systematic Approaches for Precise and Approximate Quantum State Runtime Assertion	HPCA'21	----	----
Faster Schrödinger-style simulation of quantum circuits	HPCA'21	----	----
QuComm: Optimizing Collective Communication for Distributed Quantum Computing	MICRO'23	----	----
QuCT: A Framework for Analyzing Quantum Circuit by Extracting Contextual and Topological Features	MICRO'23	----	----
ERASER: Practical and Accurate Leakage Suppression for Fault-Tolerant Quantum Computing	MICRO'23	----	----
Systems Architecture for Quantum Random Access Memory	MICRO'23	----	----
HetArch: Heterogeneous Microarchitectures for Superconducting Quantum Systems	MICRO'23	----	----
AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs	MICRO'22	----	----
Let Each Quantum Bit Choose Its Basis Gates	MICRO'22	----	----
COMPAQT: Compressed Waveform Memory Architecture for Scalable Qubit Control	MICRO'22	----	----
Qubit Mapping and Routing via MaxSAT	MICRO'22	----	----
Scaling Superconducting Quantum Computers with Chiplet Architectures	MICRO'22	----	----
Q3DE: A Fault-Tolerant Quantum Computer Architecture for Multi-Bit Burst Errors by Cosmic Rays	MICRO'22	----	----
Exploiting Different Levels of Parallelism in the Quantum Control Microarchitecture for Superconducting Qubits	MICRO'21	----	----
SMART: A Heterogeneous Scratchpad Memory Architecture for Superconductor SFQ-Based Systolic CNN Accelerators	MICRO'21	----	----
AutoBraid: A Framework for Enabling Efficient Surface Communication in Quantum Computing	MICRO'21	----	----
JigSaw: Boosting Fidelity of NISQ Programs via Measurement Subsetting	MICRO'21	----	----
ADAPT: Mitigating Idling Errors in Qubits via Adaptive Dynamical Decoupling	MICRO'21	----	----
Systematic Crosstalk Mitigation for Superconducting Qubits via Frequency-Aware Compilation	MICRO'20	----	Video
Optimized Quantum Compilation for Near-Term Algorithms with OpenPulse	MICRO'20	----	Video
Virtualized Logical Qubits: A 2.5D Architecture for Error-Corrected Quantum Computing	MICRO'20	----	Video
Circuit Compilation Methodologies for Quantum Approximate Optimization Algorithm	MICRO'20	----	Video
Ensemble of Diverse Mappings: Improving Reliability of Quantum Computers by Orchestrating Dissimilar Mistakes	MICRO'19	----	----
Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines	MICRO'19	----	----
Mitigating Measurement Errors in Quantum Computers by Exploiting State-Dependent Bias	MICRO'19	----	----
A Case for Multi-Programming Quantum Computers	MICRO'19	----	----
Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures	MICRO'18	----	Video
Taming the Instruction Bandwidth of Quantum Computers via Hardware-Managed Error Correction	MICRO'17	----	----
Optimized Surface Code Communication in Superconducting Quantum Computers	MICRO'17	----	----
An Experimental Microarchitecture for a Superconducting Quantum Processor	MICRO'17	----	----
GRAPHINE: Enhanced Neutral Atom Quantum Computing using Application-Specific Rydberg Atom Arrangement	SC'23	----	----
Mitigating Coupling Map Constrained Correlated Measurement Errors on Quantum Devices	SC'23	----	----
Experimental Evaluation of Xanadu X8 Photonic Quantum Computer: Error Measurement, Characterization, and Implications	SC'23	----	----
Combining Hard and Soft Constraints in Quantum Constraint-Satisfaction Systems	SC'22	----	----
Large-Scale Simulation of Quantum Computational Chemistry on a New Sunway Supercomputer	SC'22	----	----
CHARTER: Identifying the Most-Critical Gate Operations in Quantum Circuits via Amplified Gate Reversibility	SC'22	----	----
UniQ: A Unified Programming Model for Efficient Quantum Circuit Simulation	SC'22	----	Code
Empirical evaluation of circuit approximations on noisy quantum devices	SC'21	----	----
SV-sim: scalable PGAS-based state vector simulation of quantum circuits	SC'21	----	----
Distributed Quantum Computing with QMPI	SC'21	----	----
SW_Qsim: a minimize-memory quantum simulator with high-performance on a new Sunway supercomputer	SC'21	----	----
Density matrix quantum circuit simulation via the BSP machine on modern GPU clusters	SC'20	----	----
Efficient 2D tensor network simulation of quantum systems	SC'20	----	----
Veritas: accurately estimating the correct output on noisy intermediate-scale quantum computers	SC'20	----	----
Optimizing the data movement in quantum transport simulations via data-centric parallel programming	SC'19	----	----
Parallel transport time-dependent density functional theory calculations with hybrid functional on summit	SC'19	----	----
Full-state quantum circuit simulation by using data compression	SC'19	----	----
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits	PLDI'23	----	----
Synthesizing Quantum-Circuit Optimizers	PLDI'23	----	----
Gleipnir: toward practical error analysis for Quantum programs	PLDI'23	----	----
Quartz: Superoptimization of Quantum Circuits	PLDI'22	----	----
Giallar: Push-button Verification for the Qiskit Quantum Compiler	PLDI'22	----	----
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra	PLDI'22	----	----
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics	PLDI'22	----	----
	PLDI'21	----	----
	PLDI'21	----	----
	PLDI'21	----	----
	PLDI'21	----	----

GPU