Program of StableQ

Program Overview (November 3, 2024 | 9:00 AM - 5:00 PM)

Session & Time Speakers Title
Session 1
(9:00 AM - 10:00 AM)
Opening
John Gamble
(IonQ)
Modeling the Performance of Large-scale Quantum Computers
Coffee Break (10:00 AM - 10:30 AM)
Session 2
(10:30 AM - 12:00 PM)
Santiago Nuñez-Corrales
(University of Illinois Urbana-Champaign)
A Prescriptive Definition of Resiliency for Dependable Classical-Quantum Computer Systems Engineering
Ang Li
(Pacific Northwest National Laboratory)
Understanding and Tackling Noise through a Simulation Approach
Vipin Chaudhary
(Case Western Reserve University)
Quantum Circuit Cutting and Parallel Job Scheduling
Lunch Break (12:00 PM - 1:00 PM)
Session 3
(1:00 PM - 3:00 PM)
Fan Chen
(Indiana University Bloomington)
Advancing Quantum Neural Networks in the NISQ Era
Ji Liu
(Argonne National Laboratory)
Enhancing Quantum Error Mitigation with Circuit Cutting
Xulong Tang
(University of Pittsburgh)
Toward High-Fidelity, Scalable, and Accessible Quantum Computing Systems
Hanrui Wang
(University of California, Los Angeles)
Software Stack for Reconfigurable Neutral Atom Quantum Computing
Coffee Break (3:00 PM - 3:30 PM)
Session 4
(3:30 PM - 5:00 PM)
Kanad Basu
(University of Texas at Dallas)
Crosstalk-induced Side Channel Threats in Multi-Tenant NISQ Computer
Yu Zhang
(Los Alamos National Laboratory)
Quantum Information Informed Quantum Algorithms
Evan McKinney
(University of Pittsburgh)
Towards Error Budgeting for Superconducting Modular Quantum Architecture Designs
Fang Qi
(Tulane University)
PruningQC: Boosting the Quantum Computation Fidelity by Pruning Redundant Gates



Session 1 (9:00 AM - 10:00 AM) Opening

Talk Title: Modeling the Performance of Large-scale Quantum Computers

Speaker: John Gamble (IonQ)

Speaker Bio: John Gamble obtained his PhD in Physics in 2013 from the University of Wisconsin-Madison, specializing in the theory of quantum computing and solid state physics. Gamble has been an active researcher in quantum computing ever since, first as a Harry S. Truman Fellow (and later Technical Staff) at Sandia National Laboratories, a Quantum Engineer at Microsoft Quantum, and most recently forming and leading the Architecture & Performance group at IonQ. Gamble has delivered numerous invited and contributed technical talks and seminars, written extensively and continuously since obtaining his PhD, and is the inventor of multiple patents within the domain of quantum computing. In his current role, he oversees future architectures as well as the characterization, modeling, and optimization of as-built quantum information processors, actively pushing the cutting edge of large-scale quantum information processing.

Talk Abstract: Quantum computing has the potential to revolutionize the way we solve many problems, ranging from analyzing chemical reactions to cryptography. IonQ’s commercial quantum computers use trapped ions as qubits, featuring high-fidelity operations across long chains of all-to-all connected qubits. In this talk, I will describe how IonQ’s hardware works and highlight recent machine performance results, with a special focus on modeling and simulation of imperfections. Scaling to the many-qubit regime necessitates different noise modeling techniques, and the complexities involved can lead to model violation and unpredicted machine behavior. In addition to both component- and application-level benchmarking and simulation, I will highlight recent results on modeling non-Markovian effects, a hopeful approach to building predictive models that apply to many-qubit processors.

Session 2 (10:30 AM - 12:00 PM)

Talk Title: A Prescriptive Definition of Resiliency for Dependable Classical-Quantum Computer Systems Engineering

Speaker: Santiago Núñez-Corrales (University of Illinois Urbana-Champaign)

Speaker Bio: Santiago Núñez-Corrales, Ph.D. serves as Quantum Lead Research Scientist at the National Center for Supercomputing Applications (NCSA), University of Illinois Urbana-Champaign (UIUC). He also serves as faculty affiliate at the Illinois Quantum Information Science and Technology Center (IQUIST), the Center for Global Studies (CGS) and Illinois Informatics at the same institution. His expertise includes research computing and quantum programming language design, building digital twins of superconducting quantum devices, devising distributed quantum computation protocols, HPC-QPU integration, and dependable classical-quantum computer systems engineering. Dr. Núñez-Corrales obtained his doctoral degree in Informatics and a minor in Global Studies from UIUC, and a bachelor’s degree in computer engineering from the Costa Rica Institute of Technology.

Talk Abstract: As quantum processing units become more affordable and accessible, we will face new challenges during their integration with classical HPC resources. These challenges arise from HPC-QPU integration toward being a socio-technical systems problem well beyond technology stacks; introducing quantum computers into research facilities and data centers involves processes, people and practices. We call this new area Dependable Classical-Quantum Computer Systems Engineering (DCQCES), an emerging body of theory and practice centered on their resiliency, reproducibility and security. In this talk, we will concentrate on resiliency as an property of HPC-QPU systems that can be engineered proactively, instead of reacting to the needs created by technological change across on-premise installation, classical-quantum stack integration, system operations, user support and research consulting. We will discuss how concepts and methods from civil engineering provide a sound qualitative and quantitative definition of resiliency that can be used to understand the impact of unexpected events and engineering decisions across a system, as well as how changes in one level of HPC-QPU technology stacks ripple through layers above and modulate the entire system: we seek to make system classical quantum systems and their operation designable, predictable and measurable tasks. Finally, we delineate the boundaries of DCQCES in terms of community efforts required to develop a coherent research agenda in tandem with the evolution of quantum technologies.

Talk Title: Understanding and Tackling Noise through a Simulation Approach

Speaker: Ang Li (Pacific Northwest National Laboratory)

Speaker Bio: Dr. Ang Li is a senior computer scientist in the Physical and Computational Sciences Directorate (PCSD) of Pacific Northwest National Laboratory (PNNL) and Associated Professor with the ECE department of University of Washington (UW) with dual appointment. He received his bachelor degree from the CS department of Zhejiang University, China, in 2010, and two PhD degrees from the Electrical and Computer Engineering (ECE) department of National University of Singapore (NUS), Singapore, and the Electrical Engineering (EE) department of Eindhoven University of Technology (TU/e), The Netherlands, in 2016. He jointed PNNL since Nov, 2016 and dual-appointed with UW ECE since Oct, 2023. His research has been focusing on software-hardware co-design for scalable heterogeneous HPC, particularly GPUs, since 2009. His research covers full-stack design from circuit level up to architecture, system, library, and applications. He has published in major HPC conferences and journals including SC, ICS, PPoPP, IPDPS, HPDC, ASPLOS, MICRO, HPCA, ICPP, CGO, IISWC, EuroPar, TPDS, TC, ICPE, etc. His lead-author work was nominated for best paper award in SC-15, SC-17, IISWC-18 and SC-20. He received the European HiPEAC paper award, and PNNL's PCSD Outstanding Performance award. He served as organizing committee or review committee member for major HPC conferences including PPoPP, SC, ASPLOS, PACT, ISCA, IPDPS, etc. He used to work in industry as a HPC application developer, where he led the evaluation, development, and optimization of several industrial HPC applications. He also worked as a research intern in the INRIA-Lab in Paris-Sud University, France and Chinese University of Hong Kong.

Talk Abstract: Despite recent achievements in NISQ devices, numerical simulation of quantum systems via classical HPC is still essential in validating quantum algorithms, learning noise effects, and designing new quantum devices. In this talk, I will present our NWQSim tool with GUI for noisy quantum system and device simulation, where quantum physicists and computer scientists can leverage to learn and model the noise behavior of their quantum algorithms and devices.

Talk Title: Quantum Circuit Cutting and Parallel Job Scheduling

Speaker: Vipin Chaudhary (Case Western Reserve University)

Speaker Bio: A veteran of High-Performance Computing and AI, Chaudhary is currently the Kevin J. Kranzusch Chair Professor and Chair of Computer and Data Sciences at CWRU. Previously, as Program Director at National Science Foundation, he was involved with strategic initiatives in Quantum Computing and Artificial Intelligence. Chaudhary co-founded Scalable Informatics, a leading provider of analytics solutions. Previously, he was the CEO of Tata CRL, a global HPC cloud and solutions leader before selling it to Tata Consulting Services. Earlier, at Cradle Technologies, he developed multi-processor chips and software for media applications and served as Chief Architect at Corio Inc. His current research interests are in AI and Quantum Computing.

Talk Abstract: As quantum computers evolve, the increasing number of qubits offers great potential for more complex computations. However, high error rates continue to limit the size of quantum circuits that can be reliably executed, leading to low throughput and inefficient resource utilization. This talk will explore two complementary strategies to address these limitations: quantum circuit cutting and parallel quantum job scheduling.


Session 3 (1:00 PM - 3:00 PM)

Talk Title: Advancing Quantum Neural Networks in the NISQ Era

Speaker: Fan Chen (Indiana University Bloomington)

Speaker Bio: Fan Chen is an assistant professor in the Department of Intelligent Systems Engineering at the Indiana University Bloomington. Her research interests include Quantum Computing, Environmentally Sustainable Computing, and Hardware Acceleration for Emerging Applications. Dr. Chen is a recipient of the 2022 NSF CAREER Award, the 2019 Cadence Women in Technology Scholarship. Her research has won the Best Paper Finalists at DAC 2024, the Best Paper Award (3rd Place) at QCE 2023, the Best Paper Award and the Ph.D. forum Best Poster Award at ASP-DAC 2018. Her contributions to the research community have been acknowledged by the 2024 SIGDA Meritorious Service Award, the 2022 Best Associate Editor of IEEE CAS Magazine, and the 2021 Service Recognition Award of GLSVLSI.

Talk Abstract: Quantum Neural Networks (QNNs) represent a promising class of Noisy Intermediate-Scale Quantum (NISQ) algorithms with transformative potential across various domains. However, their effective implementation must address inherent quantum noise throughout the system stack. In this talk, I will present our research group’s efforts to enhance QNN performance by tackling these noise challenges through advancements in algorithm design, compilation, and model training, focusing on key metrics such as accuracy, fairness, and security. I will begin by discussing robust QNN algorithm designs, including supervised, unsupervised, and transfer learning models. Next, I will introduce our automated QNN compilation framework, which ensures fairness and accuracy when deploying QNNs on NISQ machines. Finally, I will explore adversarial threats to QNNs, specifically backdoor attacks implanted during QNN training, along with potential defense strategies. Throughout the talk, I will share key techniques, insights, and lessons learned from each project, with the goal of advancing more resilient and secure QNNs.

Talk Title: Enhancing Quantum Error Mitigation with Circuit Cutting

Speaker: Ji Liu (Argonne National Laboratory)

Speaker Bio: Ji Liu is an Assistant Computer Scientist at Argonne National Laboratory. His research interests include developing open-source software stacks for quantum compiler optimizations, application/hardware-specific optimization techniques, and advanced noise mitigation techniques for NISQ systems. He received the Distinguished Artifact Award at HPCA 2022 for his work on qubit routing, and his QuTracer framework for error mitigation was a Best Paper Finalist at ISCA 2024.

Talk Abstract: Quantum error mitigation is crucial in the current noisy intermediate-scale quantum (NISQ) era. As we strive for practical quantum advantage in the near term, it has become an indispensable component. While various error mitigation techniques have been proposed, many rely on error detection or measurement subcircuits that introduce additional noise, limiting their effectiveness. On near-term devices with limited qubit connectivity, the extra swaps needed further increase the noise associated with these error mitigation subcircuits. In this talk, we will explore approaches that utilize circuit cutting to simulate error mitigation subcircuits classically. This allows for near-ideal execution of the subcircuits, reducing additional noise and enhancing overall performance. Specifically, we will present techniques applied to Pauli check sandwiching, virtual distillation, and QuTracer—an error mitigation framework based on qubit subsetting. We will demonstrate how these methods can significantly improve error mitigation on NISQ devices.

Talk Title: Toward High-Fidelity, Scalable, and Accessible Quantum Computing Systems

Speaker: Xulong Tang (University of Pittsburgh)

Speaker Bio: Dr.Xulong Tang is an Assistant Professor in the Computer Science Department at the University of Pittsburgh. He received his Ph.D. degree from the Pennsylvania State University in 2019. His current research focuses on: i) designing next-generation GPU architectures and systems, ii) exploring efficient edge computing, and iii) advancing quantum computing systems. His work has been published in top-tier venues including MICRO, HPCA, ISCA, ASPLOS, PLDI, etc. You can find out more about him at https://xzt102.github.io/.

Talk Abstract: Quantum computers have demonstrated quantum advantages over classical computers in various tasks. However, the current Noisy Intermediate-Scale Quantum (NISQ) quantum era encounters challenges arising from i) Noisy system with high error rates, ii) limited scalability of quantum systems for large algorithms, and iii) lack of access to practical quantum hardware. In this talk, I will discuss our recent works targeting these challenges that make efforts towards high-fidelity, scalable, and accessible quantum computing systems. Specifically, I will introduce i) a compilation framework that performs quantum gate orchestration to reduce the noise and execution time in photonic quantum computing, ii) a circuit-cutting algorithm to partition a given circuit into smaller sub-circuits with improved fidelity, and iii) a quantum circuit emulation framework that leverages high-performance computing resources to efficiently simulate given quantum circuits.

Talk Title: Software Stack for Reconfigurable Neutral Atom Quantum Computing

Speaker: Hanrui Wang (University of California, Los Angeles)

Speaker Bio: Hanrui Wang is an incoming Assistant Professor at UCLA Computer Science. He received his PhD degree from MIT EECS advised by Song Han. His research focuses on efficient AI and Quantum Computing. His work has been recognized by ACM SRC 1st Place Award, Best Poster Award at NSF AI Institute, Best Paper Award at QCE, and Best Paper Award at ICML RL4RL. He is the recipient of the Qualcomm Fellowship, Unitary Fund, Nvidia Fellowship Finalist, Rising Star in ML and Systems, and Rising Star in ISSCC. He is the creator of TorchQuantum library which has been adopted by IBM and PyTorch Ecosystems, and the co-founder of QuCS lecture series for quantum education. He received a B. Eng. degree with honors from Fudan University.

Talk Abstract: Neutral atom arrays are gaining traction in quantum computing for their scalability, particularly with the advent of reconfigurable atom arrays (RAAs) or field programmable qubit arrays (FPQAs), which allow atom movement during circuit execution. This talk presents two contributions leveraging this architecture to enhance quantum circuit performance. First, Atomique is a compilation framework for RAAs, optimizing qubit mapping, atom movement, and gate scheduling. Using MAX k-Cut for qubit placement and parallel gate scheduling, Atomique reduces circuit depth and two-qubit gates across diverse benchmarks compared to fixed atom arrays and superconducting systems. Second, Q-Pilot introduces flying ancillas—movable atoms used as dynamic ancilla qubits—to optimize qubit connectivity in FPQAs. Inspired by FPGA routing, Q-Pilot achieves significant depth reductions, particularly in quantum simulation and QAOA circuits. These works highlight the potential of RAAs and FPQAs in enabling more efficient and reliable quantum computation through dynamic qubit connectivity.

Session 4 (3:30 PM - 5:00 PM)

Talk Title: Crosstalk-induced Side Channel Threats in Multi-Tenant NISQ Computer

Speaker: Kanad Basu (University of Texas at Dallas)

Speaker Bio: Kanad Basu received his Ph.D. from the Department of Computer and Information Science and Engineering, University of Florida. Kanad worked in various semiconductor companies like Intel, IBM and Synopsys. Currently, Kanad is an Assistant Professor at the Electrical and Computer Engineering Department of the University of Texas at Dallas, where he leads the Trustworthy and Intelligent Embedded Systems (TIES) lab. Prior to this, Kanad was an Assistant Research Professor at the Electrical and Computer Engineering Department of NYU. He has authored 1 book, 2 US patents, 2 book chapters and several peer reviewed journal and conference articles. Kanad has won the “Outstanding Assistant Professor Award” by the Erik Jonsson School of Engineering, UT Dallas in 2024. His research has been awarded as IEEE Top Picks in Test and Reliability in 2023 and 2024. Moreover, Kanad was awarded the “Best Paper Award” at the International Conference on VLSI Design 2011 and an “Honorable Mention Award” at the same conference in 2021. Kanad has mentored student teams at UT Dallas that won various international hardware hacking competition, including HACK@DAC and NYU CSAW. Several News agencies have covered his research including NBC Austin and CBS Dallas-Fort Worth. Kanad’s current research interests are reliable and secure computing systems, including quantum computing systems. His research is currently funded by NSF, SRC, Intel, TII, etc.

Talk Abstract: As quantum computing rapidly advances, its near-term applications are becoming increasingly evident. However, the high cost and under-utilization of quantum resources are prompting a shift from single-user to multi-user access models. In a multi-tenant environment, where multiple users share one quantum computer, protecting user confidentiality becomes crucial. The varied uses of quantum computers increase the risk that sensitive data encoded by one user could be compromised by others, rendering the protection of data integrity and confidentiality essential. In the evolving quantum computing landscape, it is imperative to study these security challenges within the scope of realistic threat model assumptions, wherein an adversarial user can mount practical attacks without relying on any heightened privileges afforded by physical access to a quantum computer or rogue cloud services. In this talk, we demonstrate the potential of crosstalk as an attack vector for the first time on a Noisy Intermediate Scale Quantum (NISQ) machine, that an adversarial user can exploit within a multi-tenant quantum computing model. The proposed side-channel attack is conducted with minimal and realistic adversarial privileges, with the overarching aim of uncovering the quantum algorithm being executed by a victim. Crosstalk signatures are used to estimate the presence of CNOT gates in the victim circuit, and subsequently, this information is encoded and classified by a graph-based learning model to identify the victim quantum algorithm. When evaluated on up to 336 benchmark circuits, our attack framework is found to be able to unveil the victim's quantum algorithm with up to 85.7% accuracy.

Talk Title: Quantum Information Informed Quantum Algorithms

Speaker: Yu Zhang (Los Alamos National Laboratory)

Speaker Bio: Yu Zhang received his BSc in Physics from Sun Yat-Sen University in 2010 and his Ph.D. in Chemical Physics from The University of Hong Kong in 2015. From 2015 to 2017, he worked as a Postdoctoral Fellow at Northwestern University. Yu joined Los Alamos National Laboratory (LANL) in 2018 as a Director's Postdoctoral Fellow and transitioned to a staff member in 2019. He is the recipient of the Laboratory Directed Research and Development (LDRD) Early Career Research Award (2022) and the DOE Office of Science Early Career Research Award (2023). Yu's research lies at the intersection of chemical physics and quantum physics, with a focus on developing and applying theoretical models and computational methods to explore the electronic and optical properties of nanomaterials, for implications for sustainable energy and quantum technologies. Yu’s current interests include quantum computation, quantum information science, light-matter interactions, open quantum systems, and non-adiabatic dynamics.

Talk Abstract: Quantum computing presents promising solutions for electronic structure and excited state problems, yet traditional methods like the Variational Quantum Eigensolver (VQE) encounter difficulties such as deep quantum circuits and optimization challenges for quantum chemistry problems. In this talk, I present quantum information-informed algorithms that significantly enhance the efficiency of quantum chemistry calculations by reducing the circuit complexity. The PermVQE approach leverages quantum information to optimize qubit permutations to localize correlations, thereby reducing circuit depth and improving noise resilience. ClusterVQE utilizes mutual information and graph theory to partition qubit space into entangled clusters, enabling precise simulations of larger systems with fewer qubits. Finally, the Quantum Davidson algorithm extends the quantum Krylov subspace method, employing a pre-conditioned iterative expansion that accelerates convergence on excited states with shallower circuits.

Talk Title: Towards Error Budgeting for Superconducting Modular Quantum Architecture Designs

Speaker: Evan McKinney (University of Pittsburgh)

Speaker Bio: Evan McKinney is a fourth-year PhD student at the University of Pittsburgh, co-advised by Dr. Alex K. Jones and Dr. Michael Hatridge. He completed his undergraduate studies at Iowa State University in Computer Engineering and Physics. Evan’s current research focuses on quantum computing architecture and optimizations for near-term applications.

Talk Abstract: This paper addresses frequency crowding constraints in modular quantum architecture design, focusing on the SNAIL-based quantum modules. Two key objectives are explored. First, we present physics-informed design constraints by describing a physical model for realizable gates within a SNAIL module and building a fidelity model using error budgeting derived from device characteristics. Second, we tackle the allocation problem by analyzing the impact of frequency crowding on gate fidelity as the radix of the module increases. We explore whether the gate fidelity can be preserved with a discrete set of qubit frequencies while adhering to defined separation thresholds. This work offers insights into novel quantum architectures and coupled optimization techniques to mitigate the effects of unstable noise and improve overall gate performance.

Talk Title: PruningQC: Boosting the Quantum Computation Fidelity by Pruning Redundant Gates

Speaker: Fang Qi (Tulane University)

Speaker Bio: Fang Qi is a Ph.D. candidate in the Department of Computer Science at Tulane University under the mentorship of Dr. Lu Peng. His research is centered on advancing quantum computing, with a focus on quantum computing architecture design, compiler optimizations, and error mitigation. He also explores the application of AI techniques to enhance quantum computing performance. Fang holds a master’s and a bachelor’s degree in Electrical Engineering from Oregon State University. He is actively seeking full-time positions in academia or industry, where he can leverage his quantum computing and AI expertise to tackle complex, cutting-edge challenges.

Talk Abstract: Quantum computing offers promise for solving problems beyond classical capabilities, but its effectiveness is hindered by noise and high error rates in superconducting quantum computers. These issues, exacerbated by nearest-neighbor connectivity, necessitate extensive routing, leading to decoherence and multiple swap operations. We introduce PruningQC, a novel method that optimizes circuit efficiency by removing redundant gates in measurement subsetting, reducing noise, and minimizing circuit depth. By selectively measuring specific qubits, PruningQC identifies and eliminates dispensable gates without affecting outcomes, thereby enhancing quantum computing performance. Evaluations on three IBM 127-qubit machines show that PruningQC improves success rates by an average of 17.5 times over full measurement methods and 2.1 times over partial measurement techniques. This improvement is due to a 50% reduction in circuit depth and a significant decrease in gate counts. PruningQC can also be integrated with quantum error correction strategies, advancing quantum computing efficiency.