Lecture material for DeepSpec Summer School 2017
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
CAL
Metalib
SF
Stlc
auto
compiler
ll
qc
vminus
.gitignore
Makefile
README.md

README.md

dsss17 lecture materials

SF local copy of Software Foundations, volumes 1-3 used in Coq Intensive (Pierce) and "Verified functional algorithms" (Appel)

CAL materials for "Certifying software with crashes" (Kaashoek / Zeldovich)

Stlc materials for "Language specification and variable binding" (Weirich) Metalib support library for Stlc

compiler materials for "The structure of a verified compiler" (Leroy)

qc materials for "Property-based random testing with QuickChick" (Pierce)

vminus materials for "Vellvm: Verifying the LLVM" (Zdancewic) ll extra bits for Vellvm lectures