|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 listsTools and Techniques for Speech Research Computer Science Tripos Seminar Series SPI
Other talks'A novel anatomical model based on the portal and hepatic veins to guide partial liver lobectomy in the dog'. Real wages and the household: Quantifying the economy of makeshifts of the poor in 18th-century England "The Puzzle of Child Well-being: Many Measures but No Construct" Cambridge Assessment Network: Alternatives to written examinations Mental imagery and emotion in psychopathology Empire: Displayed Peoples, Empire and Anthropology in the Metropole