ACM-Infosys Foundation Award in the Computing Sciences  
MIT, CSAIL United States – 2010

For his landmark contributions to the structuring, robustness, scalability, and security of software systems, enabling efficient, mobile, and highly distributed applications and setting important research directions.

Frans Kaashoek's work on lightweight operating system kernels, the use of distributed hash tables, efficient software-based network routing, and the use of information flow control in distributed systems have changed the structure of software systems. His research on exokernels demonstrated that significant functionality could be moved from the operating system into applications, improving flexibility and robustness while preserving performance and providing tailored application access to low-level services. Those ideas are widely used in portable embedded systems. His contributions to distributed hash tables enable both robustness and scalability of distributed systems and are incorporated in many products, including peer-to-peer file sharing systems, and content distribution systems. His use of information flow control to prevent unauthorized information disclosure while providing needed access to information addresses a major security challenge in broadly-deployed commercial systems. Much of his work has been done in collaboration with outstanding graduate students and research colleagues. His intellectual leadership in these collaborations has been both strong and sustained.

United States – 2004

For contributions to distributed, mobile, and parallel systems.