Stories by matt_d

Scaling symbolic evaluation for automated verification of systems code w/ Serval

Connected Components, Concurrently

Miniblog: How conditional branches work in Vectorized Emulation

Discovering Hard Disk Physical Geometry through Microbenchmarking

Experimenting with Languages in Redex

GCC Under the Hood

Performance Analysis of Multithreaded Applications

Get rid of inline assembly through verification-oriented lifting

Leveraging Rust Types for Modular Specification and Verification [pdf]

DSLs to Reconfigurable Hardware: Design of the Spatial Language and Compiler

Loop invariants – where should we put them?

Essential GNU Binutils Tools

ARCHITECT: Arbitrary-precision Constant-hardware Iterative Compute

MLPerf Training Benchmark

Machine Learning and Approximate Computing

Automatic Throughput and Critical Path Analysis of x86 and ARM Assembly Kernels

Shooter game in silicon: inside the AY-3-8605 chip

TSC Frequency for All: Better Profiling and Benchmarking

Optimization of Swift Protocols [pdf]

The Future of Mathematics?

84
85
86
87
88
89
90
91
92
93