Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. - Eli Pregerson; Shaheen Cullen-Baratloo; David Chen; Duy Lam; Max Szostak; Lucas Bang (FormaliSE, 2023)

Path Complexity Analysis for Interprocedural Code. - Mira Bhagirathi Kaniyur; Ana Cavalcante-Studart; Yihan Yang; Sangeon Park; David Chen; Duy Lam; Lucas Bang (ICSE Companion, 2024)

Interprocedural Path Complexity Analysis. - Mira Bhagirathi Kaniyur; Ana Cavalcante-Studart; Yihan Yang; Sangeon Park; David Chen; Duy Lam; Lucas Bang (ISSTA, 2024)