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