University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Sound Haskell

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Sound Haskell

Download to your calendar using vCal

If you have a question about this talk, please contact Viktor Vafeiadis .

Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and to systems that are guarded by runtime checks. Static verification techniques have been applied to imperative and object-oriented languages, like Java and C#, but few have been applied to a higher-order lazy functional language, like Haskell. In this talk, I will describe a sound and automatic static verification tool for Haskell, that is based on contracts and symbolic execution. Our approach gives precise blame assignments at compile-time in the presence of higher-order functions and laziness.

This talk is part of the Computer Laboratory Programming Research Group Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Small Lecture Theatre, Department of Geography, University of Cambridge, and online (Zoom): https://zoom.us/j/91333310365?pwd=czNoUTNFdnROOXFkbGY4UkNpdEIyUT09 Meeting ID: 913 3331 0365 Passcode: 213494QT09 Meeting ID: 988 1738 7914 Passcode: 640898 Guy Emerson's list in person & via zoom

Other talks

Title to be confirmed Theophilus Richmond’s The First Crossing: The Transition from Slavery to Indentureship in the Caribbean and the Case of the Black Slave on the Hesperus Title to be confirmed Scientific Steering Committee meeting Group Work Title to be confirmed
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity