Programming Languages

We have occasional seminars on topics in Programming Languages. All are welcome.

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

• 1Dec2023
  Involutive Markov categories and the quantum de Finetti theorem

  14:00 Friday 1st December ( week 8, Michaelmas Term 2023 ) in Lecture Theatre B

  Antonio Lorenzin ( University of Innsbruck (Austria) )
• 24Nov2023
  Compositional Bayesian Inference and Stochastic Combs

  14:00 Friday 24th November ( week 7, Michaelmas Term 2023 ) in Lecture Theatre B

  Dylan Braithwaite ( University of Strathclyde, Glasgow (Scotland) )
• 17Nov2023
  Deterministic Semantics for Probabilistic Programs

  14:00 Friday 17th November ( week 6, Michaelmas Term 2023 ) in Lecture Theatre B

  Fredrik Dahlqvist ( University College London, UK )
• 10Nov2023
  Special Delivery: Programming with Mailbox Types

  14:00 Friday 10th November ( week 5, Michaelmas Term 2023 ) in Lecture Theatre B

  Simon Fowler ( University of Glasgow (Scotland) )
• 3Nov2023
  Sound and Complete Projection for Global Types

  14:00 Friday 3rd November ( week 4, Michaelmas Term 2023 ) in Lecture Theatre B

  Dawit Tirore ( University of Copenhagen (Denmark) )
• 13Oct2023
  The Dafny Programming Language and Static Verifier

  14:00 Friday 13th October ( week 1, Michaelmas Term 2023 ) in Lecture Theatre B

  Stefan Zetzsche ( Amazon Web Services, London )
• 24Feb2023
  Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?

  14:00 Friday 24th February ( week 6, Hilary Term 2023 ) in LTB

  Tom Schrijvers ( KU Leuven )
• 11Mar2022
  Accelerate: High-Performance Computing in Haskell

  16:00 Friday 11th March ( week 8, Hilary Term 2022 ) in Zoom

  Gabriele Keller ( Utrecht University )
• 4Mar2022
  Some Reflections on Automated Code Generation

  16:00 Friday 4th March ( week 7, Hilary Term 2022 ) in Zoom

  Mike Giles ( Oxford )
• 25Feb2022
  Communication-Avoiding Algorithms for Linear Algebra, Machine Learning and Beyond

  16:00 Friday 25th February ( week 6, Hilary Term 2022 ) in Zoom

  James Demmel ( Berkeley )
• 18Feb2022
  Even Better Stream Fusion

  14:00 Friday 18th February ( week 5, Hilary Term 2022 ) in Zoom

  Oleg Kiselyov ( Tohoku University )
• 11Feb2022
  Getting to the Point with Dex: Safe Parallel Programming for Scientific Applications

  16:00 Friday 11th February ( week 4, Hilary Term 2022 ) in Zoom

  Adam Paszke ( Google )
• 4Feb2022
  Tensor Comprehensions in SaC: A Minimalistic Notation for High-Performance Computing

  16:00 Friday 4th February ( week 3, Hilary Term 2022 ) in Zoom

  Sven-Bodo Scholz ( Radboud University Nijmegen )
• 28Jan2022
  Automating Finite Element Simulation by Generating Tensor Computations from Vector Calculus

  16:00 Friday 28th January ( week 2, Hilary Term 2022 ) in Zoom

  David Ham ( Imperial )
• 21Jan2022
  Legion: Programming Distributed Heterogeneous Architectures

  16:00 Friday 21st January ( week 1, Hilary Term 2022 ) in Zoom

  Alex Aiken ( Stanford University )
• 3Dec2021
  Automating Tensor Program Partitioning on Accelerator Systems with PartIR

  16:00 Friday 3rd December ( week 8, Michaelmas Term 2021 ) in Zoom

  Dimitrios Vytiniotis ( DeepMind )
• 26Nov2021
  Size-Dependent Types for Practical Data-Parallel Programming

  16:00 Friday 26th November ( week 7, Michaelmas Term 2021 ) in Zoom

  Martin Elsman ( University of Copenhagen )
• 19Nov2021
  DISTAL: The Distributed Tensor Algebra Compiler

  16:00 Friday 19th November ( week 6, Michaelmas Term 2021 ) in Zoom

  Rohan Yadav ( Stanford University )
• 5Nov2021
  Program Generation for Small-Scale Linear Algebra

  16:00 Friday 5th November ( week 4, Michaelmas Term 2021 ) in Zoom

  Markus Püschel ( ETH Zürich )
• 29Oct2021
  Can Tensor Programming Be Liberated from the Fortran Data Paradigm?

  16:00 Friday 29th October ( week 3, Michaelmas Term 2021 ) in Zoom

  Conal Elliott
• 22Oct2021
  Organizing Computation for High-Performance Visual Computing

  16:00 Friday 22nd October ( week 2, Michaelmas Term 2021 ) in Zoom

  Jonathan Ragan-Kelley ( MIT )
• 15Oct2021
  Herding Tensor Compilers

  16:00 Friday 15th October ( week 1, Michaelmas Term 2021 ) in Zoom

  Albert Cohen ( Google )
• 12Mar2020
  Push- versus Pull-Based Loop Fusion in Query Engines

  12:00 Thursday 12th March ( Hilary Term 2020 ) in LTB

  Amir Shaikhha ( University of Oxford )
• 4Dec2019
  MLIR: An Optimizing Compiler Framework for the End of Moore's Law

  11:00 Wednesday 4th December ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Dr Albert Cohen ( Google )
• 27Nov2019
  Creating an Agile Hardware Design Flow

  11:00 Wednesday 27th November ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Professor Priyanka Raina ( Stanford University )
• 20Nov2019
  The Graphcore “Colossus” Intelligence Processor

  11:00 Wednesday 20th November ( week 6, Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Simon Knowles ( Graphcore )
• 13Nov2019
  Parallelising Compiler for Green Multicore Computing

  11:00 Wednesday 13th November ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Professor Hironori Kasahara ( Waseda University )
• 6Nov2019
  Firedrake: the architecture of a compiler that automates the finite element method

  11:00 Wednesday 6th November ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Professor Paul Kelly ( Imperial College, London )
• 30Oct2019
  AI Computing Architectures and the Impact on Memory and Storage

  11:00 Wednesday 30th October ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Stephen S. Pawlowski ( Micron Technology )
• 23Oct2019
  Posit Arithmetic: Language Implications of a New Real Number Format

  11:00 Wednesday 23rd October ( Michaelmas Term 2019 ) in Lecture Theatre B, Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD

  Professor John Gustafson ( National University of Singapore )
• 16Oct2019
  Programming Languages and New Hardware

  11:00 Wednesday 16th October ( Michaelmas Term 2019 ) in Lecture Theatre B, Wolfson Building, Parks Road, Oxford OX1 3QD

  Peter Braam
• 5Jun2019
  Reasoning about effectful programs and evaluation order

  14:00 Wednesday 5th June ( Trinity Term 2019 ) in Lecture Theatre B

  Dylan McDermott ( University of Cambridge )
• 22May2019
  Model-checking contextual equivalence of higher-order programs with references

  11:00 Wednesday 22nd May ( week 4, Trinity Term 2019 ) in 051

  Guilhem Jaber ( University of Nantes )
• 20Mar2019
  A Sound and Complete Logic for Algebraic Effects

  14:00 Wednesday 20th March ( Hilary Term 2019 ) in LTB

  Cristina Matache ( University of Oxford )
• 26Feb2019
  Two Sides of the Same Coin: Session Types and Game Semantics

  11:00 Tuesday 26th February ( week 7, Hilary Term 2019 ) in Tony Hoare Room (RHB)

  Simon Castellan and Nobuko Yoshida ( Imperial College London )
• 3Dec2018
  Event structures and weak memory models

  14:00 Monday 3rd December ( week Week 9, Michaelmas Term 2018 ) in 051

  Simon Castellan ( Imperial College )
• 6Nov2018
  Scalable Intelligent Systems by 2025

  14:00 Tuesday 6th November ( week 5, Michaelmas Term 2018 ) in Lecture Theatre B, Wolfson Building

  Carl Hewitt
• 11Sep2018
  Making parallel-or deterministic again

  11:00 Tuesday 11th September 2018 in 051

  Pierre Clairambault ( CNRS & ENS Lyon )
• 15Jun2018
  Quantitative Equational Reasoning

  14:00 Friday 15th June ( Trinity Term 2018 ) in LTA

  Prakash Panangaden ( McGill University )
• 12Jun2018
  Compositional Compiler Verification for a Multi-Language World

  14:00 Tuesday 12th June ( Trinity Term 2018 ) in Lecture Theatre B, Wolfson Building, Department of Computer Science

  Amal Ahmed ( Northeastern Univ. )
• 9Apr2018
  Automatically Generating Search Heuristics for Concolic Testing

  12:00 Monday 9th April ( week -1, Trinity Term 2018 ) in Room 051, Wolfson Building, Dept Computer Science

  Sooyoung Cha ( Korea University )
• 16Jan2017
  TBA

  12:00 Monday 16th January ( week 1, Hilary Term 2017 ) <meta itemprop="location" content="TBA"/>

  Jan Hoffmann ( Carnegie Mellon University )
• 10Mar2016
  Environmental Bisimulations for Probabilistic Higher-Order Languages

  11:00 Thursday 10th March ( week 8, Hilary Term 2016 ) in Room 277, Wolfson Building, Parks Road, Oxford

  Valeria Vignudelli ( University of Bologna )
• 1Dec2014
  A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

  14:00 Monday 1st December 2014 in Lecture Theatre B

  Eelco Visser ( TU Delft )
• 7Jan2013
  Introducing PRAXIS: a statically-typed logic-programming language for modelling social practices

  15:00 Monday 7th January ( Hilary Term 2013 ) in Lecture Theatre B

  Richard Evans
• 26Nov2012
  Approximate Program Synthesis using Grenade

  15:00 26th November ( Michaelmas Term 2012 ) in Room 479

  Eddy Westbrook
• 21Jun2012
  Propositions as Sessions

  16:30 Thursday 21st June ( Trinity Term 2012 ) in Lecture Theatre A

  Philip Wadler
• 15May2012
  Program obfuscation by distorted interpreter specialization

  14:00 Tuesday 15th May ( week 4, Trinity Term 2012 ) in Lecture Theatre A

  Neil D. Jones ( University of Copenhagen )
• 1May2012
  Abstractions from Tests

  14:00 Tuesday 1st May ( week 2, Trinity Term 2012 ) in Lecture Theatre A

  Hongseok Yang ( University of Oxford )
• 15Jul2011
  Composing the uncomposable: some techniques and ideas for radically improved composability in software

  10:00 Friday 15th July ( week 11, Trinity Term 2011 ) in Room 380

  Stephen Kell
• 8Jul2011
  Symmetry-Aware Predicate Abstraction Shared-Variable Concurrent Programs

  10:00 Friday 8th July ( week 10, Trinity Term 2011 ) in Room 380

  Alastair Donaldson ( Department of Computer Science )
• 1Jul2011
  Automated parallelisation of scientific applications for graphics cards

  10:00 Friday 1st July ( week 9, Trinity Term 2011 ) in Room 380

  Luke Cartey ( Department of Computer Science, Oxford University )
• 24Jun2011
  Automatic Verification of Overlaid Data Structures

  10:00 Friday 24th June ( week 8, Trinity Term 2011 ) in Room 380

  Hongseok Yang ( Department of Computer Science, Oxford University )
• 17Jun2011
  Leverhulme Lecture #2 - Language Extensions for MATLAB

  10:00 Friday 17th June ( week 7, Trinity Term 2011 ) in room 380

  Laurie Hendren ( McGill University )
• 10Jun2011
  Leverhulme Lecture #1 - Compiler Tools for MATLAB

  10:00 Friday 10th June ( week 6, Trinity Term 2011 ) in Room 380

  Laurie Hendren ( McGill University )
• 27May2011
  Do Coding Standards improve Software Quality?

  10:00 Friday 27th May ( week 4, Trinity Term 2011 ) in Room 380

  Oege de Moor ( Oxford University Computing Laboratory )
• 20May2011
  Tool-supported Refactoring for JavaScript

  10:00 Friday 20th May ( week 3, Trinity Term 2011 ) in Room 380

  Max Schaefer ( Oxford University Computing Laboratory )