2023
-
Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
National University of Singapore, School of Computing CS Seminar
22 November 2023
-
Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
Imperial College London, Software Reliability Group Seminar
17 November 2023
2022
-
Modus: A Datalog Dialect for Building Container Images
JetBrains, Open Reading Club
Online, December 2022
-
To Build is to Query: Building Container Images with Datalog
Microsoft, MDCS Tech & Science Talks
Online, November 2022
-
To Build is to Query: Building Container Images with Datalog
National University of Singapore, CS Seminar
Singapore, August 2022
2020
-
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
2019
-
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
[Abstract]
-
First-Order and Second-Order Symbolic Execution
JetBrains Research
Saint-Petersburg, Russia, April 2019
[Abstract]
2018
-
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
2017
-
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
[Abstract]
-
Towards a Synergy of Syntax-based and Semantics-based Program Repair
Dagstuhl Seminar 17022 on Automated Program Repair
Schloss Dagstuhl, Germany, January 2017
2016
-
Constraint-based Automated Program Repair
Fondazione Bruno Kessler
Trento, Italy, May 2016
[Abstract]