Trustworthy Systems

Chi Kam
Research Assistant

Research Interests

Felix's research interests include operating system design, embedded systems in general and formal methods, particularly interactive theorem proving.

Contact Details

More contact information is available at the Contact page.

Photo of Chi Kam

Publication List

Projects

Past

Publications

Best Papers

Abstract PDF Thomas Sewell, Chi Kam and Gernot Heiser
Complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April, 2016
Outstanding Paper award


Trustworthy Systems Group Papers

2016

Abstract PDF Thomas Sewell, Chi Kam and Gernot Heiser
Complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April, 2016
Outstanding Paper award