Suivre
Komal Pathade
Komal Pathade
IIT Bombay, TCS Research, India
Adresse e-mail validée de cse.iitb.ac.in
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–4