Jekyll

Writing Notes on Github with Jekyll

Programming

Linux Kernel Virtual Memory

Trie Data Structure

B-Tree

Red-Black Tree

Heap-Sort Algorithm

Binary Heap

Dynamic Permutation

Permutation

Dutch Partition

IMO 2016

Shortest Substring Contains a List of Strings

OCaml

The Smallest Free Number

Trie Data Structure

B-Tree

Additional Functions for Lists

Research

Linux Kernel Virtual Memory

Is HD Map Safe?

Is ML Algorithm-based Perception Safe?

Statistical Robustness for Automated Driving Software

Tesla is not handling the well-known limitations of AI

(External) Review Committee at PLDI 2019

Paper at PLDI 2018

A Biased Random Walk in OCaml

Expected Bounds - Resource Analysis for Probabilistic Programs

Schloss Dagstuhl - NSF Support Grant 2017

Paper at S&P Oakland 2017

Paper at ESLsyn Conference

Synchronous Programming

Reactive and Synchronous Reactive Programming

Paper about PSCV

News

Tesla is not handling the well-known limitations of AI

(External) Review Committee at PLDI 2019

Paper at PLDI 2018

A Biased Random Walk in OCaml

Expected Bounds - Resource Analysis for Probabilistic Programs

Schloss Dagstuhl - NSF Support Grant 2017

Paper at S&P Oakland 2017

Paper about PSCV

Programming/OCaml

Probabilistic Functional Programs

Variable-length Arguments in OCaml

Programming/OCaml/Security/Side-channel Attacks

Constant-time List Truncation Implementation in OCaml

Data Structures

Trie Data Structure

Algorithms

The Smallest Free Number

Trie Data Structure

Functional Programming

An Example of Probabilistic Programming

A Biased Random Walk in OCaml

The Smallest Free Number

Probabilistic Programming

An Example of Probabilistic Programming

Foundation of Computer Science

An Example of Probabilistic Programming

Autonomous Vehicles

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Tesla is not handling the well-known limitations of AI

Tutorials

Fix ST-Link for STM32 Blue Pill

ARM Assembly Data Types and Registers

Memory Management with std::allocator in C++

Autonomous Vehicles Software Stack Overview

Build Machine Learning-based Real-time Embedded Software

Implement Real-time Periodic Task for RTOS using Timers

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

C/C++

Memory Management with std::allocator in C++

Implement Real-time Periodic Task for RTOS using Timers

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

GTest

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

Conan

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

CMake

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

Real-time Embedded Programming

Fix ST-Link for STM32 Blue Pill

ARM Assembly Data Types and Registers

Memory Management with std::allocator in C++

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Build Machine Learning-based Real-time Embedded Software

Implement Real-time Periodic Task for RTOS using Timers

Generating Code Coverage Report For Cross-Compilation Project with Conan, CMake, and GTest

Real-time Operation System

Build Machine Learning-based Real-time Embedded Software

Implement Real-time Periodic Task for RTOS using Timers

Machine Learning

Build Machine Learning-based Real-time Embedded Software

Deep Learning

Build Machine Learning-based Real-time Embedded Software

Self-Driving Cars

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Perception

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Localization

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Motion Planning

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Control

An Introduction to Xequation

Autonomous Vehicles Software Stack Overview

Xequation

An Introduction to Xequation

ARM Assembly

Fix ST-Link for STM32 Blue Pill

ARM Assembly Data Types and Registers

Robustness

Is HD Map Safe?

Is ML Algorithm-based Perception Safe?

Statistical Robustness for Automated Driving Software

Automated Driving Software

Is HD Map Safe?

Is ML Algorithm-based Perception Safe?

Statistical Robustness for Automated Driving Software

Safety

Is HD Map Safe?

Is ML Algorithm-based Perception Safe?

Embedded Linux

Linux Kernel Virtual Memory

Linux Kernel

Linux Kernel Virtual Memory