23 citations · 41 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer +2
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program t…
cs.SE2025
QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
Matteo Paltenghi, Michael Pradel
Quantum computing platforms are susceptible to quantum-specific bugs (e.g., incorrect ordering of qubits or incorrect implementation of quantum abstractions), which are difficult t…