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
Language:RustMIT000
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.
Language:PythonNOASSERTION000
dissertation
Source code for dissertation and thesis documents
Language:Rust000
MIRAI-testing
Rust mid-level IR Abstract Interpreter
Language:RustMIT000
Language:HTML000
Wordle-Solver
A basic solver for the online word game Wordle.
Language:Java000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000