Stories by matt_d

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

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2022

A Survey of JSON-Compatible Binary Serialization Specifications

The Motivation for Chiplets and Their Adoption in AMD Processors – Gabriel Loh

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Profile Inference Revisited

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

58 59 60 61 62 63 64 65 66 67