Stories by matt_d

Pentimento: Data Remanence in Cloud FPGAs

Bringing Compiling Databases to RISC Architectures [pdf]

Graphene: An IR for Optimized Tensor Computations on GPUs

A world to win: WebAssembly for the rest of us

Precise Event Sampling on AMD vs. Intel: Quantitative and Qualitative Comparison

Model Checking Futexes

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

45
46
47
48
49
50
51
52
53
54