Computing partially path-sensitive MFP solutions in data flow analyses. - Komal Pathade; Uday P. Khedker (CC, 2018)

Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. - Komal Pathade; Uday P. Khedker (CC, 2019)

Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code. - Komal Pathade (CoRR, 2022)

Computing maximum fixed point solutions over feasible paths in data flow analyses. - Komal Pathade; Uday P. Khedker (Sci. Comput. Program., 2023)