Back to the CSci 780 Homepage.
| Class | Day | Date | Topic | Presenter | Homework, Milestones |
|---|---|---|---|---|---|
| 1 | Thu | Aug 30 | Course overview, paper assignments | Coppit | |
| 2 | Tue | Sep 4 | Paper assignments (cont) | Coppit | |
| 3 | Thu | Sep 6 | Shaw, "Writing Good Software Engineering Research Papers," Levin and Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper" | Coppit | |
| 4 | Tue | Sep 11 | Discuss project ideas, "Effective Presentations" | Coppit | Homework 1 (Project Ideas) Due |
| 5 | Thu | Sep 13 | Kim, Zimmermann, Whitehead Jr., and Zeller, "Predicting Faults from Cached History" | Beker | |
| 6 | Tue | Sep 18 | DeMarco and Lister, Section I of Peopleware: "Managing the Human Resource" | Coppit | |
| 7 | Thu | Sep 20 | Zeller and Hildebrandt, "Simplifying and Isolating Failure-Inducing Input" | Meckstroth | Homework 2 (Proposal) Due |
| 8 | Tue | Sep 25 | Discuss proposals | ||
| 9 | Thu | Sep 27 | Anthony Hall, "Seven Myths of Formal Methods" | Holmstrom | |
| Tue | Oct 2 | Class Canceled | |||
| Thu | Oct 4 | Class Canceled | |||
| 10 | Tue | Oct 9 | DeMarco and Lister, Section II of Peopleware: "The Right People". | Coppit | |
| 11 | Thu | Oct 11 | Engler, Chen, Hallem, Chou, and Chelf, "Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code". | Meckstroth | |
| Tue | Oct 16 | Fall Break | |||
| 12 | Thu | Oct 18 | DeMarco and Lister, Sections III and IV of Peopleware | Beker | |
| 13 | Fri | Oct 19 | Anvik, Hiew, and Murphy, "Who should fix this bug?" Make-up class | Holmstrom | |
| 14 | Tue | Oct 23 | Trouble on Mars: Mars Climate Orbiter + Mars Pathfinder | Connors | |
| 15 | Thu | Oct 25 | Godefroid et. al, "DART: Directed Automated Random Testing" | Coppit | Homework 3 (Progress Report) Due |
| 16 | Tue | Oct 30 | European Space Agency, Ariane 5: Flight 501 failure. Report by the enquiry board. | Meckstroth | |
| 17 | Thu | Nov 1 | Pacheco, Lahiri, Ernst, and Ball, "Feedback-Directed Random Test Generation" | Connors | |
| 18 | Fri | Nov 2 | Leveson, "The Role of Software in Spacecraft Accidents". Make-up class, room 128 | Beker | |
| Tue | Nov 6 | Class Canceled | |||
| Thu | Nov 8 | Class Canceled | |||
| 19 | Tue | Nov 13 | Rajan and Sullivan, "Classpects: Unifying Aspect- and Object-Oriented Language Design". Make-up class | Holmstrom | |
| Thu | Nov 15 | Class Canceled | |||
| Tue | Nov 20 | Class Canceled | |||
| Thu | Nov 22 | Thanksgiving Break | |||
| 20 | Tue | Nov 27 | Clarke and Wing, "Formal Methods: State of the Art and Future Directions" | Connors | |
| 21 | Thu | Nov 29 | Gibbs, "Software's Chronic Crisis" | Meckstroth | Homework 4 (Project Writeup) Due |
| 22 | Tue | Dec 4 | DeMarco and Lister, Section V of Peopleware: Son of Peopleware, Program committee meeting | Holmstrom | |
| 23 | Thu | Dec 6 | Ramanathan, Grama, and Jagannathan, "Sieve: A Tool for Automatically Detecting Variations Across Program Versions" | Connors | Final paper due |
| Tues | Dec 11 | The Fourth CSci 780 Symposium 1:30 to 4:30 |
Back to the CSci 780 Homepage.
Last changed November 13 2007 16:29:58.
David Coppit,
coppit@cs.wm.edu
There have been 1323619 hits since Thu Jun 9 14:49:55 2005
