![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Andrew Jeffery, Systems Research Group, Computer Laboratory.
Thursday 24 October 2024, 15:00-16:00
Contact: No managers listed
0 upcoming talks View 61 archived talks
Computer Laboratory Systems Research Group Seminar
Modelling orchestration
Computer Laboratory Systems Research Group Seminar
PaSh: Scaling out Shell Programs, Automatically
Computer Laboratory Systems Research Group Seminar
Towards identifying neglected, obsolete and abandoned IoT and OT devices
⚠️ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Computer Laboratory Systems Research Group Seminar
A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications
Computer Laboratory Systems Research Group Seminar
How debuggable is your (compiler-optimised) program?
Computer Laboratory Systems Research Group Seminar
DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing
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
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
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
⚠️ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
⚠️ Joint Logic and Semantics and Computer Architecture Seminar
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
⚠️ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
⚠️ NOTE UNUSUAL VENUE This is the second seminar this week.
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)
REMS lunch
REMS lunch - sync meeting
REMS lunch
Rozzle: De-Cloaking Internet Malware
REMS lunch
Modelling pcap expressions
REMS lunch
Understanding Memory Model Performance
REMS lunch
ARM semantics update
REMS lunch
TBC: status updates - h/w side
REMS lunch
Lipton's Reduction for TSO
REMS lunch
Updates
REMS lunch
First REMS lunch
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
Computer Laboratory Programming Research Group Seminar
Mezzo
Computer Laboratory Security Seminar
Surveillance in Speculative Fiction: Have Our Artists Been Sufficiently Imaginative?
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
⚠️ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Please see above for contact details for this list.