Computer Laboratory Systems Research Group Seminar

A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications

Dr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

FW11.

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

Computer Laboratory Systems Research Group Seminar

How debuggable is your (compiler-optimised) program?

Stephen Kell, King's College London.

FW11.

Thursday 22 February 2024, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing

changgang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

FW11.

Thursday 23 November 2023, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

Ayan Kumar, AMD.

FW11.

Thursday 09 November 2023, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Memo: an incremental computation library that powers Dune

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

Andrey Mokhov, Jane Street.

FW11.

Thursday 29 June 2023, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

András Kovács, Eötvös Loránd University.

FW11.

Monday 22 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

Chung-Kil Hur, Seoul National University.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Disjoint Semirings for Fractional Permissions

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

Aquinas Hobor, National University of Singapore.

FW11.

Thursday 01 June 2017, 13:30-14:15

Logic and Semantics Seminar (Computer Laboratory)

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

Theo Drane, Cadence Design Systems.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

**NOTE NON-STANDARD DATE, TIME, AND ROOM**

Magnus Myreen, Chalmers University, Sweden.

FW11.

Thursday 18 August 2016, 15:00-16:00

REMS lunch

Compiling algebraic effects to Javascript in js_of_ocaml

Armaël Guéneau, ENS Lyon (visiting OCamllabs).

FW11.

Wednesday 17 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.

FW11.

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

REMS lunch

Not-quite-so-broken TLS 1.3 mechanised conformance checking

Hannes Mehnert.

FW11.

Wednesday 10 February 2016, 13:00-14:00

REMS lunch

Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

REMS lunch *with lunch*. Back in Room FW11 (not SS03)

Stephen Kell.

FW11.

Wednesday 21 October 2015, 13:00-14:00

REMS lunch

REMS lunch - sync meeting

Speaker to be confirmed.

FW11.

Wednesday 14 October 2015, 13:00-14:00

REMS lunch

Algebraic Principles for Program Verification and Refinement Tools

Victor Gomes.

FW11.

Thursday 17 September 2015, 14:30-15:30

REMS lunch

Rozzle: De-Cloaking Internet Malware

Ben Livshits.

FW11.

Wednesday 16 September 2015, 13:00-14:00

REMS lunch

Checking very long ARM traces - An informal introduction

Ali Sezgin, University of Cambridge.

FW11.

Wednesday 09 September 2015, 13:00-14:00

REMS lunch

Modelling pcap expressions

Nik Sultana.

FW11.

Wednesday 26 August 2015, 13:00-14:00

REMS lunch

Understanding Memory Model Performance

Carl Ritson (University of Kent).

FW11.

Wednesday 22 July 2015, 13:00-14:00

REMS lunch

Kneecap: model-based generation and analysis of network traffic

Nik Sultana, Computer Lab.

FW11.

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

REMS lunch

The Problem of Programming Language Concurrency Semantics

Jean Pichon-Pharabod.

FW11.

Wednesday 08 April 2015, 13:00-14:00

REMS lunch

Processor Memory System Verification using DOGReL

Daryl Stewart, ARM.

FW11.

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

REMS lunch

The CH2O project: making sense of the C standard

Freek Wiedijk.

FW11.

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

REMS lunch

ARM semantics update

Shaked Flur.

FW11.

Wednesday 28 January 2015, 13:00-14:00

REMS lunch

Finding small counterexamples to memory correctness

Matt Naylor.

FW11.

Wednesday 21 January 2015, 13:00-14:00

REMS lunch

TBC: status updates - h/w side

Speaker to be confirmed.

FW11.

Wednesday 14 January 2015, 13:00-14:00

REMS lunch

Lipton's Reduction for TSO

Ali Sezgin.

FW11.

Wednesday 05 November 2014, 13:00-14:00

REMS lunch

Towards architectural emulators for multiprocessors: PPCMEM2 status

Peter Sewell.

FW11.

Wednesday 22 October 2014, 13:00-14:00

REMS lunch

Software-driven ISA Design: How software requirements drove the evolution of the CHERI instruction set.

David Chisnall.

FW11.

Wednesday 08 October 2014, 13:00-14:00

REMS lunch

Updates

Speaker to be confirmed.

FW11.

Wednesday 01 October 2014, 13:00-14:00

REMS lunch

Hypervisor Verification in the PROSPER and HASPOC projects

Christoph Baumann, KTH.

FW11.

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

REMS lunch

High-assurance network protocols - implementations and tests

Hannes Mehrnert / David Kaloper.

FW11.

Wednesday 13 August 2014, 13:00-14:00

REMS lunch

First REMS lunch

Speaker to be confirmed.

FW11.

Wednesday 06 August 2014, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

Marco Gaboardi (University of Dundee).

FW11.

Monday 05 May 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

Marco Gaboardi (University of Dundee).

FW11.

Monday 05 May 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Mezzo

Jonathan Protzenko (from INRIA).

FW11.

Tuesday 30 April 2013, 14:00-15:00

Computer Laboratory Security Seminar

Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?

Roger Clarke, University of New South Wales.

FW11.

Monday 02 November 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Separation Logic Semantics for Communicating Processes

Peter O'Hearn, Queen Mary, University of London.

FW11.

Friday 09 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Java Memory Model - the Good, the Bad and the Ugly

Jaroslav Sevcik.

FW11.

Friday 13 July 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A unified model of class invariant verification frameworks

Sophia Drossopoulou (Imperial College).

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Proofs of Program Termination in Separation Logic

James Brotherston, Imperial College.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Valiant's theory

Guillaume Malod (University of Mons-Hainaut, Belgium).

FW11.

Friday 08 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Executable Model of the JVM in Coq

Robert Atkey, LFCS, Edinburgh.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Infinite-State System Verification via Tree Automata

Wolfgang Thomas, RWTH Aachen.

FW11.

Friday 11 May 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

When While is a Security Risk

Pasquale Malacaria, Queen Mary, University of London.

FW11.

Friday 23 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Relational parametricity for computational effects.

Rasmus Møgelberg, Edinburgh.

FW11.

Friday 16 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stone duality for bitopological spaces

Achim Jung, University of Birmingham.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Verification Across Intellectual Property Boundaries

Helmut Veith, Technische Universität München.

FW11.

Friday 02 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Logic of Reachable Patterns in Linked Data-Structures

Greta Yorsh (Tel Aviv University).

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Verifying Object-Invariants in Spec#

Wolfram Schulte (Microsoft Research Redmond).

FW11.

Friday 09 February 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

Uday Reddy, University of Birmingham.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

A logical approach to data provenance.

James Cheney, Informatics, University of Edinburgh.

FW11.

Friday 17 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bialgebras and modal logic

Bartek Klin, University of Edinburgh.

FW11.

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

Logic and Semantics Seminar (Computer Laboratory)

Reasoning about Code Pointers (Separation Logic for Higher-Order Store)

Bernhard Reus, University of Sussex.

FW11.

Friday 03 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A structural proof of the soundness of rely/guarantee rules

Cliff Jones, Newcastle University.

FW11.

Friday 27 October 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logical equivalence for subtyping object and recursive types.

Steffen van Bakel.

FW11.

Friday 13 October 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Collection and Contra-collection in Mathematics

Paulo Oliva, Queen Mary, University of London.

FW11.

Friday 06 October 2006, 14:00-15:00