A Biased Random Walk in OCaml
October 30, 2017
A recursive implementation of a biased random walk in OCaml.
Read More
The Smallest Free Number
August 9, 2017
Pearls of Functional Algorithm Design - The Smallest Free Number
Read More
Expected Bounds - Resource Analysis for Probabilistic Programs
July 17, 2017
Expected Bounds - Resource Analysis for Probabilistic Programs.
Read More
Trie Data Structure
May 30, 2017
Trie data structure and implementation in OCaml.
Read More
Schloss Dagstuhl - NSF Support Grant 2017
May 12, 2017
Schloss Dagstuhl - NSF Support Grant.
Read More
Paper at S&P Oakland 2017
March 16, 2017
Paper about language-based security at Oakland 2017.
Read More