Stories by matt_d

Teaching parsing: From Top-down LL (recursive descent) to Top-down LR parsing

Language Design Meets Verifying Compilers (GPCE 2022 Keynote)

The semantics of a simple functional language

Disambiguating Arm, Arm ARM, ARMv9, ARM9, ARM64, AArch64, A64, A78, ...

How Target-Independent Is Your IR?

Modern Macros

ARMore: Pushing Love Back into Binaries [pdf]

D2X: An eXtensible conteXtual Debugger for Modern DSLs

Modularizing ISA Specifications

TLB Hit: Parsers Podcast

Continuation-Passing to Direct Style: Typed and Tight

Clocks in Digital Circuits

Advent of Computing: Episode 102 – Application of Ada

The Iowa Type Theory Commute Podcast: Verified Memory Management

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

41
42
43
44
45
46
47
48
49
50