Yannick Stade

According to our database, Yannick Stade authored at least 22 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Integrating Quantum Software Tools with(in) MLIR.

Patrick Hopf, Erick Ochoa, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer

Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region, 2026

The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC.

Lukas Burgholzer, Jorge Echavarria, Patrick Hopf, Yannick Stade, Damian Rovara, Ludwig Schmid, Ercüment Kaya, Burak Mete, Muhammad Nufail Farooqi, Minh Chung, Marco De Pascale, Laura Brandon Schulz, Martin Schulz, Robert Wille

Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region, 2026

Focus Session Paper: The MQT Compiler Collection : A Blueprint for a Future-Proof Quantum-Classical Compilation Framework.

Lukas Burgholzer, Daniel Haag, Yannick Stade, Damian Rovara, Patrick Hopf, Robert Wille

Proceedings of the Design, Automation & Test in Europe Conference, 2026

2025

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler.

Yannick Stade, Lukas Burgholzer, Robert Wille

CoRR, December, 2025

Integration of Quantum Accelerators with High Performance Computing - A Review of Quantum Programming Tools.

Amr Elsharkawy, Xiao-Ting Michelle To, Philipp Seitz, Yanbin Chen, Yannick Stade, Manuel Geiger, Qunsheng Huang, Xiaorang Guo, Muhammad Arslan Ansari, Christian B. Mendl, Dieter Kranzlmüller, Martin Schulz

ACM Trans. Quantum Comput., September, 2025

Correctness Proofs for Top-Down Solvers with Widening and Narrowing in Isabelle.

Sarah Tilscher, Alexandra Graß, Helmut Seidl, Yannick Stade

Dataset, June, 2025

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT).

Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille

J. Open Source Softw., May, 2025

Correctness Proofs for Top-Down Solvers with Widening and Narrowing in Isabelle.

Sarah Tilscher, Alexandra Graß, Helmut Seidl, Yannick Stade

Dataset, April, 2025

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation.

Yannick Stade, Lukas Burgholzer, Robert Wille

Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, 2025

Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse.

Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz

Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, 2025

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing.

Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers.

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

On the power of local graph expansion grammars with and without additional restrictions.

Frank Drewes, Yannick Stade

Theor. Comput. Sci., 2024

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation.

Yannick Stade, Lukas Burgholzer, Robert Wille

CoRR, 2024

Partial Correctness of the Top-Down Solver.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Arch. Formal Proofs, 2024

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing.

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Software, 2024

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack.

Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures.

Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

The Top-Down Solver Verified: Building Confidence in Static Analyzers.

Yannick Stade, Sarah Tilscher, Helmut Seidl

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

The Top-Down Solver - An Exercise in A²I.

Sarah Tilscher, Yannick Stade, Michael Schwarz, Ralf Vogler, Helmut Seidl

Proceedings of the Challenges of Software Verification, 2023

Quantum Constant Propagation.

Yanbin Chen, Yannick Stade

Proceedings of the Static Analysis - 30th International Symposium, 2023

Challenges in HPCQC Integration.

Amr Elsharkawy, Xiao-Ting Michelle To, Philipp Seitz, Yanbin Chen, Yannick Stade, Manuel Geiger, Qunsheng Huang, Xiaorang Guo, Muhammad Arslan Ansari, Martin Ruefenacht, Laura Brandon Schulz, Sven Karlsson, Christian B. Mendl, Dieter Kranzlmüller, Martin Schulz

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023