|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 University Anthropological Society Cambridge University Science and Policy Exchange (CUSPE) Geometry in Science
Other talksSpong Hill and the fifth century invasion of England Numerical Methods for (Quasi)Variational Inequalities - Part II Towards empiricist models of language acquisition Iodine status in the UK and implications for fetal brain development. Crowdfunding an early modern startup: mapping investment in the East India Company - GRAND ROUNDS-