Nathaniel Nystrom

International Conference on Compiler Construction · 2003

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

Whom Nathaniel Nystrom trusts overall

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

  1. R. Deline
  2. Manuel Fähndrich
  3. Greg Nelson
  4. Cormac Flanagan

Who trusts Nathaniel Nystrom overall

  1. Alvin Cheung
  2. Armando Solar-Lezama
  3. Laurie J. Hendren
  4. Lennart C. L. Kats

Papers from Nathaniel Nystrom's perspective

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

  1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Revised 5 Report on the Algorithmic Language Scheme
  6. Revised5 Report on the Algorithmic Language Scheme
  7. MultiJava: modular open classes and symmetric multiple dispatch for Java (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  8. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers