Jean Pichon-Pharabod

Name:	Jean Pichon-Pharabod
Affiliation:
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	9 Mar 2020, 5:44 p.m.

Public lists managed by Jean Pichon-Pharabod

Talks given by Jean Pichon-Pharabod

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.

• iCAP-TSO, a program logic for the TSO relaxed memory model

Talks organised by Jean Pichon-Pharabod

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

• A Syntactic View of Computational Adequacy
• Tests and Proofs in Isabelle
• An Overview of the CakeML verified compiler and some new challenges
• Aspects of my formal development work
• Automating proof by induction in Isabelle/HOL using domain-specific languages
• Formal Foundations for Provably Safe Web Components
• A duality theoretic view on limits of finite structures
• Cerberus C semantics & pointer provenance
• Computation via Substructures
• A Profunctorial Finiteness Semantics
• Quantum things 3 - Resources and Co-resources
• Modular Relaxed Dependencies in Weak Memory Concurrency
• Quantum Things 2 - The quantum monad on relational structures
• Quantum Things 1 - Monads, comonads, and resource-limited computation
• The Quantum Monad on Relational Structures
• Haskelly things
• monads/comonads and their role in describing the use of resources
• Local reasoning for robust observational equivalence