PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
-
Purdue University
- https://robd.io
Highlights
- Pro
Block or Report
Block or report rcdickerson
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
kestrel Public
Find alignments for relational program properties using e-graphs.
-
-
-
-
rhle-benchmarks Public
Verification tasks requiring relational hoare logic with existentials (RHLE).
UpdatedSep 7, 2022 -
ceili Public
An extensible framework for working with program logics.
Haskell MIT License UpdatedAug 18, 2022 -
dotfiles Public
Miscellaneous configuration files I share between various *nix installations.
Shell UpdatedJun 19, 2022 -
unified-mod Public
Messing around with https://dl.acm.org/doi/10.1145/3408972
-
simple-smt Public
Forked from yav/simple-smtHaskell BSD 3-Clause "New" or "Revised" License UpdatedMar 6, 2022 -
fiat Public
Forked from bendy/fiatMostly Automated Synthesis of Correct-by-Construction Programs
Coq Other UpdatedJan 28, 2022 -
robolectric Public
Forked from robolectric/robolectricAndroid Unit Testing Framework
Java Other UpdatedJul 13, 2021 -
purduepl.github.io Public
Forked from PurduePL/purduepl.github.ioA blog of Programming Languages Group @Purdue
HTML UpdatedMay 7, 2021 -
-
hasicp Public
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.
-
haskell-z3 Public
Forked from IagoAbal/haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell Other UpdatedApr 22, 2020 -