Stories by matt_d

RE-gem5: Building Sustainable Research Infrastructure

Compiling PL/SQL Away

Steel: A Concurrent Separation Logic Framework to Scale Up Verification in F*

Tea: High-Level Language and Runtime for Automating Statistical Analysis [video]

Galois Inc. Tech Talk: A Verified LL(1) Parser Generator

A Functional Reboot for Deep Learning

Fast and Reliable DWARF Unwinding, and Beyond

NetCAT: Practical Cache Attacks from the Network

SMT-COP: Defeating Side-Channel Attacks on Execution Units in SMT Processors

Four Kinds of Scoping in R

First-class Dynamic Types

Weisfeiler-Lehman Graph Kernel for Binary Function Analysis

Efficient Fail-Fast Dynamic Subtype Checking [pdf]

Intel Processor Trace Part 3: Analyzing Performance Glitches

Compiler Fuzzing: How Much Does It Matter?

Lexical and Dynamic Scope

Project Everest: Advancing the science of program proof

Dahlia: Predictable Accelerator Design with Time-Sensitive Affine Types [pdf]

Modulo scheduling with rational initiation intervals

Persistent Memory Programming on Conventional Hardware

87
88
89
90
91
92
93
94
95
96