Stories by matt_d

Verifying Vectorized Rust Revisited

Machine Learning in Compiler Optimization

Counterexamples in Type Systems

Atomics in AArch64

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]

45
46
47
48
49
50
51
52
53
54