Final Presentations (7 and 8 September)
Written on 30.08.2021 14:45 by Rafael Dutra
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.