Stories by matt_d

This Goes to Eleven: Decimating Array.Sort with AVX2

Empirical study of Amdahl’s law on multicore processors

Mechanized Proofs for Programming Languages: Past, Present, and Future

Do’s and Don’ts for Performance Teams

Undergrad Compilers from the Hive Mind

“Compiler Fuzzing: How Much Does It Matter?” – Michael Marcozzi, PWL London 2020

Egalito: Layout-Agnostic Binary Recompilation (ASPLOS 2020) [pdf]

The Roots of TDD – From 1957

Precision Opportunities for Demanded Bits in LLVM

LLVM Build Times Using a Program Repository

Performance Analysis and Tuning on Modern CPU – Denis Bakhvalov

Orbital Edge Computing: Nanosatellite Constellations as a New Class of System

Proof Assistants at the Hardware-Software Interface

Lazy Linear Knapsack

RISE: A functional pattern-based data-parallel language in MLIR [pdf]

Rethinking Arithmetic for Deep Neural Networks

Testing Dataflow Analyses for Precision and Soundness

PLanQC 2020 – Programming Languages for Quantum Computing – POPL 2020

Use AVX512 Galois field affine transformation for bit shuffling

C++ coroutines: Initial implementation pushed to master

68
69
70
71
72
73
74
75
76
77