Stories by matt_d

Through the Looking Glass-2020 Edition: Trends in Solid-State Circuits (ISSCC)

Efficient Processing of Deep Neural Networks: Advanced Technologies [pdf]

Secure Delivery of Program Properties Through Optimizing Compilation

Engineering Faster Sorters for Small Sets of Items

Even Better C++ Performance and Productivity: Enhancing Clang – JIT Compilation

Designing a RISC-V CPU in VHDL, Part 19: Adding Trace Dump Functionality

Going beyond regular expressions with structural code search

KUtrace 2020 – Dick Sites – Stanford EE380 Computer Systems Colloquium

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2020 Videos

Executable Formal Semantics for the POSIX Shell

Trends in Functional Programming (TFP) 2020 Proceedings

A Language for Describing Optimization Strategies

Garbage Collection at Food Courts

Vectorization-Aware Loop Unrolling with Seed Forwarding [pdf]

Jim Keller: Moore’s Law, Microprocessors, Abstractions, and First Principles

Faster Update Time for Turnstile Streaming Algorithms

Debugging with LLVM: A Quick Introduction to LLDB and LLVM Sanitizers

Automatic Generation of Specialized Direct Convolutions for Mobile GPUs [pdf]

MLIR Linalg Dialect Rationale: The Case for Compiler-Friendly Custom Operations

A Thread Synchronization Model for the PREEMPT RT Linux Kernel

67
68
69
70
71
72
73
74
75
76