Concepedia

Jeff Perkins

JP

Statistics

Publications

14

Citations

2.7K

H-Index

14

Active since

2004

Affiliations

Massachusetts Institute of Technology(Current)

Jeff Perkins is an author at Massachusetts Institute of Technology specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringFormal MethodsSoftware DesignFormal VerificationVerification

Publications per year

2004–2015

14

Publications

14

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1K citations

Daikon System, Engineering, Runtime Verification +10

Information-Flow Analysis of Android Applications in DroidSafe

Michael I. Gordon, Deokhwan Kim, Jeff Perkins et al. · 2015 · 424 citations

Automatically patching errors in deployed software

Jeff Perkins, Sunghun Kim, Sam Larsen et al. · 2009 · 409 citations

Software Maintenance, Engineering, Verification +19

Practical pluggable types for java

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa et al. · 2008 · 175 citations

Engineering, Type Theory, Verification +20

Automatic test factoring for java

David Saff, Shay Artzi, Jeff Perkins et al. · 2005 · 127 citations

Engineering, Java Language, Verification +21

1–5 of 14