Stories by matt_d

Program Reconditioning: Avoiding Undefined Behavior When Finding and Reducing [pdf]

Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed LRs

Synthesizing Quantum-Circuit Optimizers

Using COBOL to make a video game

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]

25
26
27
28
29
30
31
32
33
34