Stories by matt_d

Computer-Aided Analyses in Optimization

How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 OSS

“The Decision-Making Side of Machine Learning” with Michael I. Jordan

To Unify or Not to Unify: A Case Study on Unified Builds (in WebKit)

JavaScript: The First 20 Years (by Allen Wirfs-Brock & Brendan Eich for HOPL 4)

Peeking Into Your Compiler - DevConf.CZ 2020 - Jakub Jelínek & Ulrich Drepper

Bounded Incoherence: A Programming Model for Non-Cache-Coherent Shared Memory [pdf]

Homoiconicity, Lisp, and Program Synthesis

Changes Between C++17 and C++20

Stark – Native Compiler – Prototype 2019

From Folklore to Fact: Comparing Implementations of Stacks and Continuations

C++ Testing and Fuzzing Resources

Preserving (more of) the history of logic programming and Prolog

2019 ACM A.M. Turing Award Laureates: Patrick Hanrahan and Edwin Catmull

Architectural Support for Programming Languages and Operating Systems ASPLOS'20

International Conference on Virtual Execution Environments (VEE) 2020 – Videos

AFLNet: A Greybox Fuzzer for Network Protocols

Modeling the Invariance of Virtual Pointers in LLVM

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs

ASPLOS 2020 Proceedings: Architectural Support for Programming Languages & OSes

64
65
66
67
68
69
70
71
72
73