Programming Languages

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

Upcoming seminarsPrevious seminars

 Subscribe to this seminar series calendar.

There are no upcoming seminars in this series at this time. Please check again soon.

• 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 )