Talks

• EclipseCon 2022
  • Let a bot deal with your static analysis warnings backlog
  • Speaker: Aman Sharma
• FMCAD 2021
  • Refinement-Based Verification of Device-to-Device Information Flow (Video)
  • Speaker: Ning Dong
• Coq Users and Developers Workshop 2020
  • Towards better Coq batch incremental proving (Video)
  • Demonstration of Roosterize, a tool for suggesting Coq lemma names using deep learning (Video)
  • Speaker: Karl Palmskog
• CCS 2020
  • InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis (Video)
  • Speaker: Roberto Guanciale
• 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