Turner, Bird, Eratosthenes: An Eternal Burning Thread
Jeremy Gibbons
Turner, Bird, Eratosthenes: An Eternal Burning Thread
54:24
Software Engineering at Oxford
Jeremy Gibbons
Software Engineering at Oxford
18:01
Gabriele Keller: Accelerate - High-Performance Computing in Haskell
Jeremy Gibbons
Gabriele Keller: Accelerate - High-Performance Computing in Haskell
50:47
James Demmel: Communication-Avoiding Algorithms for Linear Algebra, Machine Learning and Beyond
Jeremy Gibbons
James Demmel: Communication-Avoiding Algorithms for Linear Algebra, Machine Learning and Beyond
54:59
Mike Giles: Some Reflections on Automated Code Generation
Jeremy Gibbons
Mike Giles: Some Reflections on Automated Code Generation
45:21
Oleg Kiselyov: Even Better Stream Fusion
Jeremy Gibbons
Oleg Kiselyov: Even Better Stream Fusion
50:38
Adam Paszke: Getting to the Point - Safe Parallel Programming for Scientific Applications
Jeremy Gibbons
Adam Paszke: Getting to the Point - Safe Parallel Programming for Scientific Applications
1:03:11
David Ham: Automating Finite Element Simulation by Generating Tensor Computations...
Jeremy Gibbons
David Ham: Automating Finite Element Simulation by Generating Tensor Computations...
36:43
Bodo Scholz: Tensor Comprehensions in SaC - A Minimalistic Notation for High-Performance Computing
Jeremy Gibbons
Bodo Scholz: Tensor Comprehensions in SaC - A Minimalistic Notation for High-Performance Computing
50:08
Alex Aiken: Legion - Programming Distributed Heterogeneous Architectures
Jeremy Gibbons
Alex Aiken: Legion - Programming Distributed Heterogeneous Architectures
59:25
Dimitrios Vytiniotis: Automating Tensor Program Partitioning on Accelerator Systems with PartIR
Jeremy Gibbons
Dimitrios Vytiniotis: Automating Tensor Program Partitioning on Accelerator Systems with PartIR
42:57
Martin Elsman: Size-Dependent Types for Practical Data-Parallel Programming
Jeremy Gibbons
Martin Elsman: Size-Dependent Types for Practical Data-Parallel Programming
53:39
Rohan Yadav: DISTAL, The Distributed Tensor Algebra Compiler
Jeremy Gibbons
Rohan Yadav: DISTAL, The Distributed Tensor Algebra Compiler
48:21
Jonathan Ragan Kelley: Organizing Computation for High-Performance Visual Computing
Jeremy Gibbons
Jonathan Ragan Kelley: Organizing Computation for High-Performance Visual Computing
51:40
Markus Püschel: Program Generation for Small-Scale Linear Algebra
Jeremy Gibbons
Markus Püschel: Program Generation for Small-Scale Linear Algebra
49:07
Conal Elliott: Can Tensor Programming Be Liberated from the Fortran Data Paradigm?
Jeremy Gibbons
Conal Elliott: Can Tensor Programming Be Liberated from the Fortran Data Paradigm?
48:51
Albert Cohen: Herding Tensor Compilers
Jeremy Gibbons
Albert Cohen: Herding Tensor Compilers
56:23
How to Design Co-Programs
Jeremy Gibbons
How to Design Co-Programs
13:56
Algebra of Programming
Jeremy Gibbons
Algebra of Programming
1:31
Algebra of Programming research group at the University of Oxford
Jeremy Gibbons
Algebra of Programming research group at the University of Oxford
1:57