Nick Rutar

IEEE International Symposium on Software Reliability Engineering · 2004

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

Whom Nick Rutar trusts overall

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

  1. Greg Nelson
  2. David Hovemeyer
  3. William W. Pugh

Who trusts Nick Rutar overall

  1. Daniel Votipka
  2. Kelsey R. Fulton
  3. David Hovemeyer

Papers from Nick Rutar's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Finding bugs is easy (SIGP)
  3. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  7. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. The SLAM project: debugging system software via static analysis
  10. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers