Hello Everyone!
Just a reminder that our seminar is today at 1:05pm in room 3310! Amanda Xu will be presenting on her recently accepted PLDI paper (joint with Abtin Molavi and Lauren Pick) "Synthesizing
Quantum-Circuit Optimizers". The abstract is below for further reading! Congratulations
to them as well as Lauren Pick for other paper, also accepted to PLDI! Well deserved! Hope you can attend!
Abstract:
"Near-term
quantum computers are expected to work in an environment where each operation is noisy, with no error correction. Therefore, quantum-circuit optimizers are applied to minimize the number of noisy operations. Today, physicists are constantly experimenting with
novel devices and architectures. For every new physical substrate and for every modification of a quantum computer, we need to modify or rewrite major pieces of the optimizer to run successful experiments. In this talk, we present QUESO, an efficient approach
for automatically synthesizing a quantum-circuit optimizer for a given quantum device. For instance, in 1.2 minutes, QUESO can synthesize a verified optimizer for IBM computers that significantly outperforms leading compilers, such as IBM's Qiskit and TKET,
on the majority (85%) of the circuits in a diverse benchmark suite."
Best,
Lauren Neudorf
Program Manager, MadPL Research Group
University of Wisconsin-Madison
Department of Computer Sciencesâ
(716) 704-4463
(she/her/hers)
|