OS bugs

Dr. Yair Wiseman's home page

A. Chou, J.-F. Yang, B. Chelf, S. Hallem, and D. Engler. "An Empirical Study of Operating Systems Errors", In Proceedings of the 18th ACM Symposium on OS Principles (SOSP), pp. 73-88, Lake Louise, Alta, Canada, October 2001.


M. M. Swift, B. N. Bershad, and H. M. Levy, "Improving the Reliability of Commodity Operating Systems", Proceedings of the 19th ACM Symposium on Operating Systems Principles, Bolton Landing, New York, October 19-22, 2003.
D. G. Majors, "An Investigation of the Call Integrity of the Linux System", 14th. IEEE International Symposium on Software, Reliability Engineering ISSRE 2003, Denver, Colorado, November 17-20, 2003.
J. Xu, Z. Kalbarczyk, and R. Iyer, "Networked Windows NT System Field Failure Data Analysis," Proc. 1999 Pacific Rim Int'l Symp. Dependable Computing, IEEE CS Press, Los Alamitos, California, 1999.
N. E. Fenton and N. Ohlsson, "Quantitative Analysis of Faults and Failures in a Complex Software System", IEEE Transactions on Software Engineering, 26(8), pp. 797-814, August, 2000.
Z. Li, S. Lu, S. Myagmar, and Y. Zhou, "CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code", The 6th Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, California, December 6-8, 2004.
M. E. Fiuczynski, R. Grimm, Y. Coady and D. Walker, "patch (1) Considered Harmful", Proceedings of the Tenth Workshop on Hot Topics in Operating Systems (HotOS-X), June 12-15, Santa-Fe, NM, 2005.
M. Swift, M. Annamalai, B. N. Bershad, H. M. Levy, "Recovering Device Drivers", The 6th Symposium on Operating Systems Design and Implementation (OSDI '04), San Francisco, California, pp. 1-16, December 6-8, 2004.
R. Lemos, "Security research suggests Linux has fewer flaws", CNET News.com, December 13, 2004.