Stories by matt_d

Agda Core: The Dream and the Reality

Modern Deduction Post 1: Datalog, Chain-Forward Computation, Relational Algebra

Mirage: A Multi-Level Superoptimizer for Tensor Programs [pdf]

Learning Performance-Improving Code Edits

Exploring 50 user interfaces for AI code suggestions

Assemblage: Automatic Binary Dataset Construction for Machine Learning

HiFi-DRAM: Enabling High-Fidelity DRAM Research by Uncovering Sense Amplifiers

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

38 39 40 41 42 43 44 45 46 47