Stories of Jens Palsberg for Fun and Profit
summary
A series of anecdotes centers on concrete results: a 50 sheep story about time reallocation, a provable fix for type-safe method inlining that explains why common inliners break and how to repair them, an automated system (student Ammon) that tracks which optimizations invalidate which analyses and is implemented and working, and a solution for Java cross-machine analysis that ships a proof-carrying analysis so the target can rebuild results without losing precision.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 0:42Shepherd and 30 sheep
- 2:11Type-safe inlining
- 4:23Grad student mentorship
- 6:50Ice fishing arena
- 7:58Simpler Java analysis
- 9:02Teaching wisdom
- 10:55Plagiarism and integrity
