Krysta M. Svore

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