Computer Laboratory Systems Research Group Seminar

Programmable Kernel Abstractions Wanted for Fun (and Profit)!

Theophilus A. Benson, Professor of Electrical and Computer Engineering, Carnegie Mellon University.

FW26.

Friday 15 November 2024, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Tech law vs tech design: why can't we be friends?

Dr Tristan Henderson, University of St Andrews.

FW26.

Friday 22 March 2024, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Enabling Efficient and Scalable DRAM Read Disturbance Mitigation via New Experimental Insights into Modern DRAM Chips / Methodologies, Workloads, and Tools for Processing-in-Memory: Enabling the Adoption of Data-Centric Architectures.

Giray Yağlıkçı / Geraldo Francisco.

FW26.

Thursday 14 March 2024, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

Steve Awodey, Carnegie Mellon University.

FW26.

Tuesday 30 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Decoding Nets: A Formal Take on Address Translation

Ben Fiedler, ETH.

FW26.

Thursday 28 July 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

Anupam Das, University of Birmingham.

FW26.

Friday 11 March 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

Marie Fortin, University of Liverpool.

FW26.

Friday 04 March 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

Prakash Panangaden, McGill University and University of Edinburgh.

FW26.

Friday 25 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

David Richerby, University of Essex.

FW26.

Friday 18 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Relational databases versus relational models

Alex Gurney, WebFlow.

FW26.

Friday 11 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Categorical Foundations of Gradient-Based Learning

Fabio Zanasi, UCL.

FW26.

Friday 04 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

Peter LeFanu Lumsdaine, Stockholm University.

FW26.

Friday 03 December 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

Simon Forest, University of Aix-Marseille.

FW26.

Friday 26 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Enriched categories for optimal transport

Simon Willerton, University of Sheffield.

FW26.

Friday 12 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A formal context for metric semantics

Radu Mardare, University of Strathclyde.

FW26.

Friday 05 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

Dan Iorga, Imperial College London.

FW26.

Friday 29 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

CaTT, a type-theory to describe weak omega-categories

Thibaut Benjamin, CEA Tech.

FW26.

Friday 22 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Software in 2021: Patterns and Problems

Ross Duncan, Cambridge Quantum Computing.

FW26.

Friday 15 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

Richard Eisenberg (Bryn Mawr College).

FW26.

Friday 08 November 2019, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

Jean-Louis Lassez.

FW26.

Friday 11 October 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Local reasoning for robust observational equivalence

Koko Muroya.

FW26.

Thursday 12 September 2019, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance

Jean-Baptiste Jeannin, University of Michigan.

FW26.

Monday 17 June 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

Vikraman Choudhury, Indiana University / Cambridge.

FW26.

Friday 24 May 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Hardness magnification near state-of-the-art lower bounds

Jan Pich, Oxford.

FW26.

Friday 10 May 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

Magnus Madsen, Aarhus University.

FW26.

Thursday 09 May 2019, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

Vilem Liepelt, University of Kent.

FW26.

Thursday 18 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

Joshua Dunfield, Queen’s University, Canada.

FW26.

Wednesday 17 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Push versus Pull-Based Loop Fusion in Query Engines

Amir Shaikhha, Oxford.

FW26.

Friday 12 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stacked Borrows: An Aliasing Model for Rust

Ralf Jung, MPI-SWS.

FW26.

Tuesday 02 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

Ben Simner, Computer Laboratory.

FW26.

Friday 22 March 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

Dominique Devriese, Vrije Universiteit Brussel.

FW26.

Monday 18 March 2019, 14:30-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear capabilities for fully abstract compilation of separation-logic-verified code

Thomas Van Strydonck, KU Leuven.

FW26.

Monday 18 March 2019, 11:45-12:15

Logic and Semantics Seminar (Computer Laboratory)

StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

Lau Skorstengaard, Aarhus University.

FW26.

Monday 18 March 2019, 11:15-11:45

Logic and Semantics Seminar (Computer Laboratory)

A domain theory for statistical probabilistic programming

Ohad Kammar, Edinburgh.

FW26.

Friday 22 February 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

Jonathan Protzenko, MSR Redmond.

FW26.

Friday 30 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

Bartek Klin, Warsaw University.

FW26.

Tuesday 20 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

Karoliina Lehtinen, Christian-Albrechts University of Kiel.

FW26.

Friday 14 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing

Paul Downen, University of Oregon.

FW26.

Tuesday 11 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical Conjunctive Queries

Pawel Sobocinski, University of Southampton.

FW26.

Friday 27 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Full-Stack Memory Model Verification with the Check suite

Yatin Manerkar, Princeton University.

FW26.

Thursday 19 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

Tamara von Glehn (DPMMS).

FW26.

Friday 06 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Types and Safety of Lock-free Data Structures

Elias Castegren, MSR.

FW26.

Friday 29 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

Guillaume Munch-Maccagnoni, INRIA.

FW26.

Tuesday 19 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Compositional Compiler Verification for a Multi-Language World

Amal Ahmed, Northeastern University.

FW26.

Friday 15 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

From global to local state in game semantics via the sequoid

James Laird, University of Bath.

FW26.

Friday 01 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantitative equational reasoning

Prakash Panangaden, McGill University.

FW26.

Thursday 24 May 2018, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Scheduling Tasks for Reconfigurable Architecture

Amlan Chakrabarti, University of Calcutta.

FW26.

Friday 18 May 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lecture 3: Logic for Program Development, Verification and Implementation.

Tony Hoare, FRS FREng.

FW26.

Friday 04 May 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

Hubert Chen, Birkbeck University of London.

FW26.

Friday 27 April 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Left Exact Modalities in Type Theory

Eric Finster, INRIA Rennes.

FW26.

Friday 09 March 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

Michel Schellekens, University College Cork.

FW26.

Friday 23 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lecture 2: Algebraic Theory of Program Transformation

Tony Hoare, FRS FREng.

FW26.

Tuesday 13 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

Brijesh Dongol, Brunel University London.

FW26.

Friday 26 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

William Byrd, University of Alabama at Birmingham.

FW26.

Tuesday 23 January 2018, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

Tony Hoare, FRS FREng.

FW26.

Friday 19 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Linux Kernel Concurrency Model

Andrea Parri.

FW26.

Thursday 07 December 2017, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Effective Stateless Model Checking for C/C++ Concurrency

Viktor Vafeiadis, MPI-SWS.

FW26.

Tuesday 05 December 2017, 10:30-11:30

Logic and Semantics Seminar (Computer Laboratory)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

Sam Lindley, University of Edinburgh.

FW26.

Friday 01 December 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Reasoning beyond data-race freedom

Stephen Dolan, Ocaml Labs, University of Cambridge.

FW26.

Friday 10 November 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

Chung-Kil Hur, Seoul National University.

FW26.

Friday 29 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Event Correlation with Algebraic Effects

Oliver Bracevac, University of Darmstadt.

FW26.

Friday 15 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A promising semantics for relaxed-memory concurrency

Chung-Kil Hur, Seoul National University.

FW26.

Friday 08 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Semantics of Full Ground References

Paul Blain Levy (University of Birmingham).

FW26.

Friday 21 July 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity

Wied Pakusa, University of Oxford.

FW26.

Friday 16 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

Murdoch Gabbay, Heriot-Watt University.

FW26.

Friday 09 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Syntax and Handlers for Operations with Scopes

Maciej Piróg.

FW26.

Friday 02 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Concurrent Kleene Algebras and Pomset Languages

Georg Struth, University of Sheffield.

FW26.

Friday 26 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

David Pearce, Victoria University of Wellington, New Zealand.

FW26.

Friday 19 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Categorical Structures, Type-Theoretically

Nicolai Kraus, University of Nottingham.

FW26.

Friday 12 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

James Cheney, University of Edinburgh.

FW26.

Friday 07 April 2017, 14:00-15:00

Testing & Verification For Computational Science

Verifying spatial properties of stencil computations

Mistral Contrastin.

FW26.

Tuesday 21 March 2017, 17:05-17:30

Testing & Verification For Computational Science

Verification of Fortran Codes

Wadud Miah.

FW26.

Tuesday 21 March 2017, 16:40-17:05

Testing & Verification For Computational Science

Pathological behaviours of single progenitor model defy inference techniques

Ben Hall (University of Cambridge).

FW26.

Tuesday 21 March 2017, 16:00-16:25

Testing & Verification For Computational Science

Sound and Automated Synthesis of Digital Controllers for Continuous Plants

Alessandro Abate.

FW26.

Tuesday 21 March 2017, 15:35-16:00

Testing & Verification For Computational Science

How to do virtually everything with the Met Office Unified Model

Luke Abraham.

FW26.

Tuesday 21 March 2017, 15:10-15:35

Testing & Verification For Computational Science

Fun with Floats: Symbolic execution of floating point programs

Dan Liew.

FW26.

Tuesday 21 March 2017, 14:30-14:55

Testing & Verification For Computational Science

The long road from ideas to bits and back: a traveller's guide to verifiable computational research

Konrad Hinsen.

FW26.

Tuesday 21 March 2017, 13:30-14:30

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

Dan Ghica, University of Birmingham.

FW26.

Friday 17 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

Magnus Myreen, Chalmers University.

FW26.

Friday 03 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A monad for full ground reference cells

Ohad Kammar, University of Oxford.

FW26.

Friday 17 February 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

One-Dimensional Higher Inductive Types

Peter Dybjer, Chalmers University of Technology.

FW26.

Friday 20 January 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polymorphism, subtyping and type inference in MLsub

Stephen Dolan, University of Cambridge.

FW26.

Friday 16 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical perspective on type refinement systems

Noam Zeilberger, University of Birmingham.

FW26.

Friday 09 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming

Alexandra Silva ( University College London).

FW26.

Friday 02 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fencing off Go: Liveness and Safety for Channel-based Programming

Nicholas Ng and Bernardo Toninho, Imperial College.

FW26.

Friday 11 November 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

Ugo Dal Lago, University of Bologna.

FW26.

Friday 21 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

Marcelo Fiore, University of Cambridge.

FW26.

Friday 14 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

Andy Pitts, Computer Laboratory.

FW26.

Friday 07 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

Neel Krishnaswami, University of Cambridge.

FW26.

Friday 09 September 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

Robert Atkey, University of Strathclyde.

FW26.

Friday 29 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data

Sandrine Blazy, University of Rennes 1.

FW26.

Friday 08 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

Ryan Newton, University of Indiana.

FW26.

Friday 01 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

John Wickerson, Imperial College.

FW26.

Friday 24 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

Ilya Sergey, University College London.

FW26.

Friday 17 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

Jasper Lee, Brown University.

FW26.

Friday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

Josef Urban, Czech Technical University in Prague.

FW26.

Friday 03 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh.

FW26.

Friday 20 May 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Program Verification Using Cyclic Proof

Reuben Rowe, UCL.

FW26.

Thursday 19 May 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

Robbert Krebbers, Aarhus University.

FW26.

Friday 13 May 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU Compiler

Note unusual day and time

Troels Henriksen (DIKU).

FW26.

Wednesday 11 May 2016, 11:30-12:30

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

Martin Berger, University of Sussex.

FW26.

Friday 06 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

Ilias Garnier, ENS Paris.

FW26.

Friday 29 April 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

Matthew Danish (University of Cambridge).

FW26.

Thursday 28 April 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

Paulo Oliva, Queen Mary, University of London.

FW26.

Friday 22 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

Jeremy Siek, Indiana University.

FW26.

Friday 08 April 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Meeting on Testing and Verification for Computational Science

Multiple speakers.

FW26.

Tuesday 15 March 2016, 12:30-18:00

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

Fredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.

FW26.

Friday 11 March 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.

FW26.

Friday 19 February 2016, 14:00-15:00

REMS lunch

Cache Storage Channels: Alias-Driven Attacks

NON-STANDARD DAY: NEXT MONDAY

Roberto Guanciale, KTH.

FW26.

Monday 08 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

Danel Ahman, University of Edinburgh, Scotland.

FW26.

Friday 22 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

Pawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

FW26.

Friday 15 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A continuation passing translation for functional session types

Sam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.

FW26.

Friday 04 December 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Typed realizability for first-order classical analysis

Valentin Blot, Mathematical foundations group, computer science department, University of Bath.

FW26.

Friday 27 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Online Space Complexity

Nathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7.

FW26.

Friday 13 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Global Realisations of Local Specifications

Martin Otto, Technische Universität Darmstadt, Germany.

FW26.

Friday 06 November 2015, 14:00-15:00

REMS lunch

Title to be confirmed

nonstandard room: SS03

Speaker to be confirmed.

FW26.

Tuesday 06 October 2015, 13:00-14:00

REMS lunch

Formally Modelling and Verifying the FreeRTOS Real-time Operating System

Shu Cheng.

FW26.

Friday 18 September 2015, 10:00-11:00

REMS lunch

POSTPONED: Abstract machines and certified compilers

Maciej Piróg.

FW26.

Thursday 17 September 2015, 10:00-11:00

REMS lunch

Hardware Support for Compartmentalisation

Robert Norton.

FW26.

Tuesday 15 September 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Heat kernels in graphs: A journey from random walks to geometry, and back

He Sun, University of Bristol.

FW26.

Friday 12 June 2015, 14:00-15:00

REMS lunch

Verification Research + X = Impact

nonstandard room: FW26

Dr John O’Leary.

FW26.

Wednesday 03 June 2015, 13:00-14:00

REMS lunch

Title to be confirmed

nonstandard room: FW26

Speaker to be confirmed.

FW26.

Wednesday 06 May 2015, 13:00-14:00

REMS lunch

Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

nonstandard room: FW26

David Kaloper Mersinjak.

FW26.

Wednesday 11 March 2015, 13:00-14:00

REMS lunch

Linking and ELF

nonstandard room: FW26

Stephen Kell / Dominic Mulligan.

FW26.

Wednesday 11 February 2015, 13:00-14:00

REMS lunch

Principles of Shape Analysis

nonstandard room: FW26

Mooly Sagiv, Tel Aviv University.

FW26.

Wednesday 10 December 2014, 13:00-14:00

REMS lunch

Micro-Policies: A Framework for Tag-Based Security Monitors

Note in FW26

Benjamin C. Pierce, University of Pennsylvania .

FW26.

Wednesday 10 September 2014, 13:00-14:00

Semantics Lunch (Computer Laboratory)

Yet more animals: dynamic linkers and debuggers

Stephen Kell (University of Cambridge).

FW26.

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

Semantics Lunch (Computer Laboratory)

ABIs, linkers and other animals

Stephen Kell, University of Cambridge.

FW26.

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

Semantics Lunch (Computer Laboratory)

Sigma*: Symbolic Learning of Input-Output Specifications

Matko Botincan.

FW26.

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

Semantics Lunch (Computer Laboratory)

High-Level Separation Logic for Low-Level Code

Nick Benton, MSR Cambridge.

FW26.

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

Semantics Lunch (Computer Laboratory)

Library Abstraction for C/C++ Concurrency

Mark Batty.

FW26.

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

Semantics Lunch (Computer Laboratory)

Full Abstraction for PCF with Names

Steffen Lösch, University of Cambridge.

FW26.

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

Semantics Lunch (Computer Laboratory)

A Model-Learner Pattern for Bayesian Reasoning

Andy Gordon, Microsoft Research and University of Edinburgh.

FW26.

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

Semantics Lunch (Computer Laboratory)

Putting the thrill back into computing at school

Simon Peyton Jones, MSR Cambridge.

FW26.

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

Semantics Lunch (Computer Laboratory)

On distributed probabilistic strategies

Glynn Winskel.

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Semantics Lunch (Computer Laboratory)

Containers, Comonads and Distributive Laws

Danel Ahman.

FW26.

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

Semantics Lunch (Computer Laboratory)

Ribbon Proofs for Separation Logic

John Wickerson.

FW26.

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

Semantics Lunch (Computer Laboratory)

CerCo --- Certified Complexity

NB: Unusual day/time

Dominic Mulligan (Bologna).

FW26.

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

Semantics Lunch (Computer Laboratory)

A Concurrent Logical Relation

NB: changed (again!) unusual day/time

Jacob Thamsborg (ITU).

FW26.

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

Semantics Lunch (Computer Laboratory)

Virtue of certified programming with decision procedures

NB: unusual day/time

Vladimir Komendantsky (St Andrews).

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Semantics Lunch (Computer Laboratory)

Developing verified programs in Dafny

Rustan Leino.

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Alastair Donaldson, Imperial.

FW26.

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

Semantics Lunch (Computer Laboratory)

Resource Sensitive Synchronisation Inference by Abduction

Mike Dodds.

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Kayvan Memarian.

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Dimitrios Vytiniotis.

FW26.

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

Semantics Lunch (Computer Laboratory)

Understanding POWER Multiprocessors

Susmit Sarkar.

FW26.

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

Semantics Lunch (Computer Laboratory)

The Importance of Being Linearizable

Alexey Gotsman, IMDEA Software Institute.

FW26.

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

Semantics Lunch (Computer Laboratory)

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 Lunch (Computer Laboratory)

Semantics of a DNA Strand Displacement Model

Kathy Gray.

FW26.

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

Semantics Lunch (Computer Laboratory)

Ribbon proofs for separation logic

John Wickerson.

FW26.

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

Semantics Lunch (Computer Laboratory)

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

Radu Grigore, QM.

FW26.

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

women@CL Big Sister Little Sister Events

All you ever wanted to know about Part II Projects

Speaker to be confirmed.

FW26.

Thursday 10 June 2010, 13:00-14:00

women@CL Big Sister Little Sister Events

women@CL - Welcome Event

This is also our first lunch series meeting with the new students in the CL.

Speaker to be confirmed.

FW26.

Tuesday 13 October 2009, 13:15-14:15

Semantics Lunch (Computer Laboratory)

Semantics lunch organisational meeting

Speaker to be confirmed.

FW26.

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

Semantics Lunch (Computer Laboratory)

Secure Compilation of a Multi-Tier

Ioannis Baltopoulos.

FW26.

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

Semantics Lunch (Computer Laboratory)

Title to be confirmed

Jon Hayman.

FW26.

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

Semantics Lunch (Computer Laboratory)

Convergence of path-finding

Alex Gurney.

FW26.

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

Semantics Lunch (Computer Laboratory)

Compiling Functional Types to Relational Specifications for Low Level Imperative Code

Nick Benton.

FW26.

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

Semantics Lunch (Computer Laboratory)

Some notes on syntactic logical relations for pure System F

Dimitrios Vytiniotis, MSR.

FW26.

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

Semantics Lunch (Computer Laboratory)

Deny-guarantee reasoning

Mike Dodds (University of Cambridge).

FW26.

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

Semantics Lunch (Computer Laboratory)

Focusing on Pattern Matching

Neelakantan Krishnaswami, CMU.

FW26.

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

Semantics Lunch (Computer Laboratory)

An Invitation to Nominal Domain Theory

Andrew Pitts, Computer Lab.

FW26.

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

Rainbow Interaction Seminars

Ubiquitous Tracking for Distributed Mixed Reality Environments

Room changed

Joseph Newman (University of Cambridge).

FW26.

Thursday 29 May 2008, 14:15-15:15