Rajeev Joshi

Software · 2002–2007

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 18 researchers here, as inferred from the citation graph.

Subfields

Whom Rajeev Joshi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Greg Nelson
  2. Gerard J. Holzmann

Who trusts Rajeev Joshi overall

  1. Sumit Gulwani
  2. Arvind Seshadri
  3. Susmit Jha
  4. R. Vuduc
  5. Eric Schkufza
  6. David Detlefs
  7. Ross Tate
  8. Yu Feng
  9. Adrian Perrig
  10. J. Demmel

Papers from Rajeev Joshi's perspective

Ordered by how strongly the researchers Rajeev Joshi trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  3. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  4. Feedback-Directed Random Test Generation (International Conference on Software Engineering)
  5. The SPIN Model Checker - primer and reference manual
  6. Statistical debugging: simultaneous identification of multiple bugs
  7. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  8. Automatically validating temporal safety properties of interfaces (SPIN)
  9. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers