The 62nd CREST Open Workshop - Automated Program Repair and Genetic Improvement

Program repair has the potential to reduce the significant manual effort that developers devote to finding and fixing software bugs. Recent years have witnessed a dramatic growth of research in program repair. Researchers have proposed a large number of techniques aimed to address fundamental challenges of program repair such as scalability and test-overfitting, and have successfully deployed program repair in industry.

One of the techniques that has been used in the repair field has been genetic improvement. GI uses automated search in order to improve existing software. Aside from bug fixing, GI has been used to optimise other software properties, such as runtime, memory and energy consumption. It has also been used for other kinds of improvement such as specialising and porting.

The goal of this workshop is to reflect on the progress that the research community has made over the last years in those two closely related fields, share experience in research and deployment, and identify key challenges that need to be addressed in future research.

Organisers

• Dr Justyna Petke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr Sergey Mechtaev, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Prof Mark Harman, Facebook, and UCL, UK

Schedule

Monday 20 January 2020

10:00 Pastries
10:30 Welcome and introductions
11:00 Dr Julia Lawall, INRIA, France -- " "SPINFER: Inferring Software Maintenance Rules for the Linux Kernel"
11:30 Prof Orna Grumberg, Israel Institute of Technology, Israel -- "Automated Program Repair"
12:00 Lunch
13:30 Dr Shin Hwei Tan, Southern University of Science and Technology (SUSTech) (China) -- "Collaborative bug finding and bug-fixing for Android Apps."
14:00 Dr Alexandru Marginean,  Facebook UK and University College London, UK -- "SapFix: Automated End-to-End Repair at Scale"
14:30 Prof Abhik Roychoudhury, University of Singapore, Singapore -- "Overfitting in Program Repair"
15:00 Refreshments
15:30 Dr Thomas Durieux, Post-doc at University of Lisbon, Portugal -- "Empirical Review of Java Program Repair Tools: A Large-Scale Experiment on 2,141 Bugs and 23,551 Repair Attempts"
16:00 Prof Sarfraz Khurshid, The University of Texas at Austin, USA -- "Automated Testing and Debugging for Declarative Models"
16:30 Dr Sergey Mechtaev, University College London, UK -- "Synthesis of Software Patches Using Symbolic Execution"
17:00 Close

Tuesday 21 January 2020

10:30 Pastries
11:00 Prof Martin Monperrus, KTH Royal Institute of Technology, Sweden -- "Automated Patch Assessment for Program Repair at Scale"
11:30 Dr Marija Selakovic, Huawei, Germany -- "Actionable Performance Analyses"
12:00 Lunch
13:30 Dr Michail Basios, TurinTech, University College London, UK -- "Genetic Improvement of Software"
14:00 Dr Sandy Brownlee, University of Stirling, UK --  "Search-based approaches to improving the energy consumption of Java programs"
14:30 Dr Markus Wagner, University of Adelaide, Australia -- "Optimising energy consumption using GI"
15:00 Refreshments
15:30 Prof Bill Langdon, University College London, UK -- "GI4SBSE Using Genetic Improvement to speed up search"
16:00 Dr Justyna Petke, University College London, UK -- "Gin and PyGGI: General Frameworks for Genetic Improvement"
16:30 Final discussion and wrap up
17:00 Close

Registered attendees

• Dr. Giovani Guizzo, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr. Maria Kechagia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr. Aymeric Blot, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr. Earl Barr, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr. Jie Zhang, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr Marija Katic, Birkbeck, University of London, UK
• Dr. Jens Krinke, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• James Callun, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Dr John Woodward, Dept of Computer Science, Queen Mary University of London
• Nikhil Parasaram, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Artur Meski, Institute of Computer Science, Polish Academy of Sciences
• Dr Leon Moonen, Simula Research Laboratory
• Professor Tracy Hall,  Department: Computing and Communications , University of Lancaster
• Dr Michal Knapik, Institute of Computer Science, PAS, Warsaw, Poland,
• Piotr Dziurzanski   Dept. of Computer Science, University of York
• Nicholas Matragkas  Department of Computer Science, University of York
• Dario Asprone, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Seongmin Lee, Korea Advanced Institute of Science and Technology
• Robert White, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Derek Jones, Knowledge Software
• Max Hort, CREST Centre, SSE Group, Department of Computer Science, UCL, UK
• Emily Winter, University of Lancaster
• Dr Vesna Nowack, Queen Mary University of London
• Professor Steve Counsell, Brunel University, UK
• Daniel Kroening, University of Oxford, UK
• Dr Matias Martinez, Université Polytechnique Hauts-de-France,  France
• Dr David Clark, CREST Centre, SSE Group, Department of Computer Science, UCL, UK