Name:
Affiliation:
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	None

Public lists managed by

Talks given by

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

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

• Generalizing Convolutions for Deep Learning
• Disrupting Developer Productivity One Bot At A Time, Margaret-Anne (Peggy) Storey, University of Victoria / Microsoft TSE
• Well-founded functions, induction, and extreme predicates in an SMT-based verifier
• Well-founded functions, induction, and extreme predicates in an SMT-based verifier
• Flexible Paxos
• Unsupervised Cluster Matching for Relational Data
• Developing PDE-compartment hybrid frameworks for modelling cell migration
• Developing PDE-compartment hybrid frameworks for modelling cell migration
• "Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know
• Horn Clauses for Verification and Synthesis
• Reflections on Code-Reuse Attacks and Defenses
• Verifying Constant-Time Implementations
• An introduction to program verification with F*
• Practical Statically-checked Deterministic Parallelism
• Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMA
• Admitting more tenants with tail latency SLOs
• PCC: Re-architecting Congestion Control for Consistent High Performance
• Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
• Large-Scale Camera Pose Voting and the Geometric Burstiness Problem
• Pony: Co-Designing a Type System and a Runtime
• General-purpose representation learning from words to sentences
• Stamping Out Concurrency Bugs
• Parallel Inference and Learning with Deep Structured Distributions
• Freeform interactions and disrupted displays
• Regularized Optimal Transport and Applications
• What I Learned From Inventing Scala Macros?
• What I Learned From Inventing Scala Macros?
• Verasco, a formally verified C static analyzer
• Formalising and Analysing Transactional Consistency Models
• Symbiotic design for machine intelligence systems
• A Decade of Thrill
• Model-Based Hand Tracking with Texture, Shading and Self-occlusions
• A Constructive Approach to Secure-Channel Protocols
• Activity recognition in naturalistic environments