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

  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

Program verification reading group.

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.

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.

'SoftBound: Highly Compatible and Complete Spatial Memory Safety for C', Nagarakatte, Zhao, Martin & Zdancewic

UserStephan Zdancewic (University of Pennsylvania).

HouseRoom FW09, Computer Laboratory, William Gates Building.

ClockWednesday 02 December 2009, 11:00-12:30

'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

'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & Godefroid

UserNir Piterman (Imperial College London).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 18 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

'The ASTRÉE analyser', Cousot, Cousot, Feret, Mauborgne, Miné, Monniaux & Rival

UserMatthew Parkinson (University of Cambridge).

HouseRoom FW09, Computer Laboratory, William Gates Building.

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

'Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL', Prensa Nieto and Esparza

UserJohn Wickerson (University of Cambridge).

HouseRoom FW09, Computer Laboratory, William Gates Building.

ClockWednesday 21 October 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

'Mechanized semantics for the Clight subset of the C language', Blazy & Leroy

UserTom Ridge (University of Cambridge).

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 24 June 2009, 11:00-12:30

'A Precise Yet Efficient Memory Model For C', Cohen, Moskal, Schulte, and Tobies

UserFrancois Dupressoir.

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockWednesday 17 June 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

'Parametric Shape Analysis via 3-Valued Logic', Sagiv, Reps & Wilhelm

UserMike Dodds, Computer Lab.

HouseFW11, Computer Laboratory, William Gates Building.

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

John on "The Software Model Checker BLAST"

UserJohn Wickerson.

HouseFW11, Computer Laboratory, William Gates Building.

ClockWednesday 04 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

Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

UserFrancois Dupressoir.

HouseSS03, Computer Laboratory, William Gates Building.

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

Please see above for contact details for this list.

Other lists

Webinar (via Zoom online ) Webinar & FW11, Computer Laboratory, William Gates Building. Type the title of a new list here

Other talks

Talk TBC Animating urbanism: the demotic multiplicities of seeing cities digitally Teams Announced CUSCRS and Renal Medicine A scientists guide to the art of radiation therapy and Neurosurgery for the oncologist The rise of local cartography in Europe, 12th-14th century
 

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