Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Video
Interrupts in OS Code: Let’s Reason About Them. Yes, This Means Concurrency
Existing modelled and verified operating systems (OS’s) typically run on uniprocessor platforms and run with interrupts mostly disabled. This makes formal reasoning more tractable: execution is mostly sequential. The eChronos OS is a real-time OS…
Tool
Cultivating the Long tail of Environmental Observations
CLEO (Cultivating the Long tail of Environmental Observations) is a collaborative project between the Sensing and Energy Research Group at MSR and the E3 group at MCR Connections. It relies on the processing power of…