Stephen J. Fink

Artificial Intelligence · 2000–2017

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

Subfields

Whom Stephen J. Fink trusts overall

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

  1. Manuvir Das
  2. Thomas Ball
  3. John Whaley
  4. Greg Nelson
  5. Sriram K. Rajamani
  6. R. Deline
  7. Rupak Majumdar
  8. Sorin Lerner
  9. Manuel Fähndrich
  10. Manu Sridharan

Papers from Stephen J. Fink's perspective

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

  1. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Parameterized object sensitivity for points-to analysis for Java (TSEM)
  5. The protection of information in computer systems
  6. Serverless Computation with OpenLambda (USENIX Workshop on Hot Topics in Cloud Computing)
  7. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  9. Automatically validating temporal safety properties of interfaces (SPIN)
  10. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)

Their papers