Stories by matt_d

A Mess of Memory System Benchmarking, Simulation and Application Profiling

DRAMScope: Uncovering DRAM Microarchitecture and Characteristics

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection

TTFA #38: David Christiansen – Haskell, Lean, Idris, and the Art of Writing

Generic Linear Multistep Method Evaluator Using Chapel

Introduction to Agda by Jeremy Siek – Interactive Theorem Proving Guest Lecture [video]

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

27
28
29
30
31
32
33
34
35
36