Hello all,
Next week's seminar (12/5) will feature David Kahn, from CMU, who will be presenting on:
"The Quantum Physicist's Method in Automatic Amortized Resource Analysis". It will be in room 3310, at 1:05pm, and on
zoom.
His 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.
However, simple program patterns like
branching and tree traversals can require non-local reasoning to derive
good cost bounds, and this is incompatible with AARA's locally defined potential functions.
The quantum physicist's method is a framework that can construct the
needed non-local potential functions out of local ones, upgrading AARA's use of the
physicist's method. The resulting system has been implemented and can
provide better cost bounds for real code with only moderate overhead."
Hope to see you there!
Lauren Neudorf
Program Manager, MadPL Research Group
University of Wisconsin-Madison
Department of Computer Sciencesâ
(716) 704-4463
(she/her/hers)
|