Stories by matt_d

Legalizations in LLVM Back End

Principles of Dependent Type Theory [pdf]

End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT [pdf]

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

19
20
21
22
23
24
25
26
27
28