26/02/2020 – Talk: “Patching Bugs With Crayons” By Alfredo Cruz

Alfredo Cruz will present his work on exploring whether graph labelling can be used to fix bugs. Details below.


Alfredo Cruz, PhD fellow.


Patching Bugs with Crayons


Graph labelling and code generation/analysis go way back, e.g. in register allocation and instruction scheduling. Can graph labelling be also used to fix bugs? In this talk I would like to discuss with you some of my ideas to use graph labelling as a way to generate correct by construction fixes for certain kinds of bugs in the absence of test suites.