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

  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

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.

'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

11th Cambridge Immunology Forum 23.9.10 Lectureship in Innate Immunity Kettle's Yard Lunchtime Talks

Other talks

Lunchtime Talk: Helen's Bedroom Deep & Heavy: Using machine learning for boosted resonance tagging and beyond “It’s like they’re speaking a different language!” Investigating an accidental resistance to school mathematics reform Missing friars: rethinking late medieval medicine Internal Displacement in Cyprus and childhood: The view from genetic social psychology Communicating Your Research to the Wider World Symplectic topology of K3 surfaces via mirror symmetry Migration in Science The ‘Easy’ and ‘Hard’ Problems of Consciousness Knot Floer homology and algebraic methods Cambridge-Lausanne Workshop 2018 - Day 2
 

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