Yet more animals: dynamic linkers and debuggers

Stephen Kell (University of Cambridge).

FW26.

Monday 03 February 2014, 13:00-14:00

ABIs, linkers and other animals

Stephen Kell, University of Cambridge.

FW26.

Monday 13 January 2014, 13:00-14:00

POPL PC workshop

Speaker to be confirmed.

LT1.

Tuesday 01 October 2013, 09:30-17:00

Sigma*: Symbolic Learning of Input-Output Specifications

Matko Botincan.

FW26.

Monday 14 January 2013, 13:00-14:00

High-Level Separation Logic for Low-Level Code

Nick Benton, MSR Cambridge.

FW26.

Monday 10 December 2012, 13:00-14:00

Library Abstraction for C/C++ Concurrency

Mark Batty.

FW26.

Monday 03 December 2012, 13:00-14:00

Full Abstraction for PCF with Names

Steffen Lösch, University of Cambridge.

FW26.

Monday 26 November 2012, 13:00-14:00

A Model-Learner Pattern for Bayesian Reasoning

Andy Gordon, Microsoft Research and University of Edinburgh.

FW26.

Monday 19 November 2012, 13:00-14:00

Putting the thrill back into computing at school

Simon Peyton Jones, MSR Cambridge.

FW26.

Monday 12 November 2012, 13:00-14:00

On distributed probabilistic strategies

Glynn Winskel.

FW26.

Monday 05 November 2012, 13:00-14:00

The Power of Parameterization in Coinductive Proof

This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.

Chung-Kil Hur, MSR.

FW26.

Monday 22 October 2012, 13:00-14:00

Containers, Comonads and Distributive Laws

Danel Ahman.

FW26.

Monday 25 June 2012, 12:45-14:00

Ribbon Proofs for Separation Logic

John Wickerson.

FW26.

Wednesday 20 June 2012, 13:30-13:45

CerCo --- Certified Complexity

NB: Unusual day/time

Dominic Mulligan (Bologna).

FW26.

Thursday 31 May 2012, 11:00-12:00

A Concurrent Logical Relation

NB: changed (again!) unusual day/time

Jacob Thamsborg (ITU).

FW26.

Wednesday 30 May 2012, 14:30-15:30

Virtue of certified programming with decision procedures

NB: unusual day/time

Vladimir Komendantsky (St Andrews).

FW26.

Friday 25 May 2012, 11:00-12:00

From threads to events through classical program transformations

NB: Unusual day/time

Gabriel Kerneis (PPS, Université Paris Diderot).

FW26.

Wednesday 23 May 2012, 11:00-12:00

Developing verified programs in Dafny

Rustan Leino.

FW26.

Monday 27 February 2012, 12:45-14:00

RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels

Alastair Donaldson, Imperial.

FW26.

Monday 20 February 2012, 12:45-14:00

Resource Sensitive Synchronisation Inference by Abduction

Mike Dodds.

FW26.

Monday 05 December 2011, 12:45-14:00

Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER

Kayvan Memarian.

FW26.

Monday 28 November 2011, 12:45-14:00

Stop when you are Almost-Full: Adventures in Constructive Termination

Dimitrios Vytiniotis.

FW26.

Monday 21 November 2011, 12:45-14:00

Understanding POWER Multiprocessors

Susmit Sarkar.

FW26.

Monday 14 November 2011, 12:45-14:00

The Importance of Being Linearizable

Alexey Gotsman, IMDEA Software Institute.

FW26.

Monday 07 November 2011, 12:45-14:00

A Heirarchy of Mendler style Iteration/Recursion Combinators: taming recursive types with negative occurrences

Ki Yung Ahn.

FW26.

Monday 31 October 2011, 12:45-14:00

Semantics of a DNA Strand Displacement Model

Kathy Gray.

FW26.

Monday 24 October 2011, 12:45-14:00

Ribbon proofs for separation logic

John Wickerson.

FW26.

Monday 17 October 2011, 12:45-14:00

TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs

Radu Grigore, QM.

FW26.

Monday 10 October 2011, 12:45-14:00

Relating Two Semantics of Locally Scoped Names

Note unusual day, time and place: this will be in the ARG lunch slot

Steffen Lösch (University of Cambridge).

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 30 August 2011, 13:00-14:00

Polarisation in classical realisability and delimited control

NOTE UNUSUAL TIME AND PLACE

Guillaume Munch-Maccagnoni.

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 14 June 2011, 12:45-14:00

Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks

Note unusual start time: talks at 12.50 prompt

Suresh Jagannathan/Peter Höfner.

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 May 2011, 12:45-14:00

Relaxed-Memory Concurrency and Verified Compilation / Mathematizing C++0x concurrency

Jaroslav Sevcik and Mark Batty.

Room FW26, Computer Laboratory, William Gates Building.

Monday 17 January 2011, 12:45-14:00

Logics with algebraic operators

Bjarki Holm (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 13 December 2010, 12:45-14:00

Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages

Nick Benton.

Room FW26, Computer Laboratory, William Gates Building.

Monday 06 December 2010, 12:45-14:00

Making Prophecies with Decision Predicates

Eric Koskinen.

Room FW26, Computer Laboratory, William Gates Building.

Monday 29 November 2010, 12:45-14:00

Relaxed-Memory Concurrency and Verified Compilation

Jaroslav Sevcik.

Room FW26, Computer Laboratory, William Gates Building.

Monday 22 November 2010, 12:45-14:00

A Language for Mathematics

Mohan Ganesalingam (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 15 November 2010, 12:45-14:00

Andrew Kennedy

POSTPONED - no Semantics Lunch meeting this week

Andrew Kennedy.

Room FW26, Computer Laboratory, William Gates Building.

Monday 08 November 2010, 12:45-14:00

Finding best paths in difficult conditions

(Change of speaker - this replaces Eric's talk)

Alex Gurney.

Room FW26, Computer Laboratory, William Gates Building.

Monday 01 November 2010, 12:45-14:00

Separation Logic and Graphical Models

John Wickerson (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 25 October 2010, 12:45-14:00

Computer Laboratory Automated Reasoning Group Lunches

A Simple and Efficient Memory Model for Concurrent Programming Languages

Todd Millstein (UCLA).

Computer Laboratory, William Gates Building, Room SS03.

Tuesday 19 October 2010, 13:00-14:00

Mathematizing C++ Concurrency

Mark Batty (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 18 October 2010, 12:45-14:00

Let should not be generalised

Simon Peyton Jones (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 11 October 2010, 12:45-14:00

Abstract separation algebra

Tony Hoare (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 04 October 2010, 12:45-14:00

Concurrent abstract predicates

Mike Dodds.

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 August 2010, 12:45-14:00

Interoperability in a Scripted World

Kathy Gray.

Room FW26, Computer Laboratory, William Gates Building.

Monday 16 August 2010, 12:45-14:00

Probabilistic languages for inference

Johannes Borgstroem.

Room FW26, Computer Laboratory, William Gates Building.

Monday 09 August 2010, 12:45-14:00

Higher order reactive programming

Neel Krishnaswami.

Room FW26, Computer Laboratory, William Gates Building.

Monday 02 August 2010, 12:45-14:00

Proving safety of asynchronous multi-core programs

Matko Botincan.

Room FW26, Computer Laboratory, William Gates Building.

Monday 26 July 2010, 12:45-14:00

Hoopl: modular library for dataflow analysis/transformation

Simon Peyton Jones.

Room FW26, Computer Laboratory, William Gates Building.

Monday 19 July 2010, 12:45-14:00

Every bit counts

Andrew Kennedy.

Room FW26, Computer Laboratory, William Gates Building.

Monday 12 July 2010, 12:45-14:00

Linear maps

David Walker (visiting from Princeton).

Room FW26, Computer Laboratory, William Gates Building.

Monday 28 June 2010, 12:45-14:00

A polarised calculus of delimited control

Guillaume Munch, Paris 7.

Room FW26, Computer Laboratory, William Gates Building.

Monday 17 May 2010, 12:45-14:00

New frontiers for Linear Temporal Logic

Eric Koskinen (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 22 March 2010, 12:45-14:00

The Thorn Programming Language: Robust Distributed Scripting

John Field (IBM Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 15 March 2010, 12:45-14:00

Coarse-grained transactions

Eric Koskinen (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 30 November 2009, 12:45-14:00

A refinement of the state monad

Johannes Borgstrom (MSR Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 November 2009, 12:45-14:00

Completeness for algebraic theories of local state

Sam Staton (Computer Laboratory, University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 16 November 2009, 12:45-14:00

Structural recursion with pure local names

Andy Pitts (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 09 November 2009, 12:45-14:00

Dependent types and program equivalence

Stephanie Wierich, University of Pennsylvania.

Room FW26, Computer Laboratory, William Gates Building.

Monday 02 November 2009, 12:45-14:00

Verifying malloc using RGSep and 'Explicit Stabilisation'

John Wickerson (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 26 October 2009, 12:45-14:00

Locality and Footprints in Separation Logic

Mohammad Raza (Imperial College).

Room FW26, Computer Laboratory, William Gates Building.

Monday 19 October 2009, 12:45-14:00

F^o: Lightweight Linear F

Steve Zdancewic.

Room FW26, Computer Laboratory, William Gates Building.

Monday 12 October 2009, 12:45-14:00

Integration of Typed and Untyped Code in a Scripting Language

Francesco Zappa Nardelli.

Room FW26, Computer Laboratory, William Gates Building.

Monday 05 October 2009, 12:45-14:00

Higher Order Actions in Deny-Guarantee

Mike Dodds (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 29 June 2009, 12:45-14:00

Program Verification and Synthesis over Predicate Abstraction

Saurabh Srivastava (visiting from UMD).

Room FW26, Computer Laboratory, William Gates Building.

Monday 22 June 2009, 12:45-14:00

Reliable evidence: Auditability by typing

Nataliya Guts (visiting from INRIA).

Room FW26, Computer Laboratory, William Gates Building.

Monday 15 June 2009, 12:45-14:00

A Ubiquitous Abstract Machine

Robin Milner (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 08 June 2009, 12:45-14:00

Towards parametric direcursion: structured mixed-variant recursion with parameters

Johan Glimming (Visiting Research Fellow, University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 18 May 2009, 12:45-14:00

Scheduling meeting

Speaker to be confirmed.

Room FW26, Computer Laboratory, William Gates Building.

Monday 11 May 2009, 12:45-14:00

A unifying model for computational objects

Tony Hoare (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 06 April 2009, 12:45-14:00

Strongly-typed term representations in Coq

Andrew Kennedy (Microsoft Research).

Room FW26, Computer Laboratory, William Gates Building.

Monday 30 March 2009, 12:45-14:00

Segment logic (work in progress)

Viktor Vafeiadis (Microsoft Research Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 March 2009, 12:45-14:00

Biorthogonality, step-indexing and compiler correctness

Chung-Kil Hur (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 16 March 2009, 12:45-14:00

Deny-guarantee reasoning

NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.

Mike Dodds (University of Cambridge).

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 10 March 2009, 13:00-14:00

Resolving inductive definitions with binders

Matt Lakin (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 09 March 2009, 12:45-14:00

A Framework for Specification, Prototyping, and Reasoning

Andrew Gacek (University of Minnesota).

Room FW26, Computer Laboratory, William Gates Building.

Monday 02 March 2009, 12:45-14:00

Logics with Rank Operators

Bjarki Holm (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Monday 23 February 2009, 12:45-14:00

Semantics lunch organisational meeting

Speaker to be confirmed.

FW26.

Monday 16 February 2009, 12:45-14:00

Secure Compilation of a Multi-Tier

Ioannis Baltopoulos.

FW26.

Monday 08 December 2008, 12:45-14:00

Title to be confirmed

Jon Hayman.

FW26.

Monday 01 December 2008, 12:45-14:00

Convergence of path-finding

Alex Gurney.

FW26.

Monday 24 November 2008, 12:45-14:00

Compiling Functional Types to Relational Specifications for Low Level Imperative Code

Nick Benton.

FW26.

Monday 17 November 2008, 12:45-14:00

Some notes on syntactic logical relations for pure System F

Dimitrios Vytiniotis, MSR.

FW26.

Monday 10 November 2008, 12:45-14:00

Deny-guarantee reasoning

Mike Dodds (University of Cambridge).

FW26.

Monday 03 November 2008, 12:45-14:00

Focusing on Pattern Matching

Neelakantan Krishnaswami, CMU.

FW26.

Monday 27 October 2008, 12:45-14:00

An Invitation to Nominal Domain Theory

Andrew Pitts, Computer Lab.

FW26.

Monday 20 October 2008, 12:45-14:00