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
13692007
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
5182015
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
4932009
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
2362008
Automatic test factoring for Java
D Saff, S Artzi, JH Perkins, MD Ernst
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
1682005
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
1602006
Efficient incremental algorithms for dynamic detection of likely invariants
JH Perkins, MD Ernst
proceedings of the 12th ACM SIGSOFT twelfth International Symposium on …, 2004
1442004
Dynamic inference of abstract types
PJ Guo, JH Perkins, S McCamant, MD Ernst
Proceedings of the 2006 international symposium on Software testing and …, 2006
982006
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
672011
Automatically generating refactorings to support API evolution
JH Perkins
proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for …, 2005
602005
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
S Artzi, MD Ernst, A Kiezun, C Pacheco, JH Perkins
542006
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
422006
Automatic correction of program logic
JH Perkins, S Sidiroglou, MC Rinard, EP Lahtinen, PM Piselli, BC Krikeles, ...
US Patent 8,788,884, 2014
92014
Pluggable type-checking for custom type qualifiers in Java
MM Papi, M Ali, TL Correa Jr, JH Perkins, MD Ernst
82007
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
72016
Automatic generation of unit regression tests
S Artzi, A Kiezum, C Pacheco, J Perkins
online] MIT CSAIL, Retrieved from the Internet 11, 2005
52005
Precise and comprehensive provenance tracking for android devices
M Gordon, J Eikenberry, A Eden, J Perkins, M Rinard
32019
Automatic Exploitation of Fully Randomized Executables
A Gadient, B Ortiz, R Barrato, E Davis, J Perkins, M Rinard
32019
Cloud Intrusion Detection and Repair (CIDAR)
S Sidiroglou, J Perkins, M Rinard
MIT Computer Science and Artificial Intelligence Laboratory Cambridge United …, 2016
32016
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
The system can't perform the operation now. Try again later.
Articles 1–20