default search action
Krysta M. Svore
Person information
- affiliation: Microsoft Research, Redmond, WA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j21]Nicolas Delfosse
, Ben W. Reichardt, Krysta M. Svore:
Beyond Single-Shot Fault-Tolerant Quantum Error Correction. IEEE Trans. Inf. Theory 68(1): 287-301 (2022) - [c30]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: 259-273 - [i32]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 abs/2211.07629 (2022) - 2020
- [j20]Jessica Lemieux, Bettina Heim, David Poulin, Krysta M. Svore, Matthias Troyer:
Efficient Quantum Walk Circuits for Metropolis-Hastings Algorithm. Quantum 4: 287 (2020) - [c29]Mariia Mykhailova, Krysta M. Svore:
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. SIGCSE 2020: 1019-1025 - [i31]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 abs/2001.06598 (2020) - [i30]Nicolas Delfosse, Ben W. Reichardt, Krysta M. Svore:
Beyond single-shot fault-tolerant quantum error correction. CoRR abs/2002.05180 (2020) - [i29]Alex Bocharov, Michael H. Freedman, Eshan Kemp, Martin Roetteler, Krysta M. Svore:
Predicting human-generated bitstreams using classical and quantum models. CoRR abs/2004.04671 (2020) - [i28]Mariia Mykhailova, Krysta M. Svore:
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report. CoRR abs/2010.07729 (2020)
2010 – 2019
- 2019
- [c28]Krysta M. Svore:
Keynote: Developing our Quantum Future. ASPLOS 2019: 2 - [c27]Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning. ICALP 2019: 27:1-27:14 - [i27]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 abs/1907.09471 (2019) - 2018
- [j19]Martin Roetteler
Quantum Computing: Codebreaking and Beyond. IEEE Secur. Priv. 16(5): 22-36 (2018) - [c26]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: 7:1-7:10 - [c25]Thomas Häner, Mathias Soeken, Martin Roetteler
Quantum Circuits for Floating-Point Arithmetic. RC 2018: 162-174 - [i26]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 abs/1803.00652 (2018) - [i25]Thomas Häner, Martin Roetteler
Optimizing Quantum Circuits for Arithmetic. CoRR abs/1805.12445 (2018) - [i24]Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore:
Quantum circuits for floating-point arithmetic. CoRR abs/1807.02023 (2018) - [i23]Thomas Häner, Martin Roetteler, Krysta M. Svore:
Managing approximation errors in quantum programs. CoRR abs/1807.02336 (2018) - 2017
- [j18]Thomas Häner, Martin Roetteler
Factoring using $2n+2$ qubits with Toffoli based modular multiplication. Quantum Inf. Comput. 17(7&8): 673-684 (2017) - [c24]Martin Roetteler
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. ASIACRYPT (2) 2017: 241-270 - [c23]Matthew Amy, Martin Roetteler
Verified Compilation of Space-Efficient Reversible Circuits. CAV (2) 2017: 3-21 - [c22]Martin Rötteler
Design automation for quantum architectures. DATE 2017: 1312-1317 - [c21]Fernando G. S. L. Brandão, Krysta M. Svore:
Quantum Speed-Ups for Solving Semidefinite Programs. FOCS 2017: 415-426 - [c20]Krysta M. Svore:
Keynote addresses: Quantum computing: Revolutionizing computation through quantum mechanics. ICCAD 2017: 1-2 - [c19]Alex Parent, Martin Roetteler
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis. RC 2017: 90-101 - [i22]Martin Roetteler
Quantum resource estimates for computing elliptic curve discrete logarithms. CoRR abs/1706.06752 (2017) - [i21]Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li
Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning. CoRR abs/1710.02581 (2017) - [i20]Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, Krysta M. Svore:
Quantum Cryptanalysis (Dagstuhl Seminar 17401). Dagstuhl Reports 7(10): 1-13 (2017) - [i19]Martin Roetteler, Michael Naehrig, Krysta M. Svore, Kristin E. Lauter:
Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2017: 598 (2017) - 2016
- [j17]Krysta M. Svore, Matthias Troyer:
The Quantum Future of Computation. Computer 49(9): 21-30 (2016) - [j16]Jonathan Welch, Alex Bocharov, Krysta M. Svore:
Efficient approximation of diagonal unitaries over the Clifford+T basis. Quantum Inf. Comput. 16(1&2): 87-104 (2016) - [j15]Nathan Wiebe, Ashish Kapoor, Krysta M. Svore:
Quantum deep learning. Quantum Inf. Comput. 16(7&8): 541-587 (2016) - [j14]Alex Bocharov, Shawn X. Cui
Improved quantum ternary arithmetic. Quantum Inf. Comput. 16(9&10): 862-884 (2016) - [c18]Ashish Kapoor, Nathan Wiebe, Krysta M. Svore:
Quantum Perceptron Models. NIPS 2016: 3999-4007 - [i18]Nathan Wiebe, Ashish Kapoor, Krysta M. Svore:
Quantum Perceptron Models. CoRR abs/1602.04799 (2016) - [i17]Matthew Amy, Martin Roetteler
Verified compilation of space-efficient reversible circuits. CoRR abs/1603.01635 (2016) - [i16]Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer:
A Software Methodology for Compiling Quantum Programs. CoRR abs/1604.01401 (2016) - [i15]Alex Bocharov, Martin Roetteler
Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures. CoRR abs/1605.02756 (2016) - [i14]Fernando G. S. L. Brandão, Krysta M. Svore:
Quantum Speed-ups for Semidefinite Programming. CoRR abs/1609.05537 (2016) - [i13]Thomas Häner, Martin Roetteler
Factoring using 2n+2 qubits with Toffoli based modular multiplication. CoRR abs/1611.07995 (2016) - 2015
- [j13]Nathan Wiebe, Ashish Kapoor, Krysta M. Svore:
Quantum algorithms for nearest-neighbor methods for supervised and unsupervised learning. Quantum Inf. Comput. 15(3&4): 316-356 (2015) - [i12]Nathan Wiebe, Ashish Kapoor, Christopher E. Granade, Krysta M. Svore:
Quantum Inspired Training for Boltzmann Machines. CoRR abs/1507.02642 (2015) - [i11]Alex Parent, Martin Roetteler
Reversible circuit compilation with space constraints. CoRR abs/1510.00377 (2015) - [i10]Nathan Wiebe, Christopher E. Granade, Ashish Kapoor, Krysta M. Svore:
Bayesian inference via rejection filtering. CoRR abs/1511.06458 (2015) - [i9]Alex Bocharov, Shawn X. Cui, Martin Roetteler
Improved Quantum Ternary Arithmetics. CoRR abs/1512.03824 (2015) - 2014
- [j12]Krysta M. Svore, Matthew B. Hastings, Michael H. Freedman:
Faster phase estimation. Quantum Inf. Comput. 14(3-4): 306-328 (2014) - [j11]Adam Paetznick, Krysta M. Svore:
Repeat-until-success: non-deterministic decomposition of single-qubit unitaries. Quantum Inf. Comput. 14(15-16): 1277-1301 (2014) - [i8]Dave Wecker, Krysta M. Svore:
LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. CoRR abs/1402.4467 (2014) - [i7]Yu Tomita, Krysta M. Svore:
Low-distance Surface Codes under Realistic Quantum Noise. CoRR abs/1404.3747 (2014) - [i6]Alex Bocharov, Martin Roetteler, Krysta M. Svore:
Efficient synthesis of universal Repeat-Until-Success circuits. CoRR abs/1404.5320 (2014) - [i5]Alex Bocharov, Martin Roetteler, Krysta M. Svore:
Efficient synthesis of probabilistic quantum circuits with fallback. CoRR abs/1409.3552 (2014) - [i4]Nathan Wiebe, Ashish Kapoor, Krysta M. Svore:
Quantum Deep Learning. CoRR abs/1412.3489 (2014) - 2013
- [j10]Alex Bocharov, Krysta M. Svore:
From Reversible Logic Gates to Universal Quantum Bases. Bull. EATCS 110: 79-85 (2013) - [j9]Paul Pham, Krysta M. Svore:
A 2D nearest-neighbor quantum architecture for factoring in polylogarithmic depth. Quantum Inf. Comput. 13(11-12): 937-962 (2013) - [j8]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): 16 (2013) - [c17]Guillaume Duclos-Cianci, Krysta M. Svore:
Distillation of Non-Stabilizer States for Universal Quantum Computation. TQC 2013: 235-243 - [i3]Vadym Kliuchnikov
Asymptotically Optimal Topological Quantum Compiling. CoRR abs/1310.4150 (2013) - 2012
- [c16]Karthik Raman, Krysta M. Svore, Ran Gilad-Bachrach
Learning from mistakes: towards a correctable learning algorithm. CIKM 2012: 1930-1934 - [c15]Krysta M. Svore, Jaime Teevan, Susan T. Dumais, Anagha Kulkarni:
Creating temporally dynamic web search snippets. SIGIR 2012: 1045-1046 - [c14]Jagadeesh Jagarlamudi, Paul N. Bennett, Krysta M. Svore:
Leveraging interlingual classification to improve web search. WWW (Companion Volume) 2012: 535-536 - [c13]Kira Radinsky, Krysta M. Svore, Susan T. Dumais, Jaime Teevan, Alex Bocharov, Eric Horvitz:
Modeling and predicting behavioral dynamics on the web. WWW 2012: 599-608 - [i2]Paul Pham, Krysta M. Svore:
A 2D Nearest-Neighbor Quantum Architecture for Factoring. CoRR abs/1207.6655 (2012) - [i1]Guillaume Duclos-Cianci, Krysta M. Svore:
A State Distillation Protocol to Implement Arbitrary Single-qubit Rotations. CoRR abs/1210.1980 (2012) - 2011
- [j7]Paul N. Bennett, Khalid El-Arini, Thorsten Joachims, Krysta M. Svore:
Enriching information retrieval. SIGIR Forum 45(2): 60-65 (2011) - [c12]Anagha Kulkarni, Jaime Teevan, Krysta M. Svore, Susan T. Dumais:
Understanding temporal query dynamics. WSDM 2011: 167-176 - [c11]Krysta M. Svore, Maksims Volkovs, Christopher J. C. Burges:
Learning to rank with multiple objective functions. WWW 2011: 367-376 - [c10]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: 25-35 - 2010
- [j6]Qiang Wu, Christopher J. C. Burges, Krysta M. Svore, Jianfeng Gao:
Adapting boosting for information retrieval measures. Inf. Retr. 13(3): 254-270 (2010) - [c9]Krysta M. Svore, Pallika H. Kanani, Nazan Khan:
How good is a span of terms?: exploiting proximity to improve web retrieval. SIGIR 2010: 154-161 - [c8]Hui Yang, Anton Mityagin, Krysta M. Svore, Sergey Markov:
Collecting high quality overlapping labels at low cost. SIGIR 2010: 459-466 - [c7]Paul N. Bennett, Krysta M. Svore, Susan T. Dumais:
Classification-enhanced ranking. WWW 2010: 111-120
2000 – 2009
- 2009
- [c6]Krysta M. Svore, Christopher J. C. Burges:
A machine learning approach for improved BM25 retrieval. CIKM 2009: 1811-1814 - [c5]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: 505-513 - [c4]Pinar Donmez, Krysta M. Svore, Christopher J. C. Burges:
On the local optimality of LambdaRank. SIGIR 2009: 460-467 - 2008
- [c3]Krysta M. Svore, Lucy Vanderwende, Christopher J. C. Burges:
Using Signals of Human Interest to Enhance Single-document Summarization. AAAI 2008: 1577-1580 - 2007
- [j5]Krysta M. Svore, David P. DiVincenzo, Barbara M. Terhal:
Noise threshold for a fault-tolerant two-dimensional lattice architecture. Quantum Inf. Comput. 7(4): 297-318 (2007) - [c2]Krysta M. Svore, Qiang Wu, Chris Burges, Aaswath Pattabhi Raman
Improving Web Spam Classification using Rank-time Features. AIRWeb 2007: 9-16 - [c1]Krysta M. Svore, Lucy Vanderwende, Christopher J. C. Burges:
Enhancing Single-Document Summarization by Combining RankNet and Third-Party Sources. EMNLP-CoNLL 2007: 448-457 - 2006
- [j4]Krysta M. Svore, Alfred V. Aho, Andrew W. Cross
A Layered Software Architecture for Quantum Computing Design Tools. Computer 39(1): 74-83 (2006) - [j3]Krysta M. Svore, Andrew W. Cross
A flow-map model for analyzing pseudothresholds in fault-tolerant quantum computing. Quantum Inf. Comput. 6(3): 193-212 (2006) - [j2]Thomas G. Draper, Samuel A. Kutin, Eric M. Rains, Krysta M. Svore:
A logarithmic-depth quantum carry-lookahead adder. Quantum Inf. Comput. 6(4): 351-369 (2006) - 2005
- [j1]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): 659-693 (2005)
Coauthor Index
aka: Chris Burges
aka: Martin Roetteler
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: