RSS.Social

Max Bernstein's Blog

follow: @[email protected]

Posts

The inliner is yielding benefits for ZJIT

Travel notes: PLDI Boulder

A survey of inlining heuristics

Checking assembly with Z3

Travel notes: RubyKaigi Hakodate

Partial static single information form

Value numbering

Using Perfetto in ZJIT

A fuzzer for the Toy Optimizer

Type-based alias analysis in the Toy Optimizer

A multi-entry CFG design conundrum

The GDB JIT interface

ZJIT is now available in Ruby 4.0

Load and store forwarding in the Toy Optimizer

How to annotate JITed code for perf/samply

A catalog of side effects

Walking around the compiler

Linear scan with lifetime holes

Liveness analysis with Datalog

Linear scan register allocation on SSA

Compiling a Lisp: Closure conversion

How to use snprintf

ClassDistribution from S6 JIT is really neat

Heating water from afar

Travel notes: PLDI Seoul

What I talk about when I talk about IRs

Sorry for marking all the posts as unread