Elevator Pitches

on YouTube ↗16m

" summary

Functional languages need cost accounting but each evaluation strategy forces a new model; the work builds a single cost model for Call-by-Push-Value that records time and space usage tied to when and where computations are forced, gives an operational semantics for accounting, and shows how the same model maps to both call-by-name and call-by-value cost behaviours so one implementation avoids redoing proofs and can be extended to other evaluation strategies.

AI-written summary · about

" chapters (10)

1. 0:00Elevator pitches
2. 0:21Cost modeling for functional languages
3. 2:26Implicit complexity analysis
4. 5:03Program verification with unknowns
5. 6:33Scalable verification
6. 7:47Distributed software without cloud
7. 10:20Managing technical debt
8. 11:38Dependency updates and evolution
9. 13:05Inferring grammars from strings
10. 14:27Program synthesis beyond regular