Sudheendra Hangal

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 · 2002

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

Whom Sudheendra Hangal trusts overall

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

  1. Dawson R. Engler
  2. Andy Chou

Who trusts Sudheendra Hangal overall

  1. Chao Liu
  2. Michael Pradel
  3. Shan Lu
  4. Vijayaraghavan Murali
  5. Michael D. Ernst
  6. Mark Gabel
  7. David Hovemeyer
  8. Thomas Ball
  9. Davide Lorenzoli
  10. Zhenmin Li

Papers from Sudheendra Hangal's perspective

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

  1. Bugs as deviant behavior: a general approach to inferring errors in systems code
  2. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Houdini, an Annotation Assistant for ESC/Java (FME)
  5. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  6. A personal communication
  7. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  8. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  10. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers