Stories by matt_d

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

Sham: A DSL for Fast DSLs

Model Checking C++ Programs

Classical (Co)Recursion: Programming

The Lean 4 Theorem Prover and Programming Language

Native Implementation of Mutable Value Semantics

Programming Languages + Human-Computer Interaction: SPLASH 2020

Accelerator Integration for Open-Source SoC Design [pdf]

The future of programming with certified program synthesis

55
56
57
58
59
60
61
62
63
64