Stories by matt_d

efency: An efficient electric-fence malloc debugger for the 21st century

Tensor programming for databases, with first class dimensions

A Case for First-Class Environments

Can logic programming be liberated from predicates and backtracking? [pdf]

When is causal broadcast not enough for causal memory?

A Discussion with Sebastian Hack – Compiler/PL Meetup @ UIUC [video]

BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model

Software Complexity, Path Complexity, and Branch Selectivity [video]

Shared Virtual Memory: Its Design and Performance Implications for Applications

Where Does Database Research Go from Here?

Fast and accurate approximation algorithms for computing floating point sqrt

The Conditional Syntax

Patterns of Data Flow in Words

Take-aways from using Deduce in the classroom

Using the C Bounded Model Checker as a TLA+

C2y Standard: 71st WG14 Meeting Report

Scaling Laws of Optimization

Generic Arity: Definition-Checked Variadics in Carbon [video]

Optional Strict Memory Safety for Swift

Introduction to the λ-Calculus

10
11
12
13
14
15
16
17
18
19