Blogs (3) >>

This program is tentative and subject to change.

Sat 1 Mar 2025 11:22 - 11:41 at Meeting Rooms 302-303 - Systems [Online]

Providing students with hands-on experience in kernel programming within a real-world operating system is beneficial in an Operating Systems (OS) course for teaching core operating system concepts and developing practical skills. However, accessing suitable devices for such hands-on experimentation poses significant challenges. Traditional solutions involve hosting virtual machines on cloud platforms, which are expensive and do not scale well with increasing student numbers. Additionally, many students’ personal devices, such as Macs or iPads, have limited support for running Linux, creating further barriers. In this paper, we introduce KernelVM, a cost-effective platform that offers students a Linux virtual machine with full superuser access and pre-configured kernel programming toolchains. KernelVM is accessible via any browser on any device, performing all computations locally within the user’s browser, thus eliminating cloud computing costs. KernelVM provides a robust learning environment by incorporating interactive virtual hardware components and an automatic evaluation system, supporting a wide range of tasks, including multi-threaded cryptographic kernel modules and Linux drivers for hardware interaction. We detail the design of KernelVM, and describe our experiences incorporating it for the first time into an OS course with 159 undergraduate students. We found KernelVM was instrumental in improving the quality and efficiency of hands-on learning experiences, with students reporting increased satisfaction and engagement due to the immediate feedback and the ability to experiment in a risk-free environment. Our experience suggests that KernelVM not only addresses the logistical challenges of kernel programming education, but it helps to foster a highly interactive and engaging learning experience.

This program is tentative and subject to change.

Sat 1 Mar

Displayed time zone: Eastern Time (US & Canada) change

10:45 - 12:00
Systems [Online]Papers at Meeting Rooms 302-303
10:45
18m
Talk
Experience Report on Using LANTERN in Teaching Relational Query ProcessingOnlineGlobal
Papers
Sourav S Bhowmick Nanyang Technological University, Hui Li Xiamen University
11:03
18m
Talk
Experience Report: Using the FABRIC Testbed to teach a Graduate Computer Networking courseOnlineGlobal
Papers
Alexander Wolosewicz Illinois Institute of Technology, Prajwal Venkateshmurthy Illinois Institute of Technology, Nik Sultana Illinois Institute of Technology
11:22
18m
Talk
KernelVM: Teaching Linux Kernel Programming through a Browser-Based Virtual MachineOnlineGlobal
Papers
Elliott Wen , Sean Ma The University of Auckland, Paul Denny The University of Auckland, Ewan Tempero The University of Auckland, Gerald Weber The University of Auckland, Zongcheng Yue The University of Auckland
11:41
18m
Talk
LLM-Driven Feedback for Enhancing Conceptual Design Learning in Database Systems CoursesOnline
Papers
Sara Riazi University of Illinois Chicago, Rooshenas University of Illinois Chicago