Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  google  health  javascript  web  go  theregister.com  apple  arstechnica.com  release  show  security  youtube.com  nature.com  microsoft  theverge.com  chrome  linux 

Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel

4 years ago unsat.cs.washington.edu compiler kernel linux

Scaling symbolic evaluation for automatedverification of systems code with Serval

4 years ago unsat.cs.washington.edu

Hyperkernel – A push-button approach to building provably correct OS kernels

6 years ago unsat.cs.washington.edu