257 citations · 1.4k across the 39 of their papers we have counts for
10 papers · 1 filter
Optimizing IoT and Web Traffic Using Selective Edge Compression
Themis Melissaris, Kelly Shaw, Margaret Martonosi
Internet of Things (IoT) devices and applications are generating and communicating vast quantities of data, and the rate of data collection is increasing rapidly. These high commun…
CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations
Wei Tang, Teague Tomesh, Martin Suchara +2
Quantum computing (QC) is a new paradigm offering the potential of exponential speedups over classical computing for certain computational problems. Each additional qubit doubles t…
Resource-Efficient Quantum Computing by Breaking Abstractions
Yunong Shi, Pranav Gokhale, Prakash Murali +11
Building a quantum computer that surpasses the computational power of its classical counterpart is a great engineering challenge. Quantum software optimizations can provide an acce…
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain, Caroline Trippel, Margaret Martonosi
Memory consistency models (MCMs) specify the legal ordering and visibility of shared memory accesses in a parallel program. Traditionally, instruction set architecture (ISA) MCMs a…
The MosaicSim Simulator (Full Technical Report)
Opeoluwa Matthews, Aninda Manocha, Davide Giri +7
As Moore's Law has slowed and Dennard Scaling has ended, architects are increasingly turning to heterogeneous parallelism and domain-specific hardware-software co-designs. These tr…
Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers
Prakash Murali, Dripto M. Debroy, Kenneth R. Brown +1
Trapped ions (TI) are a leading candidate for building Noisy Intermediate-Scale Quantum (NISQ) hardware. TI qubits have fundamental advantages over other technologies such as super…
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation
Yongshan Ding, Xin-Chuan Wu, Adam Holmes +4
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) i…
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi
Modern SoCs are heterogeneous parallel systems comprised of components developed by distinct teams and possibly even different vendors. The memory consistency model (MCM) of proces…
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
Prakash Murali, David C. McKay, Margaret Martonosi +1
Crosstalk is a major source of noise in Noisy Intermediate-Scale Quantum (NISQ) systems and is a fundamental challenge for hardware design. When multiple instructions are executed…
Term Grouping and Travelling Salesperson for Digital Quantum Simulation
Kaiwen Gui, Teague Tomesh, Pranav Gokhale +4
Digital simulation of quantum dynamics by evaluating the time evolution of a Hamiltonian is the initially proposed application of quantum computing. The large number of quantum gat…