Nick Benton

2004

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

Whom Nick Benton trusts overall

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

  1. George C. Necula

Who trusts Nick Benton overall

  1. Gilles Barthe
  2. Benjamin Gr'egoire
  3. Santiago Zanella-B'eguelin
  4. Boris Köpf
  5. Justin Hsu
  6. Marco Gaboardi
  7. Thomas Espitau
  8. Matt Fredrikson
  9. Federico Olmedo
  10. Pierre-Yves Strub

Papers from Nick Benton's perspective

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

  1. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. RERAN: Timing- and touch-sensitive record and replay for Android (International Conference on Software Engineering)
  3. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  4. Dynodroid: an input generation system for Android apps (ESEC/FSE 2013)
  5. A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (Fundamental Approaches to Software Engineering)
  6. PUMA: programmable UI-automation for large-scale dynamic analysis of mobile apps (ACM SIGMOBILE International Conference on Mobile Systems, Applications, and Services)
  7. Learning Regular Sets from Queries and Counterexamples
  8. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  9. AppsPlayground: automatic security analysis of smartphone applications (Conference on Data and Application Security and Privacy)
  10. Regression testing minimization, selection and prioritization: a survey (Software testing, verification & reliability)

Their papers