Stories by matt_d

Constrained Horn Clauses for Verification and Synthesis

Parallel Logic Programming: A Sequel

Do we need Undefined Behavior?

What can you do with an ISA specification?

Challenges of Resolving Merge Conflicts: A Mining and Survey Study [pdf]

Types for Tables: A Language Design Benchmark

A Survey of Programming Language Memory Models [pdf]

Undefined Behavior deserves a better reputation

Journal of Functional Programming moving to open access

Solver-Aided Constant-Time Hardware Verification [pdf]

Understanding a Modern Multi-Core Processor – Kayvon Fatahalian, Stanford

IOPS (I/O operations per second) are dumb

Software-Defined Vector Processing on Manycore Fabrics

SiliFuzz: Fuzzing CPUs by Proxy [pdf]

ELF dynamic linking: a brief introduction

Integrating Usability into Programming Language Design – SLE 2021 Keynote Talk

How Statically-Typed Functional Programmers Write Code

Miss-Optimized Memory Systems-Turning Thousands of Outstanding Misses into Reuse

The Return of the Unix Shell

SimEng: A framework for building modern cycle-accurate processor simulators

41
42
43
44
45
46
47
48
49
50