RT DW A1 Ding, Shuo. T1 Witness Functions in Program Analysis and Complexity Theory