• Semantic Program Repair
    NUS Computing Research Week
    Singapore (via video conferencing), August 2020
  • Synthesis of Software Patches Using Symbolic Execution
    62nd CREST Open Workshop on Program Repair and GI
    London, United Kingdom, January 2020
  • Automated Repair of Security Vulnerabilities
    Shonan Meeting 160 on Fuzzing and Symbolic Execution
    Tokyo, Japan, September 2019
  • Semantic Program Repair
    Southern University of Science and Technology (SUSTech)
    Shenzhen, China, July 2019
  • Semantic Program Repair
    Imperial College London
    London, United Kingdom, May 2019
  • First-Order and Second-Order Symbolic Execution
    JetBrains Research
    Saint-Petersburg, Russia, April 2019
  • Semantic Program Repair
    University College London
    London, United Kingdom, July 2018
  • Semantic Program Repair Using a Reference Implementation
    Dagstuhl Seminar 18151 on Program Equivalence
    Schloss Dagstuhl, Germany, April 2018
  • Semantics-based Program Repair
    National University of Singapore
    Singapore, April 2017
  • Efficient Exploration of Patch Spaces for Automated Program Repair
    JetBrains Research
    Saint-Petersburg, Russia, March 2017
  • Towards a Synergy of Syntax-based and Semantics-based Program Repair
    Dagstuhl Seminar 17022 on Automated Program Repair
    Schloss Dagstuhl, Germany, January 2017
  • Constraint-based Automated Program Repair
    Fondazione Bruno Kessler
    Trento, Italy, May 2016