A lecture by Tom Reps about ``retrograde debugging,'' November 3, 2023

Slides used in the lecture

• PPT slides

Recording #1, with links to the different parts of the lecture

• Introduction (missing the first two slides)
• What is retrograde debugging?
• A standard chess problem
• Retrograde chess problem #1 (Smullyan)
• Relevance to debugging
• Debugging problem #1
• Retrograde debugging and the Cornell Program Synthesizer
• Retrograde chess problem #2 (Smullyan)
• Debugging problem #2
• Retrograde chess problem #3 (Reps)
• Is retrograde debugging automatable?
• Wrap-up

Recording #2, with links to the different parts of the lecture

• How to teach retrograde debugging?
• A standard chess problem
• Retrograde chess problem #1 (Smullyan)
• Relevance to debugging
• Debugging problem #1
• Retrograde debugging and the Cornell Program Synthesizer
• Retrograde chess problem #2 (Smullyan)
• Debugging problem #2
• Retrograde chess problem #3 (Reps)
• Is retrograde debugging automatable?
• Wrap-up

Photos and videos

• Office door
• Office door
• Some Zoom participants
• Some Zoom participants
• Some Zoom participants
• Some past and present Ph.D. students
• Costume change
• From Tom Reps to Sherlock Holmes