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  apple  health  arstechnica.com  trump  security  database  web  microsoft  theguardian.com  video  show  theverge.com  psychology  neuroscience  compiler  media  china 

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra

5 months ago philipzucker.com assembly compiler formalmethods python reversing

Coding Isn't Programming

5 months ago socallinuxexpo.org formalmethods

Coq-of-rust: Formal verification tool for Rust

6 months ago github.com formalmethods rust

owi: Cross-language Bugfinder

6 months ago github.com formalmethods ml

Formal Verification of Zero-Downtime Database Migration in PlusCal

6 months ago biradarganesh25.github.io database formalmethods

Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code

5 months ago galois.com formalmethods release reversing security

Lean 4, release v4.17.0

6 months ago github.com formalmethods release

PeanoScript: TypeScript but it's a theorem prover

5 months ago peanoscript.mjgrzymek.com formalmethods javascript typescript

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

6 months ago dl.acm.org aws formalmethods

Typestate Programming

6 months ago docs.rust-embedded.org formalmethods hardware plt rust

Where are all the Rewrite Rules?

6 months ago philipzucker.com formalmethods math

Comparing Two Verilog CPU Implementations Using EBMC

7 months ago philipzucker.com formalmethods hardware

Quint Deserves Rust

6 months ago informal.systems formalmethods rust

A mechanically verified garbage collector for OCaml [pdf]

6 months ago kcsrk.info formalmethods ml ocaml pdf

Practical Alloy: A hands-on guide to formal software design

6 months ago practicalalloy.github.io book formalmethods

ACL2

7 months ago cs.utexas.edu formalmethods lisp

Jepsen Test on Patroni: A PostgreSQL High Availability Solution (2024)

7 months ago binwang.me database formalmethods postgresql

Regular Expressions which query Oracles

7 months ago arxiv.org formalmethods

Verified and Efficient Matching of Regular Expressions with Lookaround

7 months ago github.com formalmethods

CUTECat: Concolic Execution for Computational Law

7 months ago arxiv.org formalmethods law

When the Simplest Concurrent Program Goes Against All Intuition

8 months ago wyounas.github.io compsci formalmethods

Alloy 6.2.0 released

8 months ago alloytools.discourse.group formalmethods release

Verified post-quantum cryptography on the web

8 months ago pq.cryspen.com cryptography formalmethods web

About Safety, Security and yes, C++ and Rust (2023)

7 months ago yoric.github.io c++ formalmethods plt rust security

How can we compare expressive power between two Turing-complete languages?

8 months ago langdev.stackexchange.com formalmethods plt

Formal Methods: Just Good Engineering Practice? (2024)

8 months ago brooker.co.za formalmethods

TLA+ Monthly Development Update - December 2024

9 months ago foundation.tlapl.us formalmethods

The Hoare Cube

9 months ago johnwickerson.wordpress.com formalmethods

Stuff I learnt in 2024

8 months ago pixel-druid.com formalmethods

Symbolic Execution by Overloading __bool__

8 months ago philipzucker.com formalmethods python

More →