Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations

Date:

I presented our implementation and evaluation of Dynaplex, a novel dynamic analysis approach to computing runtime complexity analysis of recursive programs.

Link to presentation