Stories by matt_d

The Human Factors of Formal Methods – Shriram Krishnamurthi – Stanford Seminar [video]

MIT Programming Languages Review 2024

Hydride: A Retargetable&Extensible Synthesis-Based Compiler for Modern Hardware

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

The Decompilation Wiki

Design and Compilation of Efficient Effect Handlers in the Koka Language

Polynima: Practical Hybrid Recompilation for Multithreaded Binaries

Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional BP

Taking ASCII Drawings Seriously: How Programmers Diagram Code [pdf]

Time-Proportional Performance Analysis for Out-of-Order Processors

There and Back Again: A Netlist's Tale with Much Egraphin'

FPGA Architecture for Deep Learning: Survey and Future Directions

Combining Power and Arithmetic Optimization via Datapath Rewriting

Advent of Computing: Episode 130 - ALGOL, Part II

Dr Wenowdis: Specializing dynamic language C extensions using type information

The Rust calling convention we deserve

[MLIR] The HEIR Compiler w/ Jeremy Kun [video]

Fast and Simple Sorting Using Partial Information – Robert E. Tarjan [video]

Advent of Computing: Episode 129 – ALGOL, Part I

Asymptotic Speedup via Effect Handlers

13
14
15
16
17
18
19
20
21
22