Krysta M. Svore

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 41

Top Topics

Error Correction

Design Automation

Supervised And Unsupervised Learning

Quantum Computing

Top Venues

Quantum Inf. Comput.

IEEE Trans. Inf. Theory

Publications

Poulami Das, Christopher A. Pattison, Srilatha Manne, Douglas M. Carmean, Krysta M. Svore, Moinuddin K. Qureshi, Nicolas Delfosse
AFS: Accurate, Fast, and Scalable Error-Decoding for Fault-Tolerant Quantum Computers. HPCA (2022)
Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, Alexander Vaschillo
Assessing requirements to scale to practical quantum advantage. CoRR (2022)
Nicolas Delfosse, Ben W. Reichardt, Krysta M. Svore
Beyond Single-Shot Fault-Tolerant Quantum Error Correction. IEEE Trans. Inf. Theory 68 (1) (2022)
Mariia Mykhailova, Krysta M. Svore
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. CoRR (2020)
Poulami Das, Christopher A. Pattison, Srilatha Manne, Douglas M. Carmean, Krysta M. Svore, Moinuddin K. Qureshi, Nicolas Delfosse
A Scalable Decoder Micro-architecture for Fault-Tolerant Quantum Computing. CoRR (2020)
Mariia Mykhailova, Krysta M. Svore
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. SIGCSE (2020)
Jessica Lemieux, Bettina Heim, David Poulin, Krysta M. Svore, Matthias Troyer
Efficient Quantum Walk Circuits for Metropolis-Hastings Algorithm. Quantum 4 (2020)
Nicolas Delfosse, Ben W. Reichardt, Krysta M. Svore
Beyond single-shot fault-tolerant quantum error correction. CoRR (2020)
Alex Bocharov, Michael H. Freedman, Eshan Kemp, Martin Roetteler, Krysta M. Svore
Predicting human-generated bitstreams using classical and quantum models. CoRR (2020)
Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning. ICALP (2019)
Krysta M. Svore
Keynote: Developing our Quantum Future. ASPLOS (2019)
Jianfeng Gao, Qiang Wu, Chris Burges, Krysta M. Svore, Yi Su, Nazan Khan, Shalin Shah, Hongyan Zhou
Model Adaptation via Model Interpolation and Boosting for Web Search Ranking. CoRR (2019)
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum Circuits for Floating-Point Arithmetic. RC (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Optimizing Quantum Circuits for Arithmetic. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum circuits for floating-point arithmetic. CoRR (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Managing approximation errors in quantum programs. CoRR (2018)
Krysta M. Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher E. Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, Martin Roetteler
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. RWDSL@CGO (2018)
Martin Roetteler, Krysta M. Svore
Quantum Computing: Codebreaking and Beyond. IEEE Secur. Priv. 16 (5) (2018)
Fernando G. S. L. Brandão, Krysta M. Svore
Quantum Speed-Ups for Solving Semidefinite Programs. FOCS (2017)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified Compilation of Space-Efficient Reversible Circuits. CAV (2) (2017)
Alex Parent, Martin Roetteler, Krysta M. Svore
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis. RC (2017)
Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu
Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning. CoRR (2017)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using $2n+2$ qubits with Toffoli based modular multiplication. Quantum Inf. Comput. 17 (7&8) (2017)
Krysta M. Svore
Keynote addresses: Quantum computing: Revolutionizing computation through quantum mechanics. ICCAD (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. ASIACRYPT (2) (2017)
Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, Krysta M. Svore
Quantum Cryptanalysis (Dagstuhl Seminar 17401). Dagstuhl Reports 7 (10) (2017)
Martin Rötteler, Krysta M. Svore, Dave Wecker, Nathan Wiebe
Design automation for quantum architectures. DATE (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2017 (2017)
Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter
Quantum resource estimates for computing elliptic curve discrete logarithms. CoRR (2017)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using 2n+2 qubits with Toffoli based modular multiplication. CoRR (2016)
Krysta M. Svore, Matthias Troyer
The Quantum Future of Computation. Computer 49 (9) (2016)
Matthew Amy, Martin Roetteler, Krysta M. Svore
Verified compilation of space-efficient reversible circuits. CoRR (2016)
Nathan Wiebe, Ashish Kapoor, Krysta M. Svore
Quantum Perceptron Models. CoRR (2016)
Ashish Kapoor, Nathan Wiebe, Krysta M. Svore
Quantum Perceptron Models. NIPS (2016)
Alex Bocharov, Shawn X. Cui, Martin Roetteler, Krysta M. Svore
Improved quantum ternary arithmetic. Quantum Inf. Comput. 16 (9&10) (2016)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures. CoRR (2016)
Fernando G. S. L. Brandão, Krysta M. Svore
Quantum Speed-ups for Semidefinite Programming. CoRR (2016)
Nathan Wiebe, Ashish Kapoor, Krysta M. Svore
Quantum deep learning. Quantum Inf. Comput. 16 (7&8) (2016)
Jonathan Welch, Alex Bocharov, Krysta M. Svore
Efficient approximation of diagonal unitaries over the Clifford+T basis. Quantum Inf. Comput. 16 (1&2) (2016)
Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer
A Software Methodology for Compiling Quantum Programs. CoRR (2016)
Nathan Wiebe, Ashish Kapoor, Krysta M. Svore
Quantum algorithms for nearest-neighbor methods for supervised and unsupervised learning. Quantum Inf. Comput. 15 (3&4) (2015)
Nathan Wiebe, Christopher E. Granade, Ashish Kapoor, Krysta M. Svore
Bayesian inference via rejection filtering. CoRR (2015)
Alex Parent, Martin Roetteler, Krysta M. Svore
Reversible circuit compilation with space constraints. CoRR (2015)
Nathan Wiebe, Ashish Kapoor, Christopher E. Granade, Krysta M. Svore
Quantum Inspired Training for Boltzmann Machines. CoRR (2015)
Alex Bocharov, Shawn X. Cui, Martin Roetteler, Krysta M. Svore
Improved Quantum Ternary Arithmetics. CoRR (2015)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Efficient synthesis of universal Repeat-Until-Success circuits. CoRR (2014)
Alex Bocharov, Martin Roetteler, Krysta M. Svore
Efficient synthesis of probabilistic quantum circuits with fallback. CoRR (2014)
Dave Wecker, Krysta M. Svore
LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. CoRR (2014)
Adam Paetznick, Krysta M. Svore
Repeat-until-success: non-deterministic decomposition of single-qubit unitaries. Quantum Inf. Comput. 14 (15-16) (2014)
Yu Tomita, Krysta M. Svore
Low-distance Surface Codes under Realistic Quantum Noise. CoRR (2014)
Krysta M. Svore, Matthew B. Hastings, Michael H. Freedman
Faster phase estimation. Quantum Inf. Comput. 14 (3-4) (2014)
Nathan Wiebe, Ashish Kapoor, Krysta M. Svore
Quantum Deep Learning. CoRR (2014)
Paul Pham, Krysta M. Svore
A 2D nearest-neighbor quantum architecture for factoring in polylogarithmic depth. Quantum Inf. Comput. 13 (11-12) (2013)
Alex Bocharov, Krysta M. Svore
From Reversible Logic Gates to Universal Quantum Bases. Bull. EATCS 110 (2013)
Kira Radinsky, Krysta M. Svore, Susan T. Dumais, Milad Shokouhi, Jaime Teevan, Alex Bocharov, Eric Horvitz
Behavioral dynamics on the web: Learning, modeling, and prediction. ACM Trans. Inf. Syst. 31 (3) (2013)
Guillaume Duclos-Cianci, Krysta M. Svore
Distillation of Non-Stabilizer States for Universal Quantum Computation. TQC (2013)
Vadym Kliuchnikov, Alex Bocharov, Krysta M. Svore
Asymptotically Optimal Topological Quantum Compiling. CoRR (2013)
Karthik Raman, Krysta M. Svore, Ran Gilad-Bachrach, Christopher J. C. Burges
Learning from mistakes: towards a correctable learning algorithm. CIKM (2012)
Guillaume Duclos-Cianci, Krysta M. Svore
A State Distillation Protocol to Implement Arbitrary Single-qubit Rotations CoRR (2012)
Paul Pham, Krysta M. Svore
A 2D Nearest-Neighbor Quantum Architecture for Factoring CoRR (2012)
Kira Radinsky, Krysta M. Svore, Susan T. Dumais, Jaime Teevan, Alex Bocharov, Eric Horvitz
Modeling and predicting behavioral dynamics on the web. WWW (2012)
Krysta M. Svore, Jaime Teevan, Susan T. Dumais, Anagha Kulkarni
Creating temporally dynamic web search snippets. SIGIR (2012)
Jagadeesh Jagarlamudi, Paul N. Bennett, Krysta M. Svore
Leveraging interlingual classification to improve web search. WWW (Companion Volume) (2012)
Anagha Kulkarni, Jaime Teevan, Krysta M. Svore, Susan T. Dumais
Understanding temporal query dynamics. WSDM (2011)
Christopher J. C. Burges, Krysta M. Svore, Paul N. Bennett, Andrzej Pastusiak, Qiang Wu
Learning to Rank Using an Ensemble of Lambda-Gradient Models. Yahoo! Learning to Rank Challenge (2011)
Paul N. Bennett, Khalid El-Arini, Thorsten Joachims, Krysta M. Svore
Enriching information retrieval. SIGIR Forum 45 (2) (2011)
Krysta M. Svore, Maksims Volkovs, Christopher J. C. Burges
Learning to rank with multiple objective functions. WWW (2011)
Krysta M. Svore, Pallika H. Kanani, Nazan Khan
How good is a span of terms?: exploiting proximity to improve web retrieval. SIGIR (2010)
Hui Yang, Anton Mityagin, Krysta M. Svore, Sergey Markov
Collecting high quality overlapping labels at low cost. SIGIR (2010)
Paul N. Bennett, Krysta M. Svore, Susan T. Dumais
Classification-enhanced ranking. WWW (2010)
Qiang Wu, Christopher J. C. Burges, Krysta M. Svore, Jianfeng Gao
Adapting boosting for information retrieval measures. Inf. Retr. 13 (3) (2010)
Pinar Donmez, Krysta M. Svore, Christopher J. C. Burges
On the local optimality of LambdaRank. SIGIR (2009)
Jianfeng Gao, Qiang Wu, Chris Burges, Krysta M. Svore, Yi Su, Nazan Khan, Shalin Shah, Hongyan Zhou
Model Adaptation via Model Interpolation and Boosting for Web Search Ranking. EMNLP (2009)
Krysta M. Svore, Christopher J. C. Burges
A machine learning approach for improved BM25 retrieval. CIKM (2009)
Krysta M. Svore, Lucy Vanderwende, Christopher J. C. Burges
Using Signals of Human Interest to Enhance Single-document Summarization. AAAI (2008)
Krysta M. Svore, Qiang Wu, Chris Burges, Aaswath Raman
Improving Web Spam Classification using Rank-time Features. AIRWeb (2007)
Krysta M. Svore, Lucy Vanderwende, Christopher J. C. Burges
Enhancing Single-Document Summarization by Combining RankNet and Third-Party Sources. EMNLP-CoNLL (2007)
Krysta M. Svore, David P. DiVincenzo, Barbara M. Terhal
Noise threshold for a fault-tolerant two-dimensional lattice architecture. Quantum Inf. Comput. 7 (4) (2007)
Krysta M. Svore, Alfred V. Aho, Andrew W. Cross, Isaac L. Chuang, Igor L. Markov
A Layered Software Architecture for Quantum Computing Design Tools. Computer 39 (1) (2006)
Krysta M. Svore, Andrew W. Cross, Isaac L. Chuang, Alfred V. Aho
A flow-map model for analyzing pseudothresholds in fault-tolerant quantum computing. Quantum Inf. Comput. 6 (3) (2006)
Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, Krysta M. Svore
A logarithmic-depth quantum carry-lookahead adder. Quantum Inf. Comput. 6 (4) (2006)
Salvatore J. Stolfo, Frank Apap, Eleazar Eskin, Katherine A. Heller, Shlomo Hershkop, Andrew Honig, Krysta M. Svore
A comparative evaluation of two algorithms for Windows Registry Anomaly Detection. J. Comput. Secur. 13 (4) (2005)