Date | Topic to be covered | Presenter | Slides | |
Aug 20 | Introduction | Zhang | PPT | |
Aug 22 | Program Representations and Slicing | Zhang | PPT | |
Aug 27 | Input Analysis: Delta Debugging [1] and [2] | Zhang | PPT | |
Aug 29 | Input Analysis: Protocol Analysis | Zhang | ||
Sep 5 | Matching Programs: MOSS DECKARD JDIFF SDIFF | Zhang | PPT PDF | |
Sep 10 | Concurrent Debugging: Eraser Static Race Detection | Armand | ||
Sep 12 | Concurrent Debugging: Goldilock | Armand | ||
Sep 17 | Matching Programs:Dynamic | Zhang | PPT | |
Sep 19 | Execution Alignment: 1 | Zhang | ||
Sep 24 | Execution Alignment: 3 | Bin | ||
Sep 26 | Execution Fast Forwarding: Execution Fast Forwarding | Zhang | ||
Oct 1 | Concurrent Debugging: Muvi | Nick | ||
Oct 3 | Concurrent Debugging: Intrument Where It Hurts | Nick | ||
Oct 10 | Cocurrent Debugging: Atomizer | Armand | ||
Oct 15 | Project Proposal Presentations | |||
Oct 17 | Statistical Debugging: SOBER | |||
Oct 22 | Statistical Debugging: Failure Indexing[1][2] | Zhang | PPT | |
Oct 24 | Failure Oblivious:Rx | Chris | ||
Oct 29 | Failure Oblivious:Data Structure Fixing | Chris | ||
Oct 31 | Language Support For Debugging: Query Based Debugging | |||
Nov 5 | Language Support For Debugging: Partiqle | |||
Nov 7 | Static Bug Finding: Saturn | |||
Nov 12 | Work On Project | |||
Nov 14 | Work On Project | |||
Nov 19 | Using Comments: iComment | |||
Nov 21 | Model Checking | Zhang | ||
Nov 26 | Test Generation: EXE Fuzz Testing | |||
Nov 28 | Open | |||
Dec 3 | Project Presentations | |||
Dec 5 | Project Presentations |