Explore projects

Provided files for the 1920 Pintos lab exercise

ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.

provided files for the WACC project (in C)

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.

Code and Results for the poster submitted at Sensys 2018

This is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.

Provided files for the Linkload exercise.