BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Language-Integrated Quantum Operations: A Software Architecture fo
 r Quantum Computing - Dave Wecker\, Microsoft Research\, Redmond
DTSTART:20130430T090000Z
DTEND:20130430T103000Z
UID:TALK43219@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Compilers and computer-aided design tools will be essential fo
 r quantum computing. At this event\, Dave Wecker will present a computer-a
 ided design flow\, called LIQUi|⟩\, which transforms a high-level langua
 ge program\, representing a quantum algorithm\, into a technology-specific
  implementation. He’ll trace the significant steps in this flow and illu
 strate the transformations to the representation of the quantum program. \
 n\nDave will also describe\, in detail\, the low-level quantum language an
 d the quantum simulator within this design flow. LIQUi|⟩ is an attempt t
 o remedy many of the difficulties in quantum programming and simulation (n
 amely difficulties in debugging\, visualization\, and exponential growth i
 n memory)\, as well as make it possible for a wider audience to design\, i
 mplement\, and test quantum algorithms. It provides a functional language 
 (based on F#) that is efficient for programming and allows a combination o
 f classical and quantum operations. In addition\, this advanced memory mod
 el allows simulation of a large numbers of qubits\, and also uses parallel
  hardware for processing efficiency. Dave will demonstrate the capabilitie
 s of LIQUi|⋅⟩ and simulate several quantum algorithms. Shor’s algori
 thm has been fully implemented in LIQUi|⋅⟩\; we can factor numbers fro
 m 15 to 8189 on a standard desktop and display the corresponding circuit d
 iagrams.\n\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR