Stories by matt_d

LVC – Linear Verified Compiler

Taming the Chaos: Can we build systems that actually work?

Design Continuums and the Path Toward Self-Designing Key-Value Stores That Know…

Do Developers Understand IEEE Floating Point? [pdf]

What Can We Learn from the Intel SPMD Program Compiler?

Simple Data Structures

8bitworkshop IDE: Designing Hardware with Verilog

Searching statically-linked vulnerable library functions in executable code

Removing a recursion in Python, part 2 (implementing continuation passing style)

On the Architecture of a (Verifying) Compiler

Never Again: Spectre-Proofing Chip Designs with End-To-End Formal Methods

9cc: A Small C Compiler

Gradual Typing: A New Perspective [pdf]

Donald Knuth's 24th Annual Christmas Lecture: Dancing Links

Can a compiler guarantee multi-owner memory safety?

Gems of Corrado Böhm

Guaranteed Copy Elision Does Not Elide Copies

Breaking Down Barriers – Part 6: Experimenting with Overlap and Preemption

Register Allocation: More Than Coloring – 2018 LLVM Developers’ Meeting

How Approximate Model Counting Works

96
97
98
99
100
101
102
103
104
105