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
Constant-time List Truncation Implementation in OCaml
March 1, 2017
An example of constant-time implementation for truncating a list in OCaml.
Read More
Probabilistic Functional Programs
February 23, 2017
An example of probabilistic functional program.
Read More