Stories by matt_d

Adding a new RISC-V extension (to spike)

On the design of a gradual dependently typed language for programming

Flap: A Deterministic Parser with Fused Lexing

Better Together: Unifying Datalog and Equality Saturation

Register Tiling for Unstructured Sparsity in Neural Network Inference [pdf]

Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages [pdf]

Dependently Typing R Vectors, Arrays, and Matrices

BinWrap: Hybrid Protection Against Native Node.js Add-Ons [pdf]

LLVM: Canonicalization and Target-Independence

RISC-V Profiles: Defining sets of extensions for coherent ecosystems

Modular Hardware Design with Timeline Types [pdf]

LLVM: The middle-end optimization pipeline

JIT Compiler Vulnerabilities – Low-Level Security for Compiler Developers

Evolving abstractions within and around compilers to support modern HW and apps

Pentimento: Data Remanence in Cloud FPGAs

Bringing Compiling Databases to RISC Architectures [pdf]

Graphene: An IR for Optimized Tensor Computations on GPUs

A world to win: WebAssembly for the rest of us

Precise Event Sampling on AMD vs. Intel: Quantitative and Qualitative Comparison

Model Checking Futexes

40
41
42
43
44
45
46
47
48
49