Stories by matt_d

Formally Verified Cryptographic Web Applications in WebAssembly [pdf]

The Case for a High-Level Kernel-Bypass I/O Abstraction

Decompiling Binaries into LLVM IR Using McSema and Dyninst

SaBRe: Load-time selective binary rewriting

CodeGen: LLVM wrapper for just-in-time code generation and compilation

A First Look at Deep Learning Apps on Smartphones

Towards Robust Performance Measurement

Designing Far Memory Data Structures: Think Outside the Box

Embedding Functions into Reversible Circuits

A Case for the Scope of Reconfigurable Transistors in Computer Architecture

lang_tester: Rust testing framework for compilers and VMs

When to Stop Fuzzing

C++ Coroutines Resources

Faster Search over Sorted Arrays

As We May Program – Peter Norvig

Academics Should Build Their Own Computers to Advance Systems Research

Scalability Analysis of AVX-512 Extensions

Domain-Specific Languages Syllabus

Exploring undefined behavior using constexpr

Deep Learning Hardware: Past, Present, and Future – Yann LeCun, ISSCC 2019

107 108 109 110 111 112 113 114 115 116