![[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)
Mathew Treinish (IBM).
Thursday 14 February 2019, 16:00-17:00
FW11, Computer Laboratory, William Gates Building
Contact: No managers listed
0 upcoming talks View 30 archived talks
Computer Laboratory Systems Research Group Seminar
Open Source Quantum Computing
Computer Laboratory Systems Research Group Seminar
Replace your exploit-ridden firmware with a Linux Kernel
Computer Laboratory Security Seminar
Function-Based Access Control
Compliant and Accountable Systems - Seminars
Emotional cripple: Tech-legal considerations of emotion detection
Computer Laboratory Systems Research Group Seminar
Play it on the Edge - the Fun, the Risks, and the Lessons
Computer Laboratory Systems Research Group Seminar
When Streaming and Active Queue Management Collides: Experiments with Chunklets
Computer Laboratory Systems Research Group Seminar
The Rise of Augmented Intelligence in Edge Networks
Computer Laboratory Systems Research Group Seminar
Towards an SDN-enabled Federated Internet
Computer Laboratory Systems Research Group Seminar
The Lift Project: Performance Portable GPU Code generation via Rewrite Rules
Computer Laboratory Systems Research Group Seminar
Unikernels and Beyond: the future of application containers in the cloud
Computer Laboratory Security Seminar
The Dutch electronic patient record system and beyond - towards physician-controlled decentralized medical record exchange.
Computer Laboratory Security Seminar
Single Password Authentication
Computer Laboratory Security Seminar
Cloud-centric assured information sharing
Computer Laboratory Programming Research Group Seminar
Coinductive big-step semantics for concurrency
⚠️ Note unusual time and day
Research Office Linked Events
EPSRC Presentation - Why "Impact" Matters
Program verification reading group.
'Model Checking Partial State Spaces with 3-Valued Temporal Logics', Bruns & Godefroid
Program verification reading group.
'Low Level Liquid Types', Rondon, Kawaguchi and Jhala
Program verification reading group.
'Full Functional Verification of Linked Data Structures', Zee, Kuncak and Rinard
Program verification reading group.
'Mechanized semantics for the Clight subset of the C language', Blazy & Leroy
Program verification reading group.
Calysto: Scalable and Precise Extended Static Checking
Program verification reading group.
'Local Rely-Guarantee Reasoning', Xinyu Feng
Program verification reading group.
Compositional Shape Analysis by means of Bi-Abduction
Program verification reading group.
Alfredo on "Proof carrying code"
Program verification reading group.
Tony on "An Axiomatic Basis for Computer Programming"
Program verification reading group.
'Parametric Shape Analysis via 3-Valued Logic', Sagiv, Reps & Wilhelm
Program verification reading group.
John on "The Software Model Checker BLAST"
Program verification reading group.
A Calculus of Atomic Actions
Program verification reading group.
Dependent Types for Low-Level Programming.
Computer Laboratory Security Seminar
Enhancing Signature-based Collaborative Spam Detection
Computer Laboratory Security Seminar
Security Flaws in Tunnel Mode IPsec
Please see above for contact details for this list.