Stories by matt_d

What Is the Minimal Set of Optimizations Needed for Zero-Cost Abstraction?

Inputs from Hell: Learning Input Distributions for Grammar-Based Test Generation

International Conference on Functional Programming (ICFP) 2020 – Research Papers

Clotho: A Racket Library for Parametric Randomness

Small-Step Live Programming by Example [pdf]

DAC 2020: TSMC Keynote – Nothing Is 5nm on a 5nm Chip

SoK: All You Ever Wanted to Know About x86-64 Disassembly but Were Afraid to Ask

Refactoring the FreeBSD Kernel with Checked C [pdf]

Increasing the Impact of Programming Languages Research

A Quick Introduction to Register Allocation

WasmBoxC: Simple, Easy, and Fast VM-Less Sandboxing

Clang-tutor: Example Clang plugins for C and C++

A report on the first virtual PLDI conference

Greg Yeric's outlook on design and manufacturing in 2030 – Arm Research

Stretching the Reach of Implicitly Typed Variables in C#

How Relocations and Thread Local Store are Implemented

A New Doctrine for Hardware Security

Reactive Probabilistic Programming

Using Design Alternatives to Learn About Data Organizations

Don't Panic! Better, Fewer, Syntax Errors for LR Parsers

74 75 76 77 78 79 80 81 82 83