![[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)
Theophilus A. Benson, Professor of Electrical and Computer Engineering, Carnegie Mellon University.
Friday 15 November 2024, 14:00-15:00
Contact: No managers listed
0 upcoming talks View 165 archived talks
Computer Laboratory Systems Research Group Seminar
Programmable Kernel Abstractions Wanted for Fun (and Profit)!
Computer Laboratory Systems Research Group Seminar
Tech law vs tech design: why can't we be friends?
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.
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
β οΈ NB: rescheduled from 2017/09/22
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Testing & Verification For Computational Science
Verifying spatial properties of stencil computations
Testing & Verification For Computational Science
Verification of Fortran Codes
Testing & Verification For Computational Science
Pathological behaviours of single progenitor model defy inference techniques
Testing & Verification For Computational Science
Sound and Automated Synthesis of Digital Controllers for Continuous Plants
Testing & Verification For Computational Science
How to do virtually everything with the Met Office Unified Model
Testing & Verification For Computational Science
Fun with Floats: Symbolic execution of floating point programs
Testing & Verification For Computational Science
The long road from ideas to bits and back: a traveller's guide to verifiable computational research
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
Logic and Semantics Seminar (Computer Laboratory)
Making Reactive Programs Function
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Computer Laboratory Programming Research Group Seminar
Program Verification Using Cyclic Proof
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
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
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Computer Laboratory Programming Research Group Seminar
Dependent types, linear types and operating systems
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Computer Laboratory Programming Research Group Seminar
Meeting on Testing and Verification for Computational Science
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
REMS lunch
Hardware Support for Compartmentalisation
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
REMS lunch
Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation
β οΈ nonstandard room: FW26
Semantics Lunch (Computer Laboratory)
Yet more animals: dynamic linkers and debuggers
Semantics Lunch (Computer Laboratory)
ABIs, linkers and other animals
Semantics Lunch (Computer Laboratory)
Sigma*: Symbolic Learning of Input-Output Specifications
Semantics Lunch (Computer Laboratory)
High-Level Separation Logic for Low-Level Code
Semantics Lunch (Computer Laboratory)
Library Abstraction for C/C++ Concurrency
Semantics Lunch (Computer Laboratory)
Full Abstraction for PCF with Names
Semantics Lunch (Computer Laboratory)
A Model-Learner Pattern for Bayesian Reasoning
Semantics Lunch (Computer Laboratory)
Putting the thrill back into computing at school
Semantics Lunch (Computer Laboratory)
On distributed probabilistic strategies
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.
Semantics Lunch (Computer Laboratory)
Containers, Comonads and Distributive Laws
Semantics Lunch (Computer Laboratory)
Ribbon Proofs for Separation Logic
Semantics Lunch (Computer Laboratory)
A Concurrent Logical Relation
β οΈ NB: changed (again!) unusual day/time
Semantics Lunch (Computer Laboratory)
Virtue of certified programming with decision procedures
β οΈ NB: unusual day/time
Semantics Lunch (Computer Laboratory)
From threads to events through classical program transformations
β οΈ NB: Unusual day/time
Semantics Lunch (Computer Laboratory)
Developing verified programs in Dafny
Semantics Lunch (Computer Laboratory)
RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels
Semantics Lunch (Computer Laboratory)
Resource Sensitive Synchronisation Inference by Abduction
Semantics Lunch (Computer Laboratory)
Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
Semantics Lunch (Computer Laboratory)
Stop when you are Almost-Full: Adventures in Constructive Termination
Semantics Lunch (Computer Laboratory)
Understanding POWER Multiprocessors
Semantics Lunch (Computer Laboratory)
The Importance of Being Linearizable
Semantics Lunch (Computer Laboratory)
A Heirarchy of Mendler style Iteration/Recursion Combinators: taming recursive types with negative occurrences
Semantics Lunch (Computer Laboratory)
Semantics of a DNA Strand Displacement Model
Semantics Lunch (Computer Laboratory)
Ribbon proofs for separation logic
Semantics Lunch (Computer Laboratory)
TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs
women@CL Big Sister Little Sister Events
All you ever wanted to know about Part II Projects
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.
Semantics Lunch (Computer Laboratory)
Semantics lunch organisational meeting
Semantics Lunch (Computer Laboratory)
Secure Compilation of a Multi-Tier
Semantics Lunch (Computer Laboratory)
Title to be confirmed
Semantics Lunch (Computer Laboratory)
Convergence of path-finding
Semantics Lunch (Computer Laboratory)
Compiling Functional Types to Relational Specifications for Low Level Imperative Code
Semantics Lunch (Computer Laboratory)
Some notes on syntactic logical relations for pure System F
Semantics Lunch (Computer Laboratory)
Deny-guarantee reasoning
Semantics Lunch (Computer Laboratory)
Focusing on Pattern Matching
Semantics Lunch (Computer Laboratory)
An Invitation to Nominal Domain Theory
Rainbow Interaction Seminars
Ubiquitous Tracking for Distributed Mixed Reality Environments
β οΈ Room changed
Please see above for contact details for this list.