Krishna K. Mehra

ACM-SIGACT Symposium on Principles of Programming Languages · 2009

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

Whom Krishna K. Mehra trusts overall

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

  1. Andreas Podelski
  2. Byron Cook
  3. Andrey Rybalchenko

Papers from Krishna K. Mehra's perspective

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

  1. Transition invariants (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.)
  2. Termination proofs for systems code (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Automatic discovery of linear restraints among variables of a program
  4. Static prediction of heap space usage for first-order functional programs (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  6. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. On Computable Numbers, with an Application to the Entscheidungsproblem.
  8. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  9. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  10. The SLAM project: debugging system software via static analysis

Their papers