Jinlin Yang

Software · 2006

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

Subfields

Whom Jinlin Yang trusts overall

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

  1. Greg Nelson
  2. Manuvir Das
  3. Rajeev Alur
  4. Willem Visser
  5. Sorin Lerner

Who trusts Jinlin Yang overall

  1. Benjamin Livshits
  2. Mark Gabel
  3. Andrzej Wasylkowski
  4. Davide Lorenzoli
  5. Hao Zhong
  6. Zhendong Su
  7. Thomas Zimmermann
  8. Tao Xie
  9. Andreas Zeller
  10. Leonardo Santanna Mariani

Papers from Jinlin Yang's perspective

Ordered by how strongly the researchers Jinlin Yang 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. DynaMine: finding common error patterns by mining software revision histories (ESEC/FSE-13)
  9. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers