Komal Pathade

Orcid: 0000-0003-3903-629X

According to our database1, Komal Pathade authored at least 4 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Computing maximum fixed point solutions over feasible paths in data flow analyses.
Sci. Comput. Program., June, 2023

2022
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code.
CoRR, 2022

2019
Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments.
Proceedings of the 28th International Conference on Compiler Construction, 2019

2018
Computing partially path-sensitive MFP solutions in data flow analyses.
Proceedings of the 27th International Conference on Compiler Construction, 2018


  Loading...