| 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 | 326 | 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 | 67 | 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 | 61 | 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 | 58 | 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 | 46 | 2008 |
| Complexity of bi-directional data flow analysis DM Dhamdhere, UP Khedker Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 36 | 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 | 29 | 2006 |
| Efficient elimination of false positives using static analysis T Muske, UP Khedker 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 25 | 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 |
Alan MycroftProfessor of Computing, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
