26/02/2020 – Talk: “Patching Bugs with Crayons” by Alfredo Cruz

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.

SPEAKER

Alfredo Cruz, PhD fellow.

TITLE

Patching Bugs with Crayons

ABSTRACT

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.

  • Prev Post
  • Next Post