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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Calysto: Scalable and Precise Extended Static Checking

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Meeting the Challenge of Healthy Ageing in the 21st Century EPRG Energy and Environment Seminars Michaelmas 2009 MacDonald Institute

Other talks

Formation and disease relevance of axonal endoplasmic reticulum, a "neuron within a neuron”. Information Theory, Codes, and Compression Magnetic Resonance on Two Scales for Research into Cell Cycle and Stroke The Intimate Relation between Mechanics and Geometry Katie Field - Symbiotic options for the conquest of land Mathematical applications of little string theory A rose by any other name Symplectic topology of K3 surfaces via mirror symmetry TBC The clinical and biological basis of prostate cancer - from diagnosis to personalised therapy
 

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