Efficient incremental algorithms for dynamic detection of likely invariants. - Jeff H. Perkins; Michael D. Ernst (SIGSOFT FSE, 2004)

Automatic test factoring for java. - David Saff; Shay Artzi; Jeff H. Perkins; Michael D. Ernst (ASE, 2005)

Automatically generating refactorings to support API evolution. - Jeff H. Perkins (PASTE, 2005)

Inference and enforcement of data structure consistency specifications. - Brian Demsky; Michael D. Ernst; Philip J. Guo; Stephen McCamant; Jeff H. Perkins; Martin C. Rinard (ISSTA, 2006)

Dynamic inference of abstract types. - Philip J. Guo; Jeff H. Perkins; Stephen McCamant; Michael D. Ernst (ISSTA, 2006)

The Daikon system for dynamic detection of likely invariants. - Michael D. Ernst; Jeff H. Perkins; Philip J. Guo; Stephen McCamant; Carlos Pacheco; Matthew S. Tschantz; Chen Xiao (Sci. Comput. Program., 2007)

Practical pluggable types for java. - Matthew M. Papi; Mahmood Ali; Telmo Luis Correa Jr.; Jeff H. Perkins; Michael D. Ernst (ISSTA, 2008)

Automatically patching errors in deployed software. - Jeff H. Perkins; Sunghun Kim 001; Samuel Larsen; Saman P. Amarasinghe; Jonathan Bachrach; Michael Carbin; Carlos Pacheco; Frank Sherwood; Stelios Sidiroglou; Gregory T. Sullivan; Weng-Fai Wong; Yoav Zibin; et al. (SOSP, 2009)

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs. - Brian Robinson; Michael D. Ernst; Jeff H. Perkins; Vinay Augustine; Nuo Li (ASE, 2011)

Information Flow Analysis of Android Applications in DroidSafe. - Michael I. Gordon; Deokhwan Kim; Jeff H. Perkins; Limei Gilham; Nguyen Nguyen 002; Martin C. Rinard (NDSS, 2015)

AutoRand: Automatic Keyword Randomization to Prevent Injection Attacks. - Jeff H. Perkins; Jordan Eikenberry; Alessandro Coglio; Daniel Willenson; Stelios Sidiroglou-Douskos; Martin C. Rinard (DIMVA, 2016)

Comprehensive Java Metadata Tracking for Attack Detection and Repair. - Jeff H. Perkins; Jordan Eikenberry; Alessandro Coglio; Martin C. Rinard (DSN, 2020)