Search Results for author: Margaret Martonosi

Found 14 papers, 3 papers with code

SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

2 code implementations18 Apr 2020 Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi, Frederic T. Chong

Compiling high-level quantum programs to machines that are size constrained (i. e. limited number of quantum bits) and time constrained (i. e. limited number of quantum operations) is challenging.

Quantum Physics

Term Grouping and Travelling Salesperson for Digital Quantum Simulation

no code implementations16 Jan 2020 Kaiwen Gui, Teague Tomesh, Pranav Gokhale, Yunong Shi, Frederic T. Chong, Margaret Martonosi, Martin Suchara

Digital simulation of quantum dynamics by evaluating the time evolution of a Hamiltonian is the initially proposed application of quantum computing.

Quantum Physics

Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers

1 code implementation9 Jan 2020 Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari

Our goal is to mitigate the application impact of crosstalk noise through software techniques.

Quantum Physics Emerging Technologies

Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights

no code implementations27 May 2019 Prakash Murali, Norbert Matthias Linke, Margaret Martonosi, Ali Javadi Abhari, Nhung Hong Nguyen, Cinthia Huerta Alderete

From these real-system experiences at QC's hardware-software interface, we make observations about native and software-visible gates for different QC technologies, communication topologies, and the value of noise-aware compilation even on lower-noise platforms.

Quantum Physics

Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

no code implementations20 May 2019 Yipeng Huang, Margaret Martonosi

In support of the growing interest in quantum computing experimentation, programmers need new tools to write quantum algorithms as program code.

Quantum Physics Emerging Technologies Programming Languages

Next Steps in Quantum Computing: Computer Science's Role

no code implementations25 Mar 2019 Margaret Martonosi, Martin Roetteler

The goal of the QC research community is to close the gap such that useful algorithms can be run in practical amounts of time on reliable real-world QC hardware.

Emerging Technologies Quantum Physics

Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems

no code implementations8 Mar 2019 Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi

For large programs and machine sizes, the SMT optimization approach can be used to synthesize compiled code that is guaranteed to finish within the coherence window of the machine.

Programming Languages Quantum Physics

Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers

no code implementations30 Jan 2019 Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari, Frederic T. Chong, Margaret Martonosi

A massive gap exists between current quantum computing (QC) prototypes, and the size and scale required for many proposed QC algorithms.

Quantum Physics Programming Languages

QDB: From Quantum Algorithms Towards Correct Quantum Programs

no code implementations13 Nov 2018 Yipeng Huang, Margaret Martonosi

With the advent of small-scale prototype quantum computers, researchers can now code and run quantum algorithms that were previously proposed but not fully implemented.

Programming Languages Quantum Physics

MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols

no code implementations11 Feb 2018 Caroline Trippel, Daniel Lustig, Margaret Martonosi

But more importantly, both Prime attacks exploit invalidation-based coherence protocols to achieve the same level of precision as a Flush+Reload attack.

Cryptography and Security Hardware Architecture

ScaffCC: Scalable Compilation and Analysis of Quantum Programs

2 code implementations7 Jul 2015 Ali Javadi-Abhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

We present ScaffCC, a scalable compilation and analysis framework based on LLVM, which can be used for compiling quantum computing applications at the logical level.

Quantum Physics Programming Languages

An analytical error model for quantum computer simulation

no code implementations29 Dec 2007 Eric Chi, Stephen A. Lyon, Margaret Martonosi

We present an alternative analytical error model that generates, over the course of executing the quantum program, a probability tree of the QC's error states.

Quantum Physics

Cannot find the paper you are looking for? You can Submit a new open access paper.