126 citations · 244 across the 10 of their papers we have counts for
4 papers · 1 filter
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
Raphael Seidel, Sebastian Bock, René Zander +4
While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to class…
Uncomputation in the Qrisp high-level Quantum Programming Framework
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock +1
Uncomputation is an essential part of reversible computing and plays a vital role in quantum computing. Using this technique, memory resources can be safely deallocated without per…
Efficient Floating Point Arithmetic for Quantum Computers
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock +2
One of the major promises of quantum computing is the realization of SIMD (single instruction - multiple data) operations using the phenomenon of superposition. Since the dimension…
Automatic Generation of Grover Quantum Oracles for Arbitrary Data Structures
Raphael Seidel, Colin Kai-Uwe Becker, Sebastian Bock +3
The steadily growing research interest in quantum computing - together with the accompanying technological advances in the realization of quantum hardware - fuels the development o…