Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures
No abstract available.
Related papers
- Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations POPL 2006
- PMThreads: persistent memory threads harnessing versioned shadow copies PLDI 2020
- Exploring multi-threaded Java application performance on multicore hardware OOPSLA 2012
- MAGπ: Types for Failure-Prone Communication ESOP 2023
- ZOID: I/O-forwarding infrastructure for petascale architectures PPoPP 2008
- Are Your Epochs Too Epic? Batch Free Can Be Harmful PPoPP 2024
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ESOP 2020
- LARTS: Language Abstractions for Real-Time and Secure Systems OOPSLA 2026