2 papers
cs.PL2026
Potential Functions as Types
Harrison Grodin, Ethan Chu, Runming Li +2
Amortized analysis can be framed from the physicist's view, amenable to manual verification in dependent type theory using potential functions, and the banker's view, amenable to a…
cs.PL2026
Handling Exceptions and Effects with Automatic Resource Analysis
Ethan Chu, Yiyang Guo, Jan Hoffmann
There exist many techniques for automatically deriving parametric resource (or cost) bounds by analyzing the source code of a program. These techniques work effectively for a large…