Stories by matt_d

Practising Programming

Secure Compilation – Report from Dagstuhl Seminar [pdf]

Cross-Language Attacks

Deconstructing Programs for Compiler Fuzzing

Simple Simulations for System Builders

A Flexible Type System for Fearless Concurrency

PDL: A High-Level Hardware Design Language for Pipelined Processors

Accelerate – High-Performance Computing in Haskell (Seminar, Gabriele Keller)

Understanding and Exploiting Optimal Function Inlining [pdf]

Finding Missed Optimizations Through the Lens of Dead Code Elimination [pdf]

Verifying Dynamic Trait Objects in Rust [pdf]

Functional Programming on Top of SQL Engines

TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models

The Trusted Computing Base of the CompCert Verified Compiler

DBOS: A DBMS-oriented Operating System [pdf]

Performance Counters I’d Like to See – Part II

Performance Counters I’d Like to See – Part I

The Danger of Atomic Operations

Are You Sure You Want to Use MMAP in Your Database Management System?

Provably space-efficient parallel functional programming

39
40
41
42
43
44
45
46
47
48