Caleb Stanford's repositories
dz3-artifact
Artifact for the PLDI 2021 paper: Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints.
regex-smt-benchmarks
A collection of regular expression benchmarks for SMT string solvers.
timely-util
Utility abstractions on top of Timely Dataflow
curiosities
Curious programming puzzles
data-transducers
A general-purpose intermediate representation for streaming and monitoring
cargo-scan-temp
Static analysis-assisted security for the Rust supply chain
cdstanford.github.io
my personal blog
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
dissertation
Source code for dissertation and thesis documents
MIRAI-testing
Rust mid-level IR Abstract Interpreter
Wordle-Solver
A basic solver for the online word game Wordle.
z3
The Z3 Theorem Prover