Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: rust  ai  github.com  health  go  psychology  china  theguardian.com  show  video  linux  google  theregister.com  brain  media  release  openai  nature.com  environment  database 

GenMC: Model checking for concurrent C programs

23 days ago plv.mpi-sws.org c formalmethods

RefinedC: Automating Foundational Verification of C Code with Refined Ownership

3 years ago plv.mpi-sws.org c

GhostCell: Separating Permissions from Data in Rust

3 years ago plv.mpi-sws.org rust

Stacked borrows, an aliasing model for Rust

4 years ago plv.mpi-sws.org rust

Stacked Borrows: An Aliasing Model for Rust (POPL 2020)

5 years ago plv.mpi-sws.org rust

RustBelt: Logical Foundations for the Future of Safe Systems Programming

8 years ago plv.mpi-sws.org