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)

Modified version of the NS-3 NB integration with the examples changed to record and output relevant properties such as latency and throughput.

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