Joel's site:

Home
Resume
Technical Posts
Personal Posts

Recent technical posts:

2026-02-08 »
CList: Iterating C Linked Lists from Rust in the Kernel
2023-06-25 »
SVM and vectors for the curious
2023-06-10 »
SELinux Debugging on ChromeOS
2023-04-28 »
Understanding Hazard Pointers
2023-04-25 »
PowerPC stack guard false positives in Linux kernel
2023-02-24 »
Getting YouCompleteMe working for kernel development
2023-01-29 »
Figuring out herd7 memory models
2022-12-15 »
Modeling Condition Variables using Formal Methods
2022-11-13 »
On workings of hrtimer's slack time functionality
2020-10-25 »
C++ rvalue references

Recent personal posts:

2026-02-08 »
Test Post

All technical posts
All personal posts

« Back to Home

About Site

This website is built using Jekyll, a static site generator, and hosted on GitHub Pages.

This website’s design is inspired by Brendan Gregg’s beautiful website, who was kind enough to allow me to reuse some design ideas. Brendan also mentioned that he drew inspiration from the Nokia Bell Labs Dennis M. Ritchie memorial page.