Login / Signup
Komal Pathade
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Belief Propagation
Systolic Array
Control Flow
Fixed Point
Top Venues
CoRR
CC
Sci. Comput. Program.
</>
Publications
</>
Komal Pathade
,
Uday P. Khedker
Computing maximum fixed point solutions over feasible paths in data flow analyses.
Sci. Comput. Program.
228 (2023)
Komal Pathade
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code.
CoRR
(2022)
Komal Pathade
,
Uday P. Khedker
Computing Maximum Fixed Point Solutions over Feasible Paths in Data Flow Analyses.
CoRR
(2022)
Komal Pathade
,
Uday P. Khedker
Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments.
CC
(2019)
Komal Pathade
,
Uday P. Khedker
Computing partially path-sensitive MFP solutions in data flow analyses.
CC
(2018)