The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uday P. Khedker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
    Heterogeneous Fixed Points with Application to Points-To Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:298-314 [Conf]
  2. Bageshri Sathe, Uday P. Khedker
    Static Program Partitioning for Embedded Processors. [Citation Graph (0, 0)][DBLP]
    ESA, 2006, pp:31-37 [Conf]
  3. Dhananjay M. Dhamdhere, Uday P. Khedker
    Complexity of Bidirectional Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:397-408 [Conf]
  4. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
    A PVS Based Framework for Validating Compiler Optimizations. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:108-117 [Conf]
  5. Uday P. Khedker
    Static Analysis of Programs: A Heap Centric View. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:261- [Conf]
  6. Bageshri Sathe, Uday P. Khedker
    Complexity of Data Flow Analysis for Non-Separable Frameworks. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2006, pp:828-836 [Conf]
  7. Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft
    Bidirectional data flow analysis for type inferencing. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2003, v:29, n:1-2, pp:15-44 [Journal]
  8. Uday P. Khedker, Dhananjay M. Dhamdhere
    Bidirectional Data Flow Analysis: Myth and Reality. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:6, pp:47-57 [Journal]
  9. Uday P. Khedker, Dhananjay M. Dhamdhere
    A Generalized Theory of Bit Vector Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1472-1511 [Journal]
  10. Amey Karkare, Uday P. Khedker, Amitabha Sanyal
    Liveness of Heap Data for Functional Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  11. Amey Karkare, Amitabha Sanyal, Uday P. Khedker
    Effectiveness of Garbage Collection in MIT/GNU Scheme [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  12. Bageshri Karkare, Uday P. Khedker
    Complexity of Data Flow Analysis for Non-Separable Frameworks [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  13. Uday P. Khedker, Amitabha Sanyal, Amey Karkare
    Heap Reference Analysis Using Access Graphs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  14. Amey Karkare, Amitabha Sanyal, Uday P. Khedker
    Heap Reference Analysis for Functional Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  15. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
    Structuring Optimizing Transformations and Proving Them Sound. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:79-95 [Journal]
  16. Bageshri Karkare, Uday P. Khedker
    An improved bound for call strings based interprocedural analysis of bit vector frameworks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  17. Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. [Citation Graph (, )][DBLP]


  18. Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002