257 citations · 1.4k across the 39 of their papers we have counts for
4 papers · 1 filter
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval +4
As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-…
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong +1
Noisy, intermediate-scale quantum (NISQ) systems are expected to have a few hundred qubits, minimal or no error correction, limited connectivity and limits on the number of gates t…
QDB: From Quantum Algorithms Towards Correct Quantum Programs
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. In support…
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings
Yatin A. Manerkar, Caroline Trippel, Daniel Lustig +2
The C and C++ high-level languages provide programmers with atomic operations for writing high-performance concurrent code. At the assembly language level, C and C++ atomics get ma…