CoqAI

Research interests are in embedded safety-critical systems, especially ML-based safety-critical applications such as autonomous driving software, programming languages, compilers, and language-based security. Deep knowledge and strong experience with HW bring-up, FreeRTOS, Zephyr RTOS, embedded Linux, kernel module development, communication protocols such as Ethernet TCP/IP, Bluetooth, CAN, LIN, peripherals like UART, GPIO, USB, I2C, SPI, HSM, middleware frameworks like ROS2, DDS, RPC, SOA, and QEMU emulation.

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 Next »