Adam Christopher Walker
Adam is interested in using formal techniques to synthesize device drivers from existing device specifications. This approach will dramatically reduce the number of operating system faults caused by drivers as well as driver development time.
BE specialising in Computer Systems Engineering, University of Auckland, New Zealand. First Class Honours.
|Mona Vij, John Keys, Arun Raghunath, Scott Hahn, Vincent Zimmer, Leonid Ryzhyk, Adam Christopher Walker and Alexander Legg|
Device driver synthesis
Intel Technology Journal, Volume 17, Number 2, pp. 136-157, December, 2013
|Ihor Kuz, Gerwin Klein, Corey Lewis and Adam Christopher Walker|
capDL: A language for describing capability-based systems
Asia-Pacific Workshop on Systems (APSys), pp. 31-35, New Delhi, India, August, 2010