Optimizing With Static Hermes

on YouTube ↗26m

" summary

A walkthrough of Static Hermes shows a concrete pipeline: a TypeScript ray tracer from Microsoft runs under Hermes interpreted at ~1300 ms per frame, with soundly declared types and ahead‑of‑time compilation it drops to ~120 ms — a reported 10x speedup. Key tools and passes are the type checker enforcing sound types, optimizer passes like inlining and object elision, and native binary output; the demo and benchmarks demonstrate the optimizations actually work.

AI-written summary · about

" chapters (12)

1. 0:00Introduction
2. 1:08Live demo of Static Hermes performance
3. 3:58What Static Hermes is
4. 7:50Soundness in Static Hermes type system
5. 9:15Performance gains from typed properties
6. 11:17Optimizing array accesses
7. 13:25Compiler optimizer and inlining
8. 17:19When inlining is possible
9. 19:46Types enabling method inlining
10. 21:08Object elision optimization
11. 24:23Recap of optimizations
12. 25:03Summary

" related talks

• 31mBuilding optimising compiler for DartVyacheslav Egorov · Strange Loop 2013
• 23mFast by default: algorithmic performance optimization in practiceVladimir Agafonkin · dotJS 2019
• 36mOf JavaScript Ahead-Of-Time Compilation PerformanceManuel Serrano · Strange Loop 2022
• 36mFast and DynamicMaxime Chevalier Boisvert · Strange Loop 2013
• 28mTypescript Performance: Going Beyond The SurfaceAleksandra Sikora · BeJS Conf 2023
• 34mBuild-time Optimizations in JavaScript ApplicationsEvan You · ReactiveConf 2017
• 46mTurbocharging Client-Side Processing: Leveraging asm.jsVladimir Vukicevic · Spotlight: Advanced JS 2013
• 14mPragmatic performance patternsDavid Björklund · Nordic.js 2016