Stories by matt_d

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

OCOLOS: Online COde Layout OptimizationS

On AlphaTensor’s new matrix multiplication algorithms

Just-in-Time Compilation on ARM–A Closer Look at Call-Site Code Consistency

The Golden Age of Programming Languages Research

GCC Translation Validation

Macro-Embedding Compiler Intermediate Languages in Racket [pdf]

36
37
38
39
40
41
42
43
44
45