Stories by matt_d

Visualizing Control Flow Graphs

Introduction to Neural Network Verification

CMSGen, a Fast Uniform-Like Sampler

International Symposium on Code Generation and Optimization (CGO) 2021 Talks

The Semantics of Shared Memory in Intel CPU/FPGA Systems [pdf]

Formal Verification of High-Level Synthesis [pdf]

Domain-Specific Multi-Level IR Rewriting for GPU

It's Time for Operating Systems to Rediscover Hardware

Well-Typed Programs Can Go Wrong-A Study of Typing-Related Bugs in JVM Compilers [pdf]

Happy Hour with Architects: Systolic Arrays with HT Kung and Cliff Young

Low-Latency Compilation of SQL Queries to Machine Code [pdf]

Reflective Towers of Interpreters

Ten Million Users and Ten Years Later: Python Tutor’s Design Guidelines [pdf]

Compilation as Multi Language Semantics – William J. Bowman

Exploiting Microarchitectural Optimizations from Software [pdf]

Making Software Sandboxing Practical Using Language-Based Techniques

TSO and IBM System/370

75 Years of the Microprocessor

Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models

Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms

61 62 63 64 65 66 67 68 69 70