Due Date Topic Favorite OP
Sep. 25
Grammar-based vs. Automated Whitebox Fuzz Testing
Vitaly's OP1
Oct. 2
Coolest Model Checking Trick in Town
Cristi's OP2
Oct. 9
Was Dijkstra Wrong or Right?
Giuliano's OP3
Oct. 16
Doing It For Real
Rong's OP4
Oct. 23
Where Is The Model?
Salman's OP5
Nov. 6
Concolic vs. Symbolic Execution
Nov. 16 Environment Be Damned! Cristi's OP7
Radu's OP7
Nov. 20
Is Redundancy Avoidable?
Cristi's OP8
Nov. 27
Scalable Constraint Solving
Dec. 4
Eliminating Redundancy
Vitaly's OP10
Dec. 11
Automated Bug Reporting
Dec. 18 Redundancy Reloaded  TBD

Please write your name and title of the OP in the top-left corner of the writeup you hand in.

Use a maximum of 500 words for the body of your writeup; in the words of Antoine de Saint-Exupéry, "perfection is achieved not when there is nothing more to add, but when there is nothing left to take away." Submit your one-pager electronically through the ATACS Moodle website in PDF 2.0. It must be received by 10am on the day in which we will be discussing the corresponding material (see schedule). You are encouraged to discuss the reading materials with your peers, but the OP must be your own work; please list on your one-pager the students with whom you discussed the reading materials.

These one-pagers (OPs) will require in-depth consideration of the assigned materials, along with good technical writing. Each week, I will select one writeup that is my favorite and post it on the class Web page, unless the author disagrees. Late OPs cannot be submitted through the Moodle site, so they will automatically receive zero credit, no exceptions. Your two lowest-grade OPs will be ignored when determining the final grade; this will allow you to easily accommodate unforeseen circumstances, without embarassing yourself by begging me for mercy.

In order to get a sense of what makes a good one-pager, take a look at the list of one-pagers from a similar course I taught at Stanford in 2003. That was a MS-level course, so I will expect your writeups to be superior to the ones shown there.