Hello! I'm a 6th year computer science PhD student at Stanford interested in computer systems, security, compilers, and hardware. I'm advised by David Mazières.| Contact: | zyedidia@stanford.edu |
| zyedidia@gmail.com | |
| GitHub: | zyedidia |
| LFI: efficient and scalable software sandboxing. | Code | Paper |
| Micro: a modern and intuitive text editor. | Code | Website |
| LLVM (contributor): a collection of modular and reusable compiler and toolchain technologies. | Code | Website |
| CIRCT (contributor): circuit IR compilers and tools. | Code | Website |
| SiliconCompiler (contributor): modular hardware build system. | Code | Website |
| Multiplix: a small operating system that runs on cheap AArch64 and RISC-V boards. | Code | |
| Knit: a build tool that uses a Make-style rules language intrusively embedded in Lua. | Code | |
| Revisor: a hypervisor for writing paravirtualized kernels that only use hypercalls to interact with the host. | Code | |
| Riscinator: a RISC-V CPU core with a 3-stage pipeline built with Chisel. Implements the rv32i ISA, with U/M-mode, and a system with UART and GPIO peripherals. | Code | |
| Eget: a tool for automatically installing pre-built binaries. | Code | |
| GPeg: an incremental PEG parser. | Code | Paper |
| Flare: a syntax highlighter built with GPeg. | Code | |
| Literate: a flexible literate programming system. | Code | Website |
| Generic: a Go library of generic data structures. | Code | |
| Perforator: a per-function profiler using perf and ptrace. | Code | |
| Rvsym: a small RISC-V symbolic execution engine. | Code | |
| Sregx: a tool for parsing/editing files with structural regular expressions. | Code | |
| Crypt: a tool for encrypting files. | Code |
| Notes and guides SystemVerilog Circuits and devices Lagrange multipliers Entropy Randomization Git Unicode LFI |
Academic Stanford Secure Computer Systems Group Operating Systems at Stanford Stanford Computer Security Laboratory Operating Systems (CS112/CS212) Spring 2026 Distributed Systems (CS244b) Spring 2024 Advanced Topics in Operating Systems (CS240) Spring 2023 Using Bits to Control Atoms (CS49n) Autumn 2021 Systems Programming and Machine Organization (CS61) Fall 2020 Computing Hardware (CS141) Spring 2020 Compilers (CS153) Fall 2019 Computing Hardware (CS141) Spring 2019 |
Fun Trivia TurboTanks Asteroids (made in Elm) Snake Randomly generated music Text Camera 1111 Library of juggling ARM64 Visualization |