Papers

• L. Gu and J. A. Stankovic, t-kernel: Providing Reliable OS Support for Wireless Sensor Networks, to appear in SenSys'06 (Draft).
• L. Gu and J. A. Stankovic, t-kernel: A Naturalizing OS Kernel for Low-Power Cost-Effective Computers (Ex tended Abstract, non-regular), the 20th ACM Symposium on Operating Systems Principles (SOSP'05), Oct., 2005 (PDF)

• L. Gu and J. A. Stankovic. t-kernel: a Translative OS Kernel for Sensor Networks, UVA CS Tech Report CS-2005-09, 2005

• t-kernel: Tutorial -- A, B.