(有更新列表的推荐,请联系 jyy)
你首先需要一个读书时随时为你解答问题的 copilot:你可以随时验证你阅读时产生的想法是否准确,或是对不熟悉的背景知识加以解释。
社区维护的合集 (还有很多)
Fire in the Valley: The Brith and Death of the Personal Computer (Michael Swaine and Paul Freiberger)
The UNIX-Haters Handbook (Simon Garfinkel, Daniel Weise, Steven Strassmann Ed.)
Junfeng Yang, Can Sar, and Dawson Engler. eXplode: A lightweight, general system for finding serious storage system errors. OSDI'06.
Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, and Shan Lu. Understanding and detecting real-world performance bugs. PLDI'12.
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, and Thomas Ball. Feedback-directed random test generation. ICSE'07.
George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. Microreboot – A technique for cheap recovery. OSDI'04.
Koushik Sen. Race directed random testing of concurrent programs. PLDI'08.
ASE05 test case factoring.
Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. Learning from mistakes — A comprehensive study on real world concurrency bug characteristics. ASPLOS'08.
setuid demystified
Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy, and Lakshmi Bairavasundaram. How do fixes become bugs? A comprehensive characteristic study on incorrect fixes in commercial and open source operating systems. FSE'11.
Abram Hindle, Earl Barr, Mark Gabel, Zhendong Su, and Prem Devanbu. On the naturalness of software. ICSE'12.
James C. King. Symbolic execution and program testing. Communications of the ACM (CACM), 19(7), 1976.
Patrice Godefroid. Model checking for programming languages using VeriSoft. POPL'97.
Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI'08.
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser. Automatic device driver synthesis with Termite. SOSP'09.
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley. Enhancing symbolic execution with VeriTesting. ICSE'14.
Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. Angelix: Scalable multiline program patch synthesis via symbolic analysis. ICSE'16.
Databases
Distributed System (6.824)
Advanced Data Structure 6.851
Onur Mutlu's Memory Systems and Memory-Centric Computing Systems: Fundamentals and Recent Research
The first lecture of...