University of Cambridge > Talks.cam > Program verification reading group.

Program verification reading group.

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Discussion of topics relating to program verification. The primary focus will be on C-like languages, and the issues involved in concurrency.

Tell a friend about this list:

If you have a question about this list, please contact: Matthew Parkinson; Mike Dodds. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 20 talks in the archive.

'Type Analysis for JavaScript', by Jensen, Møller and Thiemann

UserMatko Botincan (University of Cambridge).

HouseRoom FW09, Computer Laboratory, William Gates Building.

ClockWednesday 25 November 2009, 11:00-12:30

"Loop Invariants on Demand", Rustan Leino and Francesco Logozzo

UserMisha Aizatulin (Open University & Microsoft Research).

HouseRoom FW09, Computer Laboratory, William Gates Building.

ClockWednesday 04 November 2009, 11:00-12:30

'Low Level Liquid Types', Rondon, Kawaguchi and Jhala

UserAndy Gordon (Microsoft Research).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 14 October 2009, 11:00-12:30

'Full Functional Verification of Linked Data Structures', Zee, Kuncak and Rinard

UserViktor Vafeiadis (Microsoft Research Cambridge).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 07 October 2009, 11:00-12:30

Calysto: Scalable and Precise Extended Static Checking

UserMisha Aizatulin (Open University & Microsoft Research).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 20 May 2009, 11:00-12:30

'Local Rely-Guarantee Reasoning', Xinyu Feng

UserJohn Wickerson (University of Cambridge).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 13 May 2009, 11:00-12:30

Compositional Shape Analysis by means of Bi-Abduction

UserMike Dodds (University of Cambridge).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 06 May 2009, 11:00-12:30

Alfredo on "Proof carrying code"

UserAlfredo Pironti.

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 25 February 2009, 11:00-12:30

Tony on "An Axiomatic Basis for Computer Programming"

UserTony Hoare, Microsoft Research.

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 18 February 2009, 11:00-12:30

A Calculus of Atomic Actions

UserEric Koskinen.

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 17 December 2008, 11:00-12:30

Dependent Types for Low-Level Programming.

UserMisha Aizatulin.

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 10 December 2008, 11:00-12:30

Please see above for contact details for this list.

 

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