Experiences with the ChCore Experimental Operating System Kernel (SIGCSE TS 2026 - Papers)

Who

Haibo Chen, Yubin Xia, Jinyu Gu

Track

SIGCSE TS 2026 Papers

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 19 Feb 2026 14:20 - 14:40 at Meeting Room 263-264 (Virtual Viewing Room) - Online 1 Chair(s): Maaz Amjad

Abstract

ChCore is an experimental operating system kernel built from the ground up for both education and research. Compared to other similar kernels, ChCore is unique in three aspects: 1) ARM-centric in light of a recent shift of computing from x86 to ARM; 2) microkernelbased given a resurgent interest in microkernel from industry; 3) bimodal for both education and research such that students can easily switch from learning to researching. This paper will describe our three-year experiences in teaching and experimenting operating systems with ChCore.

Haibo Chen

Shanghai Jiao Tong University

Yubin Xia

Shanghai Jiao Tong University, China

China

Jinyu Gu

Shanghai Jiao Tong University

China

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 19 Feb
Displayed time zone: Central Time (US & Canada) change

13:40 - 15:00	Online 1Papers at Meeting Room 263-264 (Virtual Viewing Room) Chair(s): Maaz Amjad Texas Tech University, USA

13:40 20m Talk		Boosting Student Motivation through Game-based Learning in Programming Education with Gamify-ITGlobalK12Online Papers Niklas Meissner Institute of Software Engineering, University of Stuttgart, Sandro Speth Technical University of Munich, Niklas Krieger University of Stuttgart (student), Steffen Becker University of Stuttgart
14:00 20m Talk		Examining Discourse in a Large Online Education Program: A Machine-in-the-Loop ApproachOnline Papers Erik Goh Georgia Institute of Technology, Xuan Wang Georgia Institute of Technology, David A. Joyner Georgia Institute of Technology, Ana Rusch Georgia Institute of Technology
14:20 20m Talk		Experiences with the ChCore Experimental Operating System KernelGlobalOnline Papers Haibo Chen Shanghai Jiao Tong University, Yubin Xia Shanghai Jiao Tong University, China, Jinyu Gu Shanghai Jiao Tong University
14:40 20m Talk		miniK8s: A Pedagogical Cloud-Native SystemGlobalOnline Papers Dong Du pc, Mingyu Wu Shanghai Jiao Tong University, Haibo Chen Shanghai Jiao Tong University, Binyu Zang Shanghai Jiao Tong University

Information for Participants

Thu 19 Feb 2026 13:40 - 15:00 at Meeting Room 263-264 (Virtual Viewing Room) - Online 1 Chair(s): Maaz Amjad

Info for room Meeting Room 263-264 (Virtual Viewing Room):

This room is designated as the online viewing room for attendees to watch online sessions on their own devices.