Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest
February 2, 2020
Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest.
Read More
Tesla is not handling the well-known limitations of AI
May 19, 2019
Tesla is not handling the well-known limitations of AI.
Read More
(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