John S. Fitzgerald

Computational Theory and Mathematics · 2009

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

Subfields

Whom John S. Fitzgerald trusts

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

  1. Thomas Ball (in Computational Theory and Mathematics)
  2. Sriram K. Rajamani (in Computational Theory and Mathematics)

Papers from John S. Fitzgerald's perspective

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

  1. The SLAM project: debugging system software via static analysis
  2. Local Reasoning about Programs that Alter Data Structures
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Simplify: a theorem prover for program checking (JACM)
  5. The ASTREÉ Analyzer
  6. Automatically validating temporal safety properties of interfaces (SPIN)
  7. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  10. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers