Stories by matt_d

GCC Under the Hood

Performance Analysis of Multithreaded Applications

Get rid of inline assembly through verification-oriented lifting

Leveraging Rust Types for Modular Specification and Verification [pdf]

DSLs to Reconfigurable Hardware: Design of the Spatial Language and Compiler

Loop invariants – where should we put them?

Essential GNU Binutils Tools

ARCHITECT: Arbitrary-precision Constant-hardware Iterative Compute

MLPerf Training Benchmark

Machine Learning and Approximate Computing

Automatic Throughput and Critical Path Analysis of x86 and ARM Assembly Kernels

Shooter game in silicon: inside the AY-3-8605 chip

TSC Frequency for All: Better Profiling and Benchmarking

Optimization of Swift Protocols [pdf]

The Future of Mathematics?

Taichi: A Language for High-Performance Computation on Spatially Sparse Data [pdf]

An Introduction to CHERI (Capability Hardware Enhanced RISC Instructions)

Propeller: Profile Guided Optimizing Large Scale LLVM-Based Relinker

A Couple of (Probabilistic) Worst-Case Bounds for Robin Hood Linear Probing

A computer built from NOR gates: inside the Apollo Guidance Computer

76
77
78
79
80
81
82
83
84
85