Glenn Ammons

ACM-SIGACT Symposium on Principles of Programming Languages · 2002–2009

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Whom Glenn Ammons trusts overall

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

  1. Thomas Ball
  2. Cormac Flanagan
  3. Dawson R. Engler
  4. Sriram K. Rajamani
  5. K. Rustan M. Leino
  6. Andy Chou
  7. David A. Wagner

Who trusts Glenn Ammons overall

  1. Mark Gabel
  2. Benjamin Livshits
  3. Raymond P. L. Buse
  4. Manuvir Das
  5. Andrzej Wasylkowski
  6. John Whaley
  7. Davide Lorenzoli
  8. Paolo Milani Comparetti
  9. Hao Zhong
  10. Westley Weimer

Papers from Glenn Ammons's perspective

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

  1. Automatically validating temporal safety properties of interfaces (SPIN)
  2. Houdini, an Annotation Assistant for ESC/Java (FME)
  3. Bugs as deviant behavior: a general approach to inferring errors in systems code
  4. Intrusion detection via static analysis (Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001)
  5. Above the Clouds: A Berkeley View of Cloud Computing
  6. When Virtual Is Harder than Real: Security Challenges in Virtual Machine Based Computing Environments (USENIX Workshop on Hot Topics in Operating Systems)
  7. Cloud computing (International Conference & Workshop on Emerging Trends in Technology)
  8. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers