Segui
Komal Pathade
Komal Pathade
IIT Bombay, TCS Research, India
Email verificata su cse.iitb.ac.in
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4