Assignments
- Exercise Sheet 1 (Reducing Complexity through Modular Design - all unassessed)Due Jan 19, 2024 at 9amNo Points Possible
- Exercise Sheet 2 (Advanced Tokenization and Parsing)Due Feb 2, 2024 at 9am5 Points Possible
- Exercise Sheet 3 (The Visitor Pattern; Static and Dynamic Attributes)Due Feb 16, 2024 at 9am5 Points Possible
- Project 1 : DSL design, evaluation and implementationDue Feb 26, 2024 at 9am20 Points Possible
- Exercise Sheet 4 (Empirical Studies and Program Analyses)Due Mar 15, 2024 at 9am5 Points Possible
- Exercise Sheet 5 (Program Slicing)Due Mar 29, 2024 at 9am5 Points Possible
- Project 2: Program AnalysisDue Apr 8, 2024 at 9am20 Points Possible
- Exercise Sheet 6 (Symbolic and Concolic Execution)Due Apr 12, 2024 at 9am5 Points Possible
- Final Exam40 Points Possible
- Project 2 Check-in 5Due Mar 29, 2024 at 5pmNo Points Possible
- Project 2 Check-in 4 (individual survey part)Due Mar 25, 2024 at 5pmNo Points Possible
- Project 2 Check-in 4Due Mar 22, 2024 at 5pmNo Points Possible
- Project 2 Check-in 3Due Mar 15, 2024 at 5pmNo Points Possible
- Project 2 Check-in 2Due Mar 8, 2024 at 5pmNo Points Possible
- Project 2 Check-in 2 (individual survey part)Due Mar 8, 2024 at 5pmNo Points Possible
- Project 2 Check-in 1Due Mar 1, 2024 at 5pmNo Points Possible
- Project 1 Check-in 5Due Feb 16, 2024 at 5pmNo Points Possible
- Project 1 Check-in 4A (group part)Due Feb 9, 2024 at 5pmNo Points Possible
- Project 1 Check-in 4B (individual survey part)Due Feb 9, 2024 at 5pmNo Points Possible
- Project 1 Check-in 3Due Feb 2, 2024 at 5pmNo Points Possible
- Project 1 Check-in 2A (group part)Due Jan 26, 2024 at 5pmNo Points Possible
- Project 1 Check-in 2B (individual survey part)Due Jan 26, 2024 at 5pmNo Points Possible
- Project 1 Check-in 1Due Jan 19, 2024 at 5pmNo Points Possible
- Team Registration for Project 1Due Jan 12, 2024 at 5pmNo Points Possible