Stories by matt_d

Characterizing Latency Overheads in the Deployment of FPGA Accelerators

Swift’s Chris Lattner on the Possibility of Machine Learning-Enabled Compilers

PLTalk: Edwin Brady on Idris

Happy Hour with Architects Episode 5: The Role of FPGAs [video]

Formulog: ML + Datalog + SMT

What Is the Minimal Set of Optimizations Needed for Zero-Cost Abstraction?

Inputs from Hell: Learning Input Distributions for Grammar-Based Test Generation

International Conference on Functional Programming (ICFP) 2020 – Research Papers

Clotho: A Racket Library for Parametric Randomness

Small-Step Live Programming by Example [pdf]

DAC 2020: TSMC Keynote – Nothing Is 5nm on a 5nm Chip

SoK: All You Ever Wanted to Know About x86-64 Disassembly but Were Afraid to Ask

Refactoring the FreeBSD Kernel with Checked C [pdf]

Increasing the Impact of Programming Languages Research

A Quick Introduction to Register Allocation

WasmBoxC: Simple, Easy, and Fast VM-Less Sandboxing

Clang-tutor: Example Clang plugins for C and C++

A report on the first virtual PLDI conference

Greg Yeric's outlook on design and manufacturing in 2030 – Arm Research

Stretching the Reach of Implicitly Typed Variables in C#

55
56
57
58
59
60
61
62
63
64