![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Stephan Zdancewic (University of Pennsylvania).
Wednesday 02 December 2009, 11:00-12:30
Room FW09, Computer Laboratory, William Gates Building
Contact: No managers listed
0 upcoming talks View 7 archived talks
Program verification reading group.
'SoftBound: Highly Compatible and Complete Spatial Memory Safety for C', Nagarakatte, Zhao, Martin & Zdancewic
Program verification reading group.
'Type Analysis for JavaScript', by Jensen, Møller and Thiemann
Program verification reading group.
"Loop Invariants on Demand", Rustan Leino and Francesco Logozzo
Program verification reading group.
'The ASTRÉE analyser', Cousot, Cousot, Feret, Mauborgne, Miné, Monniaux & Rival
Program verification reading group.
'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza
Computer Laboratory Opera Group Seminars
Round Table - Initial term meeting
Computer Laboratory Opera Group Seminars
Scalable inter-vehicular applications
Please see above for contact details for this list.