Stories by matt_d

Formally Verified Speculation and Deoptimization in a JIT Compiler (POPL 2021)

Mostly harmless: An account of pseudo-normal floating point numbers

Architectures and Security of FPGA-Accelerated Cloud Computing

The Genuine Sieve of Eratosthenes

Calculating Dependently-Typed Compilers [pdf]

Fuzzing High-Level Synthesis Tools

Unintended Instructions on x86

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Procedural Extensions of SQL: Understanding their usage in the wild [pdf]

Deductive Verification via the Debug Adapter Protocol [pdf]

Optimizing the Clang compiler’s line-to-offset mapping

The Once and Future Shell [pdf]

I See Dead µops: Leaking Secrets via Intel/AMD Micro-Op Caches [pdf]

History of Programming Languages: Lectures

Reproducing Spectre Attack with gem5

Alive2: Bounded Translation Validation for LLVM [pdf]

Effective Simulation and Debugging for a High-Level Hardware Language

Fish in a Barrel: an insider’s retrospective of the SOSP’09 multikernel paper

The Golden Age of Compiler Design in an Era of HW/SW Co-Design – Chris Lattner

Architectural Support for Programming Languages and Operating Systems Awards

79 80 81 82 83 84 85 86 87 88