|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Language-Integrated Quantum Operations: A Software Architecture for Quantum Computing
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.
This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attendin
Compilers and computer-aided design tools will be essential for quantum computing. At this event, Dave Wecker will present a computer-aided design flow, called LIQ Ui|⟩, which transforms a high-level language program, representing a quantum algorithm, into a technology-specific implementation. He’ll trace the significant steps in this flow and illustrate the transformations to the representation of the quantum program.
Dave will also describe, in detail, the low-level quantum language and the quantum simulator within this design flow. LIQ Ui|⟩ is an attempt to remedy many of the difficulties in quantum programming and simulation (namely difficulties in debugging, visualization, and exponential growth in memory), as well as make it possible for a wider audience to design, implement, and test quantum algorithms. It provides a functional language (based on F#) that is efficient for programming and allows a combination of classical and quantum operations. In addition, this advanced memory model allows simulation of a large numbers of qubits, and also uses parallel hardware for processing efficiency. Dave will demonstrate the capabilities of LIQ Ui|⋅⟩ and simulate several quantum algorithms. Shor’s algorithm has been fully implemented in LIQ Ui|⋅⟩; we can factor numbers from 15 to 8189 on a standard desktop and display the corresponding circuit diagrams.
This talk is part of the Microsoft Research Cambridge, public talks series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsCambridge Fly Meetings Trinity College Science Society (TCSS) Cambridge Global Health Year
Other talksIgnite 2015 Capacity Decisions in Electricity Production under Risk Aversion and Risk Trading Uncertainty principles and spectral analysis of Schroedinger operators Bioinformatics Death and sanitation: Imperial representations of The Ganges Risk prediction using common genetic variants