Stories by matt_d

“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

Thread Local Storage

Leveraging Compiler IR for Multi- and Cross-Language Verification

Building Program Reasoning Tools Using LLVM and Z3 – POPL 2020 Tutorial

Gathering Intel on Intel AVX-512 Transitions

Project Verona: Research programming language for concurrent ownership

87 88 89 90 91 92 93 94 95 96