2009/10 Archive




For many years the UCL SSE group has run a successful series of seminars, showcasing both mature and developing research from our own researchers and visiting speakers.


The seminars are currently scheduled regularly at 12 on Mondays.

    September 2009

  • September 28
    Speaker: Dino Distefano (QMUL)
    Title: Attacking Large Industrial Code with Bi-Abductive Inference
    Abstract: In this talk we will introduce bi-abductive inference and its use in reasoning about heap manipulating programs. The talk will survey the key concepts and describe our experience in the application of bi-abduction to real-world applications and systems of over one million lines of code.
This page was last modified on 18 Oct 2013.