Vijay Victor D'Silva

Computational Theory and Mathematics · 2008

A researcher in the Science corpus: 1 paper; trusts 13 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Vijay Victor D'Silva trusts overall

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

  1. Edmund M. Clarke
  2. Thomas Ball
  3. Thomas A. Henzinger
  4. Hubert Garavel
  5. Bruno Dutertre
  6. Greg Nelson
  7. David Detlefs
  8. Daniel Kroening
  9. Ranjit Jhala
  10. Sriram K. Rajamani

Papers from Vijay Victor D'Silva's perspective

Ordered by how strongly the researchers Vijay Victor D'Silva 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. Lazy abstraction
  3. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  4. Simplify: a theorem prover for program checking (JACM)
  5. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  6. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  7. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  9. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  10. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers