Assignments
- Exercise Sheet 1 (Reducing Complexity through Modular Design)Due Jan 17 at 5pm2 Points Possible
- Exercise Sheet 2 (Advanced Tokenization and Parsing)Due Jan 31 at 5pm2 Points Possible
- Exercise Sheet 3 (The Visitor Pattern; Static and Dynamic Checks)Due Feb 14 at 5pm2 Points Possible
- Exercise Sheet 4 (Empirical Studies and Program Analyses)Due Mar 7 at 5pm2 Points Possible
- Exercise Sheet 5 (Program Slicing)Due Mar 21 at 5pm2 Points Possible
- Exercise Sheet 6 (Symbolic and Concolic Execution)Due Apr 4 at 5pm2 Points Possible
- Final Exam45 Points Possible
- Project 2: Program AnalysisDue Apr 4 at 5pm20 Points Possible
- Project 2 Check-in 5Due Mar 28 at 5pmNo Points Possible
- Project 2 Check-in 4Due Mar 21 at 5pmNo Points Possible
- Project 2 Check-in 4 (individual survey part)Due Mar 21 at 5pmNo Points Possible
- Project 2 Check-in 3Due Mar 14 at 5pmNo Points Possible
- Project 2 Check-in 2 (Proposal)Due Mar 7 at 5pmNo Points Possible
- Project 2 Check-in 2 (individual survey part)Due Mar 7 at 5pmNo Points Possible
- Project 2 Check-in 1Due Feb 28 at 5pmNo Points Possible
- Project 1 : DSL design, evaluation and implementationDue Feb 25 at 5pm20 Points Possible
- Project 1 Check-in 5Due Feb 14 at 5pmNo Points Possible
- Project 1 Check-in 4A (group part)Due Feb 7 at 5pmNo Points Possible
- Project 1 Check-in 4B (individual survey part)Due Feb 7 at 5pmNo Points Possible
- Project 1 Check-in 3Due Jan 31 at 5pmNo Points Possible
- Project 1 Check-in 2A (group part, Proposal)Due Jan 24 at 5pmNo Points Possible
- Project 1 Check-in 2B (individual survey part)Due Jan 24 at 5pmNo Points Possible
- Project 1 Check-in 1Due Jan 17 at 5pmNo Points Possible
- Team Registration for Project 1Due Jan 10 at 5pmNo Points Possible