Mark Seigle

Software · 2002

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

Subfields

Whom Mark Seigle trusts overall

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

  1. Dawson R. Engler
  2. Greg Nelson
  3. Manuvir Das
  4. Cormac Flanagan
  5. Thomas Ball
  6. R. Deline

Who trusts Mark Seigle overall

  1. Dawson R. Engler
  2. Patrice Godefroid
  3. Ranjit Jhala
  4. Shaz Qadeer
  5. Gogul Balakrishnan
  6. David Hovemeyer
  7. Zhendong Su
  8. Mark Gabel
  9. Raymond P. L. Buse
  10. Ghassan Misherghi

Papers from Mark Seigle's perspective

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

  1. Enforcing high-level protocols in low-level software (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. Houdini, an Annotation Assistant for ESC/Java (FME)
  4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  5. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  6. Bugs as deviant behavior: a general approach to inferring errors in systems code
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers