PL Seminar-David Kahn
The Quantum Physicist's Method in Automatic Amortized Resource Analysis
Event Details
Date
Monday, December 5, 2022
Time
1-2 p.m.
Location
Description
David Kahn, from CMU, will be presenting.
Abstract:
"This talk presents the quantum physicist's method in Automatic Amortized Resource Analysis (AARA). AARA is a type system that can be used to automatically derive cost bounds for programs. The technique works by using types
to locally define potential functions for the physicist's method of amortized analysis, where potential energy is metaphorically stored in data structures."
Abstract:
"This talk presents the quantum physicist's method in Automatic Amortized Resource Analysis (AARA). AARA is a type system that can be used to automatically derive cost bounds for programs. The technique works by using types
to locally define potential functions for the physicist's method of amortized analysis, where potential energy is metaphorically stored in data structures."
Cost
Free
Contact