关注
Uday P. Khedker
Uday P. Khedker
Professor of Computer Science, IIT Bombay
在 cse.iitb.ac.in 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Data flow analysis: theory and practice
U Khedker, A Sanyal, B Karkare
CRC, 2009
347*2009
The Compiler Design Handbook: Optimizations and Machine Code Generation, chapter Data Flow Analysis
U Khedker
CRC Press, 2002
347*2002
Data flow analysis
UP Khedker
The Compiler Design Handbook, 1-59, 2002
347*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
3262015
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
831994
Heap abstractions for static analysis
V Kanvar, UP Khedker
ACM Computing Surveys (CSUR) 49 (2), 1-47, 2016
672016
Heap reference analysis using access graphs
UP Khedker, A Sanyal, A Karkare
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 1-es, 2007
612007
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
582013
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
462008
Complexity of bi-directional data flow analysis
DM Dhamdhere, UP Khedker
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
361993
Liveness-based pointer analysis
UP Khedker, A Mycroft, PS Rawat
International Static Analysis Symposium, 265-282, 2012
312012
A PVS based framework for validating compiler optimizations
A Kanade, A Sanyal, U Khedker
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
292006
Efficient elimination of false positives using static analysis
T Muske, UP Khedker
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
252015
Bidirectional data flow analysis for type inferencing
UP Khedker, DM Dhamdhere, A Mycroft
Computer Languages, Systems & Structures 29 (1-2), 15-44, 2003
242003
Scalable context-sensitive points-to analysis using multi-dimensional bloom filters
R Nasre, K Rajan, R Govindarajan, UP Khedker
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
212009
Bidirectional data flow analysis: myths and reality
UP Khedker, DM Dhamdhere
ACM SIGPLAN Notices 34 (6), 47-57, 1999
191999
Scaling bounded model checking by transforming programs with arrays
A Jana, UP Khedker, A Datar, R Venkatesh
Logic-Based Program Synthesis and Transformation: 26th International …, 2017
142017
Generalized Points-to Graphs: A New Abstraction of Memory in Presence of Pointers
PM Gharat, UP Khedker, A Mycroft
arXiv preprint arXiv:1603.09597, 2016
13*2016
3.10 The Approximations vs. Abstractions Dilemma in Pointer Analysis
U Khedker
Pointer Analysis, 101, 0
13*
Value Slice: A New Slicing Concept for Scalable Property Checking
S Kumar, A Sanyal, UP Khedker
Tools and Algorithms for the Construction and Analysis of Systems LNCS 9035, 101, 2015
112015
系统目前无法执行此操作,请稍后再试。
文章 1–20