Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  google  show  apple  youtube.com  release  video  web  javascript  go  techcrunch.com  trump  nature.com  eurekalert.org  china  linux  nytimes.com 

What does it mean to be a programming language, anyhow? (2021) [pdf]

3 months ago dl.acm.org formalmethods historical pdf plt

Teaching Concurrency (2009)

2 months ago lamport.azurewebsites.net concurrency education formalmethods pdf

Beal's Conjecture Revisited

3 months ago norvig.com formalmethods math python

A Knownbits Abstract Domain for the Toy Optimizer, Correctly

3 months ago pypy.org compiler formalmethods plt

Formal verification makes RSA faster — and faster to deploy

3 months ago amazon.science cryptography formalmethods performance rsa

Formally verifying security properties of CHERI processors

3 months ago cheriot.org formalmethods hardware security

Knuckledragger, a Semi-Automated Python Proof Assistant

3 months ago philipzucker.com formalmethods python

Quint

3 months ago quint-lang.org formalmethods

SciLean: Scientific computing in Lean 4

3 months ago github.com formalmethods science

Provably Correct, Secure, and Leakage-Free Systems

4 months ago anish.io formalmethods security

The Hitchhiker's Guide to Logical Verification [pdf] (2023)

3 months ago browncs1951x.github.io formalmethods pdf plt

Tlsd: Generate (message) sequence diagrams from TLA+ state traces

4 months ago github.com formalmethods visualization

Natural Number Game

4 months ago adam.math.hhu.de formalmethods game

Use of Formal Methods by a Silicon Manufacturer (1988)

4 months ago people.cs.bris.ac.uk formalmethods hardware pdf

Modeling B-trees in TLA+

4 months ago surfingcomplexity.blog database formalmethods

Composing TLA+ Specifications with State Machines

5 months ago hillelwayne.com formalmethods

Simple proofs with Z3Py

5 months ago philipzucker.com formalmethods

Differential Analysis: A Summary

4 months ago blog.brownplt.org formalmethods

Cryptographic protocol verification with hax

5 months ago cryspen.com cryptography formalmethods

Fuzz Map

5 months ago fuzzmap.io debugging formalmethods testing visualization

the PyPy "known bits" JIT optimization

5 months ago mastodon.social compiler formalmethods performance python

Translation of Rust's core and alloc crates to Coq for formal verification

6 months ago formal.land formalmethods rust

A hybrid approach to semi-automated Rust verification

6 months ago arxiv.org formalmethods rust

Temporal – Good Things Happen

6 months ago recife.pfeodrippe.com formalmethods lisp

The Type of Sprintf

6 months ago ryanbrewer.dev formalmethods

Creusot 0.1 (deductive verification tool for Rust)

6 months ago github.com formalmethods release rust

TLA⁺ Unicode support: Learning to work with others in open source

5 months ago ahelwer.ca formalmethods unicode

Verified Rust for low-level systems code

6 months ago github.com formalmethods plt rust

Grothendieck’s use of equality

6 months ago arxiv.org formalmethods math pdf plt

Easy to use Performance Modeling

6 months ago fizzbee.io compsci distributed formalmethods performance

More →