The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Satish Chandra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Satish Chandra, James R. Larus, Anne Rogers
    Where is Time Spent in Message-Passing and Shared-Memory Programs? [Citation Graph (0, 0)][DBLP]
    ASPLOS, 1994, pp:61-73 [Conf]
  2. Satish Chandra, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson
    Experience with a Language for Writing Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:51-66 [Conf]
  3. Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
    Coping with Type Casts in C. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:180-198 [Conf]
  4. Satish Chandra
    Tools and Techniques for Multi-site Sotware Development. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:243- [Conf]
  5. Satish Chandra, Patrice Godefroid, Christopher Palm
    Software model checking in practice: an industrial case study. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:431-441 [Conf]
  6. Bikram Sengupta, Satish Chandra, Vibha Sinha
    A research agenda for distributed software development. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:731-740 [Conf]
  7. Jahangir Hasan, Satish Chandra, T. N. Vijaykumar
    Efficient Use of Memory Bandwidth to Improve Network Processor Throughput. [Citation Graph (0, 0)][DBLP]
    ISCA, 2003, pp:300-311 [Conf]
  8. David A. Wood, Satish Chandra, Babak Falsafi, Mark D. Hill, James R. Larus, Alvin R. Lebeck, James C. Lewis, Shubhendu S. Mukherjee, Subbarao Palacharla, Steven K. Reinhardt
    Mechanisms for Cooperative Shared Memory. [Citation Graph (0, 0)][DBLP]
    ISCA, 1993, pp:156-167 [Conf]
  9. Satish Chandra, James R. Larus
    HPF on Fine-Grain Distributed Shared Memory: Early Experience. [Citation Graph (0, 0)][DBLP]
    LCPC, 1996, pp:450-465 [Conf]
  10. Mangala Gowri Nanda, Satish Chandra, Vivek Sarkar
    Decentralizing execution of composite web services. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2004, pp:170-187 [Conf]
  11. Mangala Gowri Nanda, Christian Grothoff, Satish Chandra
    Deriving object typestates in the presence of inter-object references. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:77-96 [Conf]
  12. Satish Chandra, Thomas W. Reps
    Physical Type Checking for C. [Citation Graph (0, 0)][DBLP]
    PASTE, 1999, pp:66-75 [Conf]
  13. Satish Chandra, Brad Richards, James R. Larus
    Teapot: Language Support for Writing Memory Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:237-248 [Conf]
  14. Atanas Rountev, Satish Chandra
    Off-line variable substitution for scaling points-to analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:47-56 [Conf]
  15. Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
    What packets may come: automata for network monitoring. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:206-219 [Conf]
  16. Satish Chandra, James R. Larus
    Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1997, pp:100-111 [Conf]
  17. Peter J. McCann, Satish Chandra
    Packet Types: Abstract specifications of network protocol messages. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 2000, pp:321-333 [Conf]
  18. Glenn Bruns, Satish Chandra
    Searching for points-to analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:61-70 [Conf]
  19. Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
    Dependent Types for Program Understanding. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:157-173 [Conf]
  20. Satish Chandra
    A tutorial and diagnostic tool for chaotic oscillators and time series. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1997, v:21, n:2, pp:253-262 [Journal]
  21. Glenn Bruns, Satish Chandra
    Searching for Points-To Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:883-897 [Journal]
  22. Satish Chandra, Brad Richards, James R. Larus
    Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:317-333 [Journal]

  23. Patterns Approach to Building Software Systems. [Citation Graph (, )][DBLP]


  24. Effective interprocedural resource leak detection. [Citation Graph (, )][DBLP]


  25. Making defect-finding tools work for you. [Citation Graph (, )][DBLP]


  26. Verifying dereference safety via expanding-scope analysis. [Citation Graph (, )][DBLP]


  27. The CLOSER: automating resource management in java. [Citation Graph (, )][DBLP]


  28. Snugglebug: a powerful approach to weakest preconditions. [Citation Graph (, )][DBLP]


  29. Generating precise and concise procedure summaries. [Citation Graph (, )][DBLP]


  30. Programming with angelic nondeterminism. [Citation Graph (, )][DBLP]


  31. Type inference for locality analysis of distributed data structures. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
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