TPOT
Practical verification of system-software components written in standard C
Artifact repository for the paper "Practical Verification of System-Software Components Written in Standard C" (SOSP '24). Provides tools and methodology for verifying system-software components written in standard C.
Code AnalysisLow-Level
- Research papers
- Technical
The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:
- Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
- Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
- Build open-source prototypes that enable evaluation of these solutions with real-world workloads
- Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture
This page was last edited on 2026-04-02.
This page was last edited on 2026-04-02.