Jonathan Hayman

Name:	Jonathan Hayman
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Sun Feb 12 20:13:57 +0000 2017

Public lists managed by Jonathan Hayman

Talks given by Jonathan Hayman

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Jonathan Hayman

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Jonathan Hayman actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Heat kernels in graphs: A journey from random walks to geometry, and back
• Consistency of Quine's NF using nominal techniques
• From Communicating Machines to Graphical Choreographies
• Generic Computational Models
• Locally Finite Constraint Satisfaction Problems
• Linear numeral systems
• Game Semantics for Interface Middleweight Java
• New reasoning techniques for monoidal algebras
• Rigid Graphs for Adaptive Networks, with Data
• Transition systems over games
• Senescent Ground Tree Rewrite Systems
• Verification of quantum protocols using Coq
• An Algorithmic Metatheorem for Directed Treewidth
• Micro-Policies: A Framework for Tag-Based Security Monitors
• Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
• Why Isn’t Verification Standard Practice?
• Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
• On-the-fly garbage collection: issues and opportunities
• Representing conditional independence in probabilistic programming
• Automating reasoning tasks for separation logic
• An algebraic theory of type-and-effect systems
• Title to be confirmed
• Relational Programming in miniKanren
• Decision Problems for Linear Recurrence Sequences
• Title to be confirmed
• Language based web security: the operational semantics approach
• Weighted relational models of typed lambda-calculi
• Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
• Title to be confirmed
• **TALK POSTPONED**
• Fibrational Parametricity
• Descriptive set theory and Computation theory
• An overview of nominal algebra, lattice, representation and dualities for computer science foundations
• **Cancelled** Logic of Hybrid Games
• A few lessons that I learnt about interprocedural program analyses
• Multiparty session types and their application in large distributed systems
• Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
• Semigroups with low difficulty word problem
• Semigroups with low difficulty word problem
• Malware Analysis with Tree Automata Inference
• Cyclic Abduction of Inductive Termination Preconditions