Stories by matt_d

Testing the Compiler for a New-Born Programming Language

GCC Translation Validation Part 4: Address Calculations

Typed Design Patterns for the Functional Era

RustSmith: Random Differential Compiler Testing for Rust [pdf]

EinNet: Optimizing Tensor Programs with Derivation-Based Transformations [pdf]

Ægraphs: Acyclic E-Graphs for Efficient Optimization in a Production Compiler [video]

Raising the Bar for IBM PC/XT Emulation: MartyPC

Guided Rewriting and Constraint Satisfaction for Parallel GPU Code Generation [pdf]

International Symposia on Computer Architecture ISCA@50 Retrospective: 1996-2020

International Conference on Functional Programming (ICFP) 2023 Accepted Papers

The E-graph extraction problem is NP-complete

New Algorithms in C++23 (Conor Hoekstra – itCppCon23) [video]

Executing Shell Scripts in the Wrong Order, Correctly [pdf]

A Research Retrospective on AMD's Exascale Computing Journey [pdf]

Covering All the Bases: Type-Based Verification of Test Input Generators

Efficient Parallel Functional Programming with Effects

Towards Reliable Memory Management for Python Native Extensions

Is It Time to Give Memory Allocator Its Own Room in the House?

Parallelising Control Flow in Dynamic-Scheduling High-Level Synthesis

BINO: Automatic recognition of inline binary functions from template classes

63 64 65 66 67 68 69 70 71 72