rcdickerson
PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
Purdue University
Pinned Repositories
orhle
An automatic verifier for RHLE properties.
hasicp
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.
kestrel
Find alignments for relational program properties using e-graphs.
unified-mod
Messing around with https://dl.acm.org/doi/10.1145/3408972
.emacs.d
My emacs configuration.
bk-tree
A simple BK-Tree implementation in Haskell
ceili
An extensible framework for working with program logics.
dotfiles
Miscellaneous configuration files I share between various *nix installations.
rcdickerson's Repositories
rcdickerson/kestrel
Find alignments for relational program properties using e-graphs.
rcdickerson/orhle
An automatic verifier for RHLE properties.
rcdickerson/.emacs.d
My emacs configuration.
rcdickerson/fritz
Faulty Reasoning over Input TransformationZ
rcdickerson/rhle-benchmarks
Verification tasks requiring relational hoare logic with existentials (RHLE).
rcdickerson/ceili
An extensible framework for working with program logics.
rcdickerson/dotfiles
Miscellaneous configuration files I share between various *nix installations.
rcdickerson/unified-mod
Messing around with https://dl.acm.org/doi/10.1145/3408972
rcdickerson/simple-smt
rcdickerson/fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
rcdickerson/robolectric
Android Unit Testing Framework
rcdickerson/purduepl.github.io
A blog of Programming Languages Group @Purdue
rcdickerson/bk-tree
A simple BK-Tree implementation in Haskell
rcdickerson/hasicp
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.
rcdickerson/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
rcdickerson/z3
The Z3 Theorem Prover