Video
Path Invariants
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes.…
Publication
Playing Games with Approximation Algorithms
Video
Simon Peyton Jones – A History of Haskell: being lazy with class
Simon describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
Publication
A History of Haskell: being lazy with class
Publication