Stories by matt_d

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

Advent of Computing: Episode 140 – Assembling Code

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code

Bendable non-silicon RISC-V microprocessor

29 30 31 32 33 34 35 36 37 38