Uday P. Khedker
Uday P. Khedker
Professor of Computer Science, IIT Bombay
Verified email at cse.iitb.ac.in - Homepage
TitleCited byYear
Data flow analysis: theory and practice
U Khedker, A Sanyal, B Karkare
CRC, 2009
212*2009
Data flow analysis
UP Khedker
The Compiler Design Handbook, 1-59, 2002
212*2002
The Compiler Design Handbook: Optimizations and Machine Code Generation, chapter Data Flow Analysis
U Khedker
CRC Press, 2002
207*2002
In defense of soundiness: a manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
1512015
A generalized theory of bit vector data flow analysis
UP Khedker, DM Dhamdhere
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1472-1511, 1994
721994
Heap reference analysis using access graphs
UP Khedker, A Sanyal, A Karkare
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 1, 2007
462007
Interprocedural data flow analysis in Soot using value contexts
R Padhye, UP Khedker
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the …, 2013
342013
Efficiency, precision, simplicity, and generality in interprocedural data flow analysis: Resurrecting the classical call strings method
UP Khedker, B Karkare
International Conference on Compiler Construction, 213-228, 2008
312008
Complexity of bi-directional data flow analysis
DM Dhamdhere, UP Khedker
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
311993
Heap abstractions for static analysis
V Kanvar, UP Khedker
ACM Computing Surveys (CSUR) 49 (2), 29, 2016
232016
Liveness-based pointer analysis
UP Khedker, A Mycroft, PS Rawat
International Static Analysis Symposium, 265-282, 2012
202012
A PVS based framework for validating compiler optimizations
A Kanade, A Sanyal, U Khedker
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
202006
Bidirectional data flow analysis for type inferencing
UP Khedker, DM Dhamdhere, A Mycroft
Computer Languages, Systems & Structures 29 (1-2), 15-44, 2003
202003
Scalable context-sensitive points-to analysis using multi-dimensional bloom filters
R Nasre, K Rajan, R Govindarajan, UP Khedker
Asian Symposium on Programming Languages and Systems, 47-62, 2009
172009
Bidirectional data flow analysis: myths and reality
UP Khedker, DM Dhamdhere
ACM SIGPLAN Notices 34 (6), 47-57, 1999
161999
An improved bound for call strings based interprocedural analysis of bit vector frameworks
B Karkare, UP Khedker
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 38, 2007
102007
Heterogeneous fixed points with application to points-to analysis
A Kanade, U Khedker, A Sanyal
Asian Symposium on Programming Languages and Systems, 298-314, 2005
92005
Structuring optimizing transformations and proving them sound
A Kanade, A Sanyal, U Khedker
Electronic Notes in Theoretical Computer Science (ENTCS) 176 (3), 79-95, 2007
82007
Incremental machine descriptions for gcc
S Deshpande, UP Khedker
GREPS: International Workshop on GCC for Research in Embedded and Parallel …, 2007
82007
Liveness of heap data for functional programs
A Karkare, U Khedker, A Sanyal
arXiv preprint cs/0703155, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20