Inferring Complexity Bounds from Recurrence Relations
Date:
Presented a poster session on automated complexity analysis for the ACM Student Research Competition (SRC). The presentation covered the core mechanics of dynamic complexity inference and was selected as a competition finalist.