Krysta M. Svore

Affiliations:
  • Microsoft Research, Redmond, WA, USA


According to our database1, Krysta M. Svore authored at least 73 papers between 2005 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Beyond Single-Shot Fault-Tolerant Quantum Error Correction.
IEEE Trans. Inf. Theory, 2022

Assessing requirements to scale to practical quantum advantage.
CoRR, 2022

AFS: Accurate, Fast, and Scalable Error-Decoding for Fault-Tolerant Quantum Computers.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2022

2020
Efficient Quantum Walk Circuits for Metropolis-Hastings Algorithm.
Quantum, 2020

Predicting human-generated bitstreams using classical and quantum models.
CoRR, 2020

A Scalable Decoder Micro-architecture for Fault-Tolerant Quantum Computing.
CoRR, 2020

Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019
Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Keynote: Developing our Quantum Future.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Quantum Computing: Codebreaking and Beyond.
IEEE Secur. Priv., 2018

Managing approximation errors in quantum programs.
CoRR, 2018

Optimizing Quantum Circuits for Arithmetic.
CoRR, 2018

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.
CoRR, 2018

Quantum Circuits for Floating-Point Arithmetic.
Proceedings of the Reversible Computation - 10th International Conference, 2018

Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.
Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017
Factoring using $2n+2$ qubits with Toffoli based modular multiplication.
Quantum Inf. Comput., 2017

Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms.
IACR Cryptol. ePrint Arch., 2017

Quantum Cryptanalysis (Dagstuhl Seminar 17401).
Dagstuhl Reports, 2017

Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning.
CoRR, 2017

REVS: A Tool for Space-Optimized Reversible Circuit Synthesis.
Proceedings of the Reversible Computation - 9th International Conference, 2017

Keynote addresses: Quantum computing: Revolutionizing computation through quantum mechanics.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Quantum Speed-Ups for Solving Semidefinite Programs.
Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science, 2017

Design automation for quantum architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Verified Compilation of Space-Efficient Reversible Circuits.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Quantum deep learning.
Quantum Inf. Comput., 2016

Efficient approximation of diagonal unitaries over the Clifford+T basis.
Quantum Inf. Comput., 2016

Improved quantum ternary arithmetic.
Quantum Inf. Comput., 2016

A Software Methodology for Compiling Quantum Programs.
CoRR, 2016

Quantum Speed-ups for Semidefinite Programming.
CoRR, 2016

Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures.
CoRR, 2016

The Quantum Future of Computation.
Computer, 2016

Quantum Perceptron Models.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

2015
Quantum algorithms for nearest-neighbor methods for supervised and unsupervised learning.
Quantum Inf. Comput., 2015

Quantum Inspired Training for Boltzmann Machines.
CoRR, 2015

Bayesian inference via rejection filtering.
CoRR, 2015

Reversible circuit compilation with space constraints.
CoRR, 2015

Improved Quantum Ternary Arithmetics.
CoRR, 2015

2014
Faster phase estimation.
Quantum Inf. Comput., 2014

Repeat-until-success: non-deterministic decomposition of single-qubit unitaries.
Quantum Inf. Comput., 2014

LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing.
CoRR, 2014

Low-distance Surface Codes under Realistic Quantum Noise.
CoRR, 2014

Efficient synthesis of universal Repeat-Until-Success circuits.
CoRR, 2014

Efficient synthesis of probabilistic quantum circuits with fallback.
CoRR, 2014

2013
Behavioral dynamics on the web: Learning, modeling, and prediction.
ACM Trans. Inf. Syst., 2013

A 2D nearest-neighbor quantum architecture for factoring in polylogarithmic depth.
Quantum Inf. Comput., 2013

From Reversible Logic Gates to Universal Quantum Bases.
Bull. EATCS, 2013

Asymptotically Optimal Topological Quantum Compiling.
CoRR, 2013

Distillation of Non-Stabilizer States for Universal Quantum Computation.
Proceedings of the 8th Conference on the Theory of Quantum Computation, 2013

2012
A State Distillation Protocol to Implement Arbitrary Single-qubit Rotations
CoRR, 2012

A 2D Nearest-Neighbor Quantum Architecture for Factoring
CoRR, 2012

Modeling and predicting behavioral dynamics on the web.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Leveraging interlingual classification to improve web search.
Proceedings of the 21st World Wide Web Conference, 2012

Creating temporally dynamic web search snippets.
Proceedings of the 35th International ACM SIGIR conference on research and development in Information Retrieval, 2012

Learning from mistakes: towards a correctable learning algorithm.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011
Enriching information retrieval.
SIGIR Forum, 2011

Learning to Rank Using an Ensemble of Lambda-Gradient Models.
Proceedings of the Yahoo! Learning to Rank Challenge, 2011

Learning to rank with multiple objective functions.
Proceedings of the 20th International Conference on World Wide Web, 2011

Understanding temporal query dynamics.
Proceedings of the Forth International Conference on Web Search and Web Data Mining, 2011

2010
Adapting boosting for information retrieval measures.
Inf. Retr., 2010

Classification-enhanced ranking.
Proceedings of the 19th International Conference on World Wide Web, 2010

Collecting high quality overlapping labels at low cost.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

How good is a span of terms?: exploiting proximity to improve web retrieval.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

2009
On the local optimality of LambdaRank.
Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2009

Model Adaptation via Model Interpolation and Boosting for Web Search Ranking.
Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing, 2009

A machine learning approach for improved BM25 retrieval.
Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008
Using Signals of Human Interest to Enhance Single-document Summarization.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Noise threshold for a fault-tolerant two-dimensional lattice architecture.
Quantum Inf. Comput., 2007

Enhancing Single-Document Summarization by Combining RankNet and Third-Party Sources.
Proceedings of the EMNLP-CoNLL 2007, 2007

Improving Web Spam Classification using Rank-time Features.
Proceedings of the AIRWeb 2007, 2007

2006
A flow-map model for analyzing pseudothresholds in fault-tolerant quantum computing.
Quantum Inf. Comput., 2006

A logarithmic-depth quantum carry-lookahead adder.
Quantum Inf. Comput., 2006

A Layered Software Architecture for Quantum Computing Design Tools.
Computer, 2006

2005
A comparative evaluation of two algorithms for Windows Registry Anomaly Detection.
J. Comput. Secur., 2005


  Loading...