BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260501T065236Z
UID:Seminar-verification-674@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20181108T130000
DTEND:20181108T140000
SUMMARY:Verification Series
DESCRIPTION:Rasmus Ibsen-Jensen: Static Analysis of Programs with Low Tree-Width\n\nStatic analysis of programs is one of the main and most direct applications of verification, typically done without any assumption on the programs.\nHowever, if a method is written without (or even with a few) GOTO statements, then, in many common programming languages, the control flow graph of the method have small constant tree-width. GOTO statements have in essence been taboo since a famous letter by Dijkstra in '68 and are thus extremely rarely used.\n\nIn this talk we exploit this property of programs to give faster algorithms for static analysis. Specifically, the talk will cover improved algorithms for programs of multiple methods and of concurrent, single methods, when the methods each have constant tree-witdh, based on my papers in POPL `15 and `16 and ongoing research.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=674
LOCATION:
END:VEVENT
END:VCALENDAR