matt_d 的提交内容

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

Total Denotational Semantics

Research for Practice: Deterministic Record-and-Replay

Lightweight region memory management in a two-stage language

When is causal broadcast not enough for causal memory?

FP8 data type – all values in a table

QED: A Powerful Query Equivalence Decider for SQL [pdf]

Set Operations on SAT Problems

An Imperative Language for Verified Exact Real-Number Computation

OLAP on Modern Chiplet-Based Processors [pdf]

Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index [pdf]