Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
The Polyglot's Dilemma: Conformance Testing a Dozen Specs in as Many Languages
A. Jesse Jiryu Davis, Jeremy Mikola, Jeff Yemin
MongoDB maintains client libraries in a dozen programming languages, used by tens of thousands of organizations and millions of developers. Most are implemented natively rather tha…
cs.SE2026
Trace Validation of Unmodified Concurrent Systems with OmniLink
Finn Hackett, Evan Wrench, Peter Macko +3
Concurrent systems are notoriously difficult to validate: subtle bugs may only manifest under rare thread interleavings, and existing tools often require intrusive instrumentation…