Jeremy Gibbons

When is a Function a Fold, or an Unfold

Jeremy Gibbons

Turner, Bird, Eratosthenes An Eternal Burning Thread

Jeremy Gibbons

Software Engineering at Oxford

Jeremy Gibbons

Gabriele Keller Accelerate - High-Performance Computing in Haskell

Jeremy Gibbons

James Demmel Communication-Avoiding Algorithms for Linear Algebra, Machine Learning and Beyond

Jeremy Gibbons

Mike Giles Some Reflections on Automated Code Generation

Jeremy Gibbons

Oleg Kiselyov Even Better Stream Fusion

Jeremy Gibbons

Adam Paszke Getting to the Point - Safe Parallel Programming for Scientific Applications

Jeremy Gibbons

David Ham Automating Finite Element Simulation by Generating Tensor Computations...

Jeremy Gibbons

Bodo Scholz Tensor Comprehensions in SaC - A Minimalistic Notation for High-Performance Computing

Jeremy Gibbons

Alex Aiken Legion - Programming Distributed Heterogeneous Architectures

Jeremy Gibbons

Dimitrios Vytiniotis Automating Tensor Program Partitioning on Accelerator Systems with PartIR

Jeremy Gibbons

Martin Elsman Size-Dependent Types for Practical Data-Parallel Programming

Jeremy Gibbons

Rohan Yadav DISTAL, The Distributed Tensor Algebra Compiler

Jeremy Gibbons

Jonathan Ragan Kelley Organizing Computation for High-Performance Visual Computing

Jeremy Gibbons

Markus Püschel Program Generation for Small-Scale Linear Algebra

Jeremy Gibbons

Conal Elliott Can Tensor Programming Be Liberated from the Fortran Data Paradigm

Jeremy Gibbons

Albert Cohen Herding Tensor Compilers

Jeremy Gibbons

How to Design Co-Programs

Jeremy Gibbons

Algebra of Programming

Jeremy Gibbons

Algebra of Programming research group at the University of Oxford

Jeremy Gibbons