Follow
Jeff Perkins
Jeff Perkins
Unknown affiliation
Verified email at wwnez.com
Title
Cited by
Cited by
Year
The Daikon system for dynamic detection of likely invariants
MD Ernst, JH Perkins, PJ Guo, S McCamant, C Pacheco, MS Tschantz, ...
Science of computer programming 69 (1-3), 35-45, 2007
14632007
Information flow analysis of android applications in droidsafe.
MI Gordon, D Kim, JH Perkins, L Gilham, N Nguyen, MC Rinard
NDSS 15 (201), 110, 2015
5812015
Automatically patching errors in deployed software
JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
5062009
Practical pluggable types for Java
MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst
Proceedings of the 2008 international symposium on Software testing and …, 2008
2612008
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1722005
Inference and enforcement of data structure consistency specifications
B Demsky, MD Ernst, PJ Guo, S McCamant, JH Perkins, M Rinard
Proceedings of the 2006 international symposium on Software testing and …, 2006
1632006
Efficient incremental algorithms for dynamic detection of likely invariants
JH Perkins, MD Ernst
proceedings of the 12th ACM SIGSOFT twelfth International Symposium on …, 2004
1472004
Dynamic inference of abstract types
PJ Guo, JH Perkins, S McCamant, MD Ernst
Proceedings of the 2006 international symposium on Software testing and …, 2006
1022006
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
B Robinson, MD Ernst, JH Perkins, V Augustine, N Li
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
762011
Automatically generating refactorings to support API evolution
JH Perkins
proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2005
662005
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
562006
Detection of web service substitutability and composability
MD Ernst, R Lencevicius, JH Perkins
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 123, 2006
412006
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
AutoRand: Automatic keyword randomization to prevent injection attacks
J Perkins, J Eikenberry, A Coglio, D Willenson, S Sidiroglou-Douskos, ...
Detection of Intrusions and Malware, and Vulnerability Assessment: 13th …, 2016
82016
Pluggable type-checking for custom type qualifiers in Java
MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst
82007
Automatic generation of unit regression tests
S Artzi, A Kiezum, C Pacheco, J Perkins
online] MIT CSAIL, Retrieved from the Internet 11, 2005
52005
Automatic Exploitation of Fully Randomized Executables
A Gadient, B Ortiz, R Barrato, E Davis, J Perkins, M Rinard
42019
Precise and comprehensive provenance tracking for android devices
M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard
32019
Comprehensive java metadata tracking for attack detection and repair
J Perkins, J Eikenberry, A Coglio, M Rinard
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020
22020
Self-defending software: Automatically patching security vulnerabilities
J Perkins, SH Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
the 21st ACM Symposium on Operating Systems Principles (SOSP 2009), 2009
22009
The system can't perform the operation now. Try again later.
Articles 1–20