Final Presentations (7 and 8 September)

Written on 30.08.2021 14:45 by Rafael Dutra

Dear students,

As announced earlier, the remaining final presentation will start next week. We'll have 2 presentation dates, with up to 4 presenters on each date.


Tuesday 7 September 9am-11am

Florian Bauckholt: A review of reverse debugging (Time-travel Debugging)

Vikram Vashishth: Compiler Validation via Equivalence Modulo Inputs (EMI)

Reza Zamiri: FormatFuzzer: Effective Fuzzing of Binary File Formats (FormatFuzzer)


Wednesday 8 September 2pm-4pm

Benjamin Peters: Delta Debugging

Ali Alhasani: Evocative Patterns for Behavioral Abstraction

Birk Blechschmidt: Mining Dynamic Invariants

Ruiyi Zhang: MultiSE: Multi-Path Symbolic Execution using Value Summaries (MultiSE)


Please time your presentation to a maximum of 20 minutes (including possibly a demo), which will be followed by 10 minutes discussion.

Thank you,


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.