Runming Li
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Algorithms×1
Frequent co-authors
Research Timeline
2026
Potential Functions as Types
This paper presents Calf, a dependent type theory for cost verification, which synthesizes the physicist's and banker's views on amortized analysis using potential functions and credit annotations.
Highlighted terms show continued research focus across papers
Papers
cs.PLcs.DSTheoreticalRecentJul 9, 2026
Potential Functions as Types
Harrison Grodin, Ethan Chu, Runming Li, Jan Hoffmann +1 more
This paper presents Calf, a dependent type theory for cost verification, which synthesizes the physicist's and banker's views on amortized analysis using potential functions and credit annotations.
View →