Uday P. Khedker

Cited by

	All	Since 2019
Citations	1390	610
h-index	14	10
i10-index	22	10

140

105

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320244 4 3 5 6 8 4 11 19 6 8 24 25 25 32 29 27 46 42 59 66 76 120 104 89 115 123 86 110 85

Co-authors

Alan MycroftProfessor of Computing, University of CambridgeVerified email at cl.cam.ac.uk
Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Amey KarkareFaculty, Department of Computer Science, IIT KanpurVerified email at iitk.ac.in
Aditya KanadeMicrosoft Research IndiaVerified email at microsoft.com
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Samuel Z. GuyerTufts UniversityVerified email at cs.tufts.edu
Dimitris VardoulakisNVIDIAVerified email at nvidia.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Vini KanvarIBM Research, IIT BombayVerified email at in.ibm.com
Prashant Singh RawatThe Ohio State UniversityVerified email at osu.edu
R GovindarajanProfessor, SERC and CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Tukaram MuskeSoftware Engineer, Synopsys Inc. (India)Verified email at tcs.com
Komal PathadeIIT Bombay, TCS Research, IndiaVerified email at cse.iitb.ac.in
Rohan PadhyeCarnegie Mellon UniversityVerified email at cmu.edu
Rupesh Nasre.IIT MadrasVerified email at cse.iitm.ac.in
Advaita DatarTata Research Development & Design Centre ,Verified email at tcs.com

Uday P. Khedker

Professor of Computer Science, IIT Bombay

Verified email at cse.iitb.ac.in - Homepage

programming languages program analysis code optimization compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Data flow analysis: theory and practice U Khedker, A Sanyal, B Karkare CRC, 2009	358*	2009
The Compiler Design Handbook: Optimizations and Machine Code Generation, chapter Data Flow Analysis U Khedker CRC Press, 2002	358*	2002
Data flow analysis UP Khedker The Compiler Design Handbook, 1-59, 2002	358*	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	342	2015
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	83	1994
Heap abstractions for static analysis V Kanvar, UP Khedker ACM Computing Surveys (CSUR) 49 (2), 1-47, 2016	73	2016
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	66	2007
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	61	2013
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	47	2008
Complexity of bi-directional data flow analysis DM Dhamdhere, UP Khedker Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	37	1993
Liveness-based pointer analysis UP Khedker, A Mycroft, PS Rawat International Static Analysis Symposium, 265-282, 2012	32	2012
A PVS based framework for validating compiler optimizations A Kanade, A Sanyal, U Khedker Fourth IEEE International Conference on Software Engineering and Formal …, 2006	30	2006
Efficient elimination of false positives using static analysis T Muske, UP Khedker 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015	26	2015
Bidirectional data flow analysis for type inferencing UP Khedker, DM Dhamdhere, A Mycroft Computer Languages, Systems & Structures 29 (1-2), 15-44, 2003	24	2003
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	21	2009
Bidirectional data flow analysis: myths and reality UP Khedker, DM Dhamdhere ACM SIGPLAN Notices 34 (6), 47-57, 1999	19	1999
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	14	2017
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	11	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors