Seminars

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.