Collaborated with:∅ M.Amy M.Roetteler
Talks about:quantum (1) develop (1) circuit (1) verifi (1) revers (1) keynot (1) effici (1) compil (1) space (1) futur (1)
Person: Krysta M. Svore
DBLP: Svore:Krysta_M=
Contributed to:
2017
2019Wrote 2 papers:
- CAV-2017-AmyRS #compilation
- Verified Compilation of Space-Efficient Reversible Circuits (MA, MR, KMS), pp. 3–21.
- ASPLOS-2019-Svore #named #quantum
- Keynote: Developing our Quantum Future (KMS), p. 2.