Stories by matt_d

Optimization Techniques for GPU Programming

Intrinsically-Typed Definitional Interpreters à La Carte

Is Everything Is a File?

Deconstructing Datalog [pdf]

More Evidence for Problems in VM Warmup

AVX-512 – Permuting Data Within and Between AVX Registers [pdf]

Trip report: Autumn ISO C++ standards meeting (Kona)

Championship Simulator: Architectural Simulation for Education and Competition

AMD’s Zen 4, Part 2: Memory Subsystem and Conclusion

Stop Searching for Shared Libraries

The Sincerest Form of Flattery: Large-Scale Analysis of Code Re-Use (Atari 2600)

GCC Translation Validation 2: Verifying GCC optimizations using an SMT solver

Intramorphic Testing: A New Approach to the Test Oracle Problem

Compilers and IRs: LLVM IR, SPIR-V, and MLIR

Programming Languages Pragmatics #1

Compiling Swift Generics [pdf]

vfixupimmss: An AVX-512-based implementation of the signum function

Performance Preconceptions

The Cost of Safety in Java

Decompiling x86 Deep Neural Network Executables

48
49
50
51
52
53
54
55
56
57