Linux Kernel for Surface Devices
The operating system and all related software
Jupyter magics and kernels for working with remote Spark clusters
A free (libre) open source, mobile OS for Ethereum
Design and Implementation of the Singhal token based mutual exclusion
Firmware source code for MosChip's MCS8140 USB/IP network processor