formal_verification_avl_trees
Verifying Correctness of an OCaml based implementation of AVL Trees
Possibly Available
Evidence-backed skills
Repositories
fpp-final-project
Final project for introductory formal verification course
ysc4231
Scala code accompanying the lectures of YSC4231: Parallel, Concurrent and Distributed Programming
cis552
Working through lecture notes and p-sets for CIS 552
opal
Policy and data administration, distribution, and real-time updates on top of Open Policy Agent
pushy-client
Haskell library for Pushy integration
pldi-final-project
Implementation of a DSL extending a toy language developed as part of a PLDI course