Hyperlexia

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

Trie Data Structure

May 30, 2017
Trie data structure and implementation in OCaml.
Read More

Schloss Dagstuhl - NSF Support Grant 2017

May 12, 2017
Schloss Dagstuhl - NSF Support Grant.
Read More

Paper at S&P Oakland 2017

March 16, 2017
Paper about language-based security at Oakland 2017.
Read More

Constant-time List Truncation Implementation in OCaml

March 1, 2017
An example of constant-time implementation for truncating a list in OCaml.
Read More

Probabilistic Functional Programs

February 23, 2017
An example of probabilistic functional program.
Read More

Variable-length Arguments in OCaml

February 6, 2017
Variable-length arguments in OCaml with the concept of folding.
Read More
« Prev 1 2 3 4 5 6 7 Next »