Victor Gomes

Name:	Victor Gomes
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Jul 05 10:49:49 +0000 2019

Public lists managed by Victor Gomes

Talks given by Victor Gomes

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 Victor Gomes

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

• Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
• Retrofitting Purity with Comonads and Capabilities
• Hardness magnification near state-of-the-art lower bounds
• An Overview of the Flix Programming Language
• Resource-oriented programming with graded modal types
• Uncertainty is hope: towards a unified foundation of gradual typing
• Push versus Pull-Based Loop Fusion in Query Engines
• Stacked Borrows: An Aliasing Model for Rust
• Excel Formulae: a PL perspective
• Linear Capabilities: an overview
• Linear capabilities for fully abstract compilation of separation-logic-verified code
• StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
• A domain theory for statistical probabilistic programming
• Project Everest: towards a verified TLS ecosystem
• Verifying Concurrent Search Structure Templates
• PP is not a monad
• Lower bound for arithmetic circuits via Hankel matrix
• Quasi-polynomial solutions for parity games and other problems
• Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
• Graphical Conjunctive Queries
• Graphical Conjunctive Queries
• Automated Full-Stack Memory Model Verification with the Check suite
• Polynomial models of type theory
• Types and Safety of Lock-free Data Structures
• The direct approach to evaluation order
• Compositional Compiler Verification for a Multi-Language World
• From global to local state in game semantics via the sequoid
• Quantitative equational reasoning
• Scheduling Tasks for Reconfigurable Architecture
• Lecture 3: Logic for Program Development, Verification and Implementation.
• Meta-interpretive learning logic programs
• One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
• Title to be confirmed
• Title to be confirmed
• Meta-interpretive learning logic programs
• Left Exact Modalities in Type Theory
• Modular Algorithm Analysis
• Lightweight verification of separate compilation
• Lecture 2: Algebraic Theory of Program Transformation
• Atomicity Abstractions in Relaxed Memory Architectures
• Logic Programming, Semantics, and a Bit of Cleverness
• A Geometric Theory of Program Testing.
• The Linux Kernel Concurrency Model
• Effective Stateless Model Checking for C/C++ Concurrency
• Reasoning beyond data-race freedom