Hyperlexia

Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.

Home Research Publications Talks About Search

(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
« Prev 1 2 3 4 5 6 7 8 Next »