Concepedia

Uday P. Khedker

UP

Statistics

Publications

9

Citations

407

H-Index

9

Active since

1993

Affiliations

Indian Institute of Technology Bombay(Current)

Uday P. Khedker is an author at Indian Institute of Technology Bombay specializing in computer science, program analysis, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringParallel ProgrammingData ScienceVerification

Publications per year

1993–2015

9

Publications

9

In defense of soundiness

Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al. · Communications of the ACM · 2015 · 222 citations

Music, Psychoacoustics, New Sound +12

A generalized theory of bit vector data flow analysis

Uday P. Khedker, Dhananjay M. Dhamdhere · ACM Transactions on Programming Languages and Systems · 1994 · 51 citations

Mathematical Programming, Computational Complexity Theory, Engineering +23

Interprocedural data flow analysis in Soot using value contexts

Rohan Padhye, Uday P. Khedker · 2013 · 47 citations

Engineering, Environmental Impact Assessment, Verification +27

A PVS Based Framework for Validating Compiler Optimizations

Anuradha Kanade, Amartya Sanyal, Uday P. Khedker · 2006 · 19 citations

Engineering, Compiler Technology, Verification +22

Complexity of bi-directional data flow analysis

Dhananjay M. Dhamdhere, Uday P. Khedker · 1993 · 18 citations · Full text

Computational Complexity Theory, Engineering, Analysis Of Algorithm +19

1–5 of 9