A Protocol Stack Development Tool Using Generative Programming
Abstract elided by the publisher.
Related papers
- NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks PLDI 2024
- Hardening attack surfaces with formally proven binary format parsers PLDI 2022
- A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools DLS 2017
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- Roles, stacks, histories: A triple for Hoare JFP 2011
- An Empirical Study of Object Protocols in the Wild ECOOP 2011
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- Narcissus: correct-by-construction derivation of decoders and encoders from binary formats ICFP 2019