QRisk isolates backend-specific abnormal error patterns on NISQ devices via delta debugging and mitigates them with commuting gate swaps, cutting excess noise by 24-45% on IBM backends where noise models predict no difference.
Canonical reference
In: Proceedings of the 25th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’20), pp
Canonical reference. 80% of citing Pith papers cite this work as background.
9
Pith papers citing it
Background
80% of classified citations
citation-role summary
background 4
baseline 1
citation-polarity summary
verdicts
UNVERDICTED 9representative citing papers
AtomSanitizer delivers an O(nk²) streaming checker for conflict serializability that is asymptotically faster, lower-memory, and the first shown to run with minimal locking inside a concurrent runtime monitor.
k-sliced reorderings form a strictly increasing hierarchy converging to reads-from equivalence, supporting constant-space streaming algorithms for predictive monitoring against any regular specification at any fixed k.
Duet is a manycore-eFPGA architecture with cache-coherent integration that supports fine-grained acceleration and hardware augmentation, shown in RTL evaluation to cut communication latency by up to 82% and deliver 1.5-24.9x speedups on seven benchmarks.
Neighbor-only work stealing for 2D-mesh satellite constellations yields growing per-attempt latency advantages and performs within 2.2% of global stealing on emulated workloads.
Experimental demonstration of multiplayer quantum volunteer's dilemma on NISQ hardware up to 9 players, with noise analysis and digital-twin comparison.
Crosstalk patterns between quantum circuits on IBM processors are predictable by circuit type and hardware architecture, with high intra-revision consistency and topological decoupling between lattice types.
Equinox uses a barrier-function-derived marginal cost to enable value-based adaptive scheduling and neighbor offloading in energy-constrained satellite constellations, yielding 20-31% throughput gains and higher battery reserves in simulation.
Augmenting binaries with compilation metadata makes disassembly decidable, enables correct lifting to recompilable representations, and improves analysis reliability while adding negligible size and no runtime overhead.
citing papers explorer
-
Fast Atomicity Monitoring
AtomSanitizer delivers an O(nk²) streaming checker for conflict serializability that is asymptotically faster, lower-memory, and the first shown to run with minimal locking inside a concurrent runtime monitor.
-
Parametrizing Reads-From Equivalence for Predictive Monitoring
k-sliced reorderings form a strictly increasing hierarchy converging to reads-from equivalence, supporting constant-space streaming algorithms for predictive monitoring against any regular specification at any fixed k.