Stories by matt_d

Formal Verification of Just-in-Time Compilation

Stepwise Debugging for Hardware Accelerators [pdf]

Aquascope: Interactive visualizations of Rust at compile-time and run-time

Designing Access Methods: The RUM Conjecture

core-v-wally: Configurable RISC-V Processor

Top byte ignore for fun and memory savings

Typed-Untyped Interactions: A Comparative Analysis

Calendrical C++: std:chrono, History, Mathematics and the Computus

Advent of Computing: Episode 101 – Origins of Ada

A Multi-Threaded Fast Hardware Compiler for HDLs [pdf]

Low-Level Software Security for Compiler Developers

Distinguishing an Interpreter from a Compiler

Revisiting Language Support for Generic Programming

Tiny Pointers

Bounded Flexible Arrays in C

Adding custom instructions in the RISC-V ISA

Oral History of Ken Thompson

AVX512: Generating Constants

Compiling higher-order specifications to SMT solvers

POPL 2023 Proceedings (Principles of Programming Languages)

46
47
48
49
50
51
52
53
54
55