Stories by matt_d

Scalable self-improvement for compiler optimization

Revisiting Reliability in Large-Scale Machine Learning Research Clusters

Scheduling Languages: A Past, Present, and Future Taxonomy

Sorting for Rendering

Refinement Type Refutations

Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation

Unboxing Virgil ADTs for Fun and Profit

Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization

Efficient GEMM Kernel Designs with Pipelining

Memory Safety without Lifetime Parameters

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?

3
4
5
6
7
8
9
10
11
12