~/talk

The Future of Fast Code: Giving Hardware What It Wants

Talkat PLDI 2024 · 2024-06-24..06-28· [software-architecture]
links:none on file
slides:none on file

Hardware offers huge gains but only with heavy specialization: simple Python matrix multiply hits ~10 MFLOPS, JavaScript ~500 MFLOPS, optimized C reaches ~1–40 GFLOPS with loop reordering and cache blocking and a tuned multicore build hits ~200 GFLOPS, a device neural engine reaches 16 TFLOPS on M2 neural engine after quantization, and H100-class GPUs approach petaflops with custom kernels. Compiler-and-DSL work (Halide/Taichi), EXO user-extensible intrinsics, and tools like Pitchfork (offline synthesis for DSP patterns) let teams target tensor cores and matrix-block instrinsics efficiently; automated synthesis plus differentiable program search produces image algorithms an order of magnitude faster or higher quality.

AI-written summary · about

  1. 0:00Introduction
  2. 1:15Hardware performance leap
  3. 8:39Clean code vs hardware
  4. 13:23Programming models lag
  5. 20:08Throughput design principles
  6. 28:35Energy costs and data movement
  7. 36:37Complex instructions and arithmetic
  8. 42:18Safety in high-performance systems
  9. 49:58Correctness and equivalence
  10. 51:13Q&A: Software-hardware co-design & FPGAs
  11. 53:19Q&A: HDL and spatial architectures
  12. 56:11Q&A: VLIW architectures?
  13. 57:59Q&A: Safety vs optimizations
  14. 1:00:07Q&A: Cache coherence overheads
  15. 1:01:54Q&A: Von Neumann bottleneck
  16. 1:03:17Closing remarks
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.