Stories by matt_d

RefinedC: Automating Foundational Verification of C Code with Refined Ownership

Differential Analysis of x86-64 Instruction Decoders [pdf]

Programming Language Design and Implementation (PLDI) 2021: Accepted Papers

Circuit Synthesis for Analog Computing

The Last CPU - HotOS XVIII: Hot Topics in Operating Systems (2021) [pdf]

Commodore’s Assemblers: Part 1: MOS Cross-Assembler

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]

57
58
59
60
61
62
63
64
65
66