Stories by matt_d

Addressing Temporal Memory Safety

MLIR: A Compiler Infrastructure for the End of Moore's Law

Executables and Libraries – Linking and Loading – Readings, Software, Talks

CGO (Code Generation and Optimization) 2020 Proceedings

Predictable Accelerator Design with Time-Sensitive Affine Types (PLDI 2020)

Oral History of Bert Sutherland

Generating Fast Sparse Matrix Vector Multiplication from a HL Generic Fn. IR [pdf]

Verification of Machine Learning Programs [pdf]

Stanford Seminar – Centaur Technology's Deep Learning Coprocessor

Does register selection matter to performance on x86 CPUs?

POPL 2020 in Review

C-Reduce – it’s a kind of magic!

C++ and its Standards – from history to C++20 – readings, talks, trip reports

How to Understand and Evaluate Deep Learning Processors (ISSCC 2020) [pdf]

Thought Experiment: An Introductory Compilers Class

Through the Looking Glass-2020 Edition: Trends in Solid-State Circuits (ISSCC)

Efficient Processing of Deep Neural Networks: Advanced Technologies [pdf]

Secure Delivery of Program Properties Through Optimizing Compilation

Engineering Faster Sorters for Small Sets of Items

Even Better C++ Performance and Productivity: Enhancing Clang – JIT Compilation

85 86 87 88 89 90 91 92 93 94