Stories by matt_d

Broad-Based Side-Channel Defenses for Modern Processor Architectures

Evaluation of the RIKEN Post-K Processor Simulator

Bosque Programming Language

Mitigating JIT Compilation Latency in Virtual Execution Environments

A Specialized B-Tree for Concurrent Datalog Evaluation

Moving to a provenance-aware memory object model for C: proposal for C2x

Iconic consoles of the IBM System/360 mainframes, 55 years old today

Analysis and Compilation of Parallel Programming Languages

AZM – Live ARM Assembler and Syntax Checker

Program Synthesis Meets Machine Learning

LUTNet: Rethinking Inference in FPGA Soft Logic

Programming language design: the balance between generality and specificity

Multi-Level Intermediate Representation Compiler Infrastructure

Open Power/Performance Analysis Tool (OPPAT)

WepSIM: The Web Elemental Processor SIMulator

Efficient Compilation of a Verification-friendly Programming Language

Understanding the glibc Heap Implementation

Fuzzing in the Year 2000

Machine Code Layout Optimizations

Local Variables