Inferring Complexity Bounds for Nondeterministic Recursive Programs
Date:
Discussed the inherent limitations of traditional recurrence-based analyses when applied to nondeterministic recursive programs. I presented my research on a specialized framework for inferring recurrence relations in nondeterministic recursive programs to enable accurate complexity inference.