Co-Design and Verification of an Available File System
No abstract available.
Related papers
- Rethinking safe consistency in distributed object-oriented programming OOPSLA 2020
- Overcoming restraint: composing verification of foreign functions with cogent CPP 2022
- A domain-specific language for exploratory data visualization GPCE 2018
- S-EnKF: co-designing for scalable ensemble Kalman filter PPoPP 2019
- New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair SAS 2018
- Encapsulation Constructs in Systems Programming Languages TOPLAS 1984
- Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O OOPSLA 1994
- Synthesizing configuration file specifications with association rule learning OOPSLA 2017