Følg
Komal Pathade
Komal Pathade
IIT Bombay, TCS Research, India
Verificeret mail på cse.iitb.ac.in
Titel
Citeret af
Citeret af
År
Computing partially path-sensitive MFP solutions in data flow analyses
K Pathade, UP Khedker
Proceedings of the 27th International Conference on Compiler Construction, 37-47, 2018
102018
Path sensitive mfp solutions in presence of intersecting infeasible control flow path segments
K Pathade, UP Khedker
Proceedings of the 28th International Conference on Compiler Construction …, 2019
22019
Computing maximum fixed point solutions over feasible paths in data flow analyses
K Pathade, U Khedker
Science of Computer Programming 228, 102944, 2023
2023
Correlating Effectiveness of Pointer Analysis Techniques with Patterns in Embedded System Code
K Pathade
arXiv preprint arXiv:2208.05675, 2022
2022
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4