Scott McPeak

International Conference on Compiler Construction · 2002–2005

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

Whom Scott McPeak trusts overall

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

  1. David A. Wagner

Who trusts Scott McPeak overall

  1. Nick L. Petroni Jr.
  2. Koushik Sen
  3. Xavier Leroy
  4. R. von Behren
  5. Rupak Majumdar
  6. George C. Necula
  7. Michael W. Hicks
  8. Wei Xu
  9. James Newsome
  10. Olatunji Ruwase

Papers from Scott McPeak's perspective

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

  1. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  2. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  3. Soft typing
  4. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  6. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  7. Theory of linear and integer programming
  8. Two Easy Theories Whose Combination is Hard
  9. Automatically validating temporal safety properties of interfaces (SPIN)
  10. Attention is All you Need (Neural Information Processing Systems)

Their papers