Age is of no importance unless you're a cheese -- Billie Burke

Conference Presentations

  • Make RCU do less to save power (Lazy RCU). (Linux Plumbers Conference, September 2023). link

  • Core Scheduling: Taming Hyper-Threads to be secure (Linux Plumbers Conference, August 2020).

  • RCU in 2019: KernelRecipes 2019 (Paris, 09/19): slides, video (third speaker).

  • Debugging Real-Time issues in Linux. Conference: ELCE 2016 (Berlin, 10/16): : slides, video. Also presented at Embedded Systems Conference (ESC) Silicon Valley (12/16).

  • adeb: The better adb shell. Conference: Linaro Connect 2018 (Vancouver, 09/18). slides.

  • BPFd: Powerful Linux Tracing for Remote targets using eBPF. Conference: SCALE16x (Pasadena, 3/18): slides, video, article. Also at OS Power Management (OSPM) conference on 4/18 (Italy).

  • Flattened Image Tree (FIT). Conference: ELC 2013 (Sanfrancisco, USA 12/13): slides video.

Recently Published Work

  • RCU Usage In the Linux Kernel: Eighteen Years Later, ACM SIGOPS Operating Systems Review, August 2020. (Latest version in PDF).

  • Full and efficient protection of kernel mode from hyper-threading attacks, August 2020. Defensively published: IDF-304986. link.

  • Improving ChromeOS performance with core scheduling (I am primary author). Published on ChromeOS blog: link.

  • Garbage Collection using Userfaultfd (Lokesh Gidra, Joel Fernandes, Hans Boehm). Defensively published: IDF-300892.

  • Energy-Efficient Low-latency Audio on Android. Journal of Systems and Software Volume 152, June 2019, Pages 182-195 ELSEVIER. link

  • LWN Journal (Linux Weekly News). BPFd: Running BCC tools remotely across systems and architectures. publication link

  • The In-circuit SD card switch, published on Hackaday. link.