1. Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, and Abdullah Ustuner, Thorough static analysis of device drivers, Proceedings of the First EuroSys Conference, 2006, in press.
2. Thomas Ball and Sriram K. Rajamani, Automatically validating temporal safety properties of interfaces, SPIN 2001: Workshop on Model Checking of Software, Springer LNCS 2057, 2001, pp. 103-122.
3. N.G. Carr, The end of corporate computing, MIT Sloan Management Review 46 (2005), 66-73.
4. Jeffrey Dean and Sanjay Ghemawat, MapReduce: Simplified data processing on large clusters, 6th Symposium on Operating Systems Design and Implementation, 2005, pp. 137-150.
5. Tony Hoare, Jajadev Misra, and M. Shankar, The IFIP working conference on verified software: Theories, tools, experiments, IFIP Conference Report, 2005, available as http://vstte.ethz.ch/report.html .