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.
McKay, Margaret Martonosi, and Ali Javadi- Abhari
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
years
2026 6verdicts
UNVERDICTED 6representative 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.
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
-
Isolating Recurring Execution-Dependent Abnormal Patterns on NISQ Quantum Devices
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.
-
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.
-
Toward Secure Multitenant Quantum Computing: Circuit Affinity, Crosstalk Patterns, and Grouping Strategies
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: Decentralized Scheduling for Hardware-Aware Orbital Intelligence
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.
-
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
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.