Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Date:
Detailed the implementation and empirical evaluation of Dynaplex, a novel dynamic analysis framework. The talk highlighted how Dynaplex automates the computation of runtime complexity for recursive programs through systematic execution monitoring.