(External) Review Committee at PLDI 2019
August 30, 2018
Serve as a member of the external review committee at PLDI 2019.
Read More
Paper at PLDI 2018
February 12, 2018
Paper about automatically deriving bound on the expected value of resource usage for probabilistic programs at PLDI 2018.
Read More
An Example of Probabilistic Programming
November 19, 2017
A recursive implementation of a problem in foundation of computer science (trapped miner) as a probabilistic program in OCaml.
Read More
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