Talks

• 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