ordserv- Rust
- Written late 2023
- Highlights:
- a technique for testing a distributed system
- working closely with Linux for reliability/performance
- basic algorithms
- Write-up
- Specifications validated using the tool
- Monorepo
- Related paper describing the system under test
rvg- OCaml
- Written early 2023
- Highlights:
- starting a hardware-specific software stack from square one
- RISC-V programming
- interpreter for a templating DSL for RISC-V assembly
- Write-up
- Repositories: interpreter, code examples, stdlib, build tool, editor support, NoC, RISC-V core
- Related paper describing the hardware platform
specialtree- Rust
- In progress as of 2025
- Highlights:
- advanced use of Rust generics and traits
- Rust code generation
- flexible software design patterns, unusual coding style
- No write-up available yet
- Monorepo
- Lingua Franca coordination language, developed at iCyPhy at UC Berkeley
- Contributions to the templating engine (Java):
- Contributions to the task execution framework (C, Pthreads):
- Example code contribution: task executor PR, PR showing speedup achieved by "C heuristic"/adaptive task scheduler
- Example of a recent Rust-related code contribution: issue, PR
- Worked at Xronos Inc. from January 2024 to July 2025
- Built a cloud service for observability in robotics applications, including front-end and backend development
- Built interactive viewer for software architecture diagrams (images/docs available here)
- Helped to maintain Xronos's C++-based task scheduling framework and SDKs (OSS offering available here)
- Publication list available at Google scholar, including work done at UC Berkeley's cyber-physical systems lab