Victor Gomes

Name:	Victor Gomes
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	5 Jul 2019, 10:49 a.m.

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