TY - RPRT TI - Trace Validation of Unmodified Concurrent Systems with OmniLink AU - Finn Hackett AU - Evan Wrench AU - Peter Macko AU - A. Jesse Jiryu Davis AU - Yuanhao Wei AU - Ivan Beschastnikh PY - 2026 UR - https://arxiv.org/abs/2601.11836 ID - 2601.11836 ER -