Stories by matt_d

ReversiSpec: Reversible Coherence Protocol for Defending Transient Attacks

Lightweight Preemptible Functions [pdf]

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler [pdf]

Logic and Computation Intertwined

Learning the Language of Failure – Andreas Zeller, CASA Distinguished Lecture

Extensible Extraction of Efficient Imperative Programs

Duplo: A Framework for OCaml Post-Link Optimisation [pdf]

The x86 Advanced Matrix Extension (AMX) Brings Matrix Operations

What are we thinking when we present a type theory? – Peter LeFanu Lumsdaine

An Introduction to Efficient and Safe Implementations of Dynamic Languages

Query-Based Compiler Architectures

HOPL (History of Programming Languages): Not an Ordinary Conference

ISC2020 International Machine-Learning Hardware Workshop

Arm and AArch64 Assembly Resources

A robust outlier detector for software performance distributions

International Conference on Functional Programming (ICFP) 2020 – Accepted Papers

A Survey of Computer Architecture Simulation Techniques and Tools

A Survey of Cache Simulators

Computing Server Power Modeling in a Data Center: Survey, Taxonomy, Perf. Eval.

Can’t Invert the CDF? Triangle-Cut Parameterization of the Region Under Curve

76 77 78 79 80 81 82 83 84 85