Peter Gorm Larsen

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 Peter Gorm Larsen trusts overall

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

  1. Thomas Ball

Papers from Peter Gorm Larsen's perspective

Ordered by how strongly the researchers Peter Gorm Larsen 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. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  6. The ASTREÉ Analyzer
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  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