Talks

  • 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