University of Cambridge > Talks.cam > Program verification reading group. > Calysto: Scalable and Precise Extended Static Checking

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Calysto: Scalable and Precise Extended Static Checking

Download to your calendar using vCal

If you have a question about this talk, please contact Mike Dodds .

I’ll talk about “Calysto: Scalable and Precise Extended Static Checking”: http://www.domagoj-babic.com/index.php/Pubs/ICSE08

The paper itself is rather general, so I will probably draw some details from the PhD thesis: http://www.domagoj-babic.com/index.php/Pubs/PHD08

This talk is part of the Program verification reading group. series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Hoyle Lecture Theatre (sign-up required) + Zoom Bristol-Myers Squibb Lecture Theatre, Department of Chemistry, Lensfield Road Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

Other talks

Rothschild Public Lecture: The Quantum Centenary: from Order to Chaos Cultural evolution creates language-like structure: from humans to humpback whales and beyond TBC RNA-Mediated Regulation of Germinal Centre B-Cell Fitness: a tale of two DEAD-box RNA helicases CSAR lecture: 46&: Development of a probiotic that supports the natural removal of forever chemicals from the body Ensemble inequivalence for systems with long-range interactions
 

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