- CAV 2020
- Scam-V: validation of abstract side channel models for computer architectures (Video)
- Speaker: Andreas Lindner
- ICSE 2020
- SequenceR: sequence-to-sequence learning for end-to-end program repair (Video)
- Speaker: Steve Kommrusch
- MoreVMs’20
- Superoptimization of WebAsssembly Bytecode (Video)
- Speaker: Javier Cabrera