Search Results - Macko, Peter

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Trace Validation of Unmodified Concurrent Systems with OmniLink by Hackett, Finn, Wrench, Evan, Macko, Peter, Davis, A. Jesse Jiryu, Wei, Yuanhao, Beschastnikh, Ivan

    Published 2026
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: