Deepali Bhardwaj

Information Systems · 2006–2011

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

Subfields

Whom Deepali Bhardwaj trusts overall

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

  1. Greg Nelson

Who trusts Deepali Bhardwaj overall

  1. Benjamin Livshits

Papers from Deepali Bhardwaj's perspective

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

  1. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
  5. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  6. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Synthesis of interface specifications for Java classes (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  9. DynaMine: finding common error patterns by mining software revision histories (ESEC/FSE-13)
  10. New directions in traffic measurement and accounting (CCRV)

Their papers