Stories by matt_d

Xsmith 2.0: a tool for building fuzzers for programming language implementations

pclmulqdq Tricks

Incremental Type Migration Using Type Algebra

Elastic Sheet-Defined Functions: Generalising to Variable-Size Input Arrays

A Learned Performance Model for the Tensor Processing Unit

What to Define When You’re Defining Gradual Type Systems

Testing Compilers More Thoroughly by Being Less Conservative About UB [pdf]

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]

67
68
69
70
71
72
73
74
75
76