Uday P. Khedker

Cited by

	All	Since 2018
Citations	1247	578
h-index	14	10
i10-index	20	10

120

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 4 3 4 6 8 4 11 17 6 8 24 24 26 32 30 27 43 44 56 65 77 120 105 87 114 115 86 71

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
Aditya KanadeMicrosoft Research IndiaVerified email at microsoft.com
Amey KarkareFaculty, Department of Computer Science, IIT KanpurVerified email at iitk.ac.in
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 VardoulakisGoogleVerified email at google.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Prashant Singh RawatThe Ohio State UniversityVerified email at osu.edu
R GovindarajanProfessor, SERC and CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Rohan PadhyeCarnegie Mellon UniversityVerified email at cmu.edu
Tukaram MuskeSoftware Engineer, Synopsys Inc. (India)Verified email at tcs.com
Komal PathadeIIT Bombay, TCS Research, IndiaVerified email at cse.iitb.ac.in
Rupesh Nasre.IIT MadrasVerified email at cse.iitm.ac.in
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.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	333*	2009
The Compiler Design Handbook: Optimizations and Machine Code Generation, chapter Data Flow Analysis U Khedker CRC Press, 2002	333*	2002
Data flow analysis UP Khedker The Compiler Design Handbook, 1-59, 2002	333*	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	301	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	80	1994
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	60	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	55	2013
Heap abstractions for static analysis V Kanvar, UP Khedker ACM Computing Surveys (CSUR) 49 (2), 1-47, 2016	54	2016
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	43	2008
Complexity of bi-directional data flow analysis DM Dhamdhere, UP Khedker Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	34	1993
Liveness-based pointer analysis UP Khedker, A Mycroft, PS Rawat International Static Analysis Symposium, 265-282, 2012	31	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	27	2006
Bidirectional data flow analysis for type inferencing UP Khedker, DM Dhamdhere, A Mycroft Computer Languages, Systems & Structures 29 (1-2), 15-44, 2003	22	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
Efficient elimination of false positives using static analysis T Muske, UP Khedker 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015	18	2015
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
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-es, 2007	11	2007
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	10	2017
Flow-and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs PM Gharat, UP Khedker, A Mycroft International Static Analysis Symposium, 212-236, 2016	10	2016

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