5th Year Master of Science in Computer Science Thesis Presentation

— 11:00am

Location:
In Person - Traffic21 Classroom, Gates Hillman 6501

Speaker:
FAISAL ABDELMONEM , Master's Student
Computer Science Department
Carnegie Mellon University

Safe Kernel Extensibility and Instrumentation With WebAssembly
Thursday, July 17, 2025, 10 – 11am

Extending kernel functionality dynamically is essential for modern workloads in observability, profiling, and security, and is becoming increasingly popular for implementing low-latency, kernel-bypass logic in high-performant systems. However, existing mechanisms like kernel modules or eBPF come with steep learning curves, limited expressiveness, or tightly constrained environments. WebAssembly (Wasm), with its strong isolation guarantees, portable semantics, formally defined specification with machine-checked proofs, and low memory footprint, presents a compelling alternative for safe, runtime-extensible logic inside the kernel.

This work explores Wasm as a foundation for safe and flexible kernel extensibility. We present an early prototype that allows users to load and unload Wasm binaries into the kernel and hook them into system calls for interception and instrumentation. This prototype serves as an initial step toward rethinking kernel extensibility using Wasm as a secure and language-agnostic execution layer, enabling safer and more accessible in-kernel customization.

Thesis Committee
Anthony Rowe (Chair)
Benjamin Titzer

Event Type: Master's Thesis Presentation
Room Number: In Person
Building: Traffic21 Classroom, Gates Hillman 6501
Speaker's Name: FAISAL ABDELMONEM
Speaker's Professional Title: Master's Student, Computer Science Department, Carnegie Mellon University
Talk Title: Safe Kernel Extensibility and Instrumentation With WebAssembly
Event Poster Title: Poster
Event Poster URL: www.cs.cmu.edu…
For More Information: tracyf@cs.cmu.edu
Affiliations: Computer Science Department (CSD)
Organization(s): School of Computer Science

For More Information:
tracyf@cs.cmu.edu

Add event to Google
Add event to iCal