The Virgil compiler interprets its SSA representation directly, as compile-time initialization allows the full language--a simplification after two generations of customized interpreters. It does basically what Mike wrote, except gotos assign the values of phis instead of looking them up.

I would suspect not. My guess would be that an explicit SSA form makes more sense for a more classic compiler. Or at least one that reconstitutes control flow into the compilation units.

Really? I'd know lots of cool things to brag about, in no particular order: Storage Strategies, literally on all devices people carry around with them. The language composition work and Eco, very fun stuff. The warmup work, huge impact. The Rust GC, also very fun stuff.

Is this the outline you're going to use?

Asking since I am apparently expected to prepare one, too

Thanks for organizing, was fun!

For those of you in Singapore, Jake is at SPLASH and presenting the paper on Saturday. He's friendly, and on the job market -- please find him and say hello!