Travelled to:1 × Portugal
6 × USA
Collaborated with:M.D.Ernst ∅ P.J.Guo S.McCamant D.Saff S.Artzi M.C.Rinard B.Robinson V.Augustine N.Li M.M.Papi M.Ali T.L.C.Jr. B.Demsky S.Kim S.Larsen S.P.Amarasinghe J.Bachrach M.Carbin C.Pacheco F.Sherwood S.Sidiroglou G.Sullivan W.Wong Y.Zibin
Talks about:automat (4) generat (3) test (3) infer (2) dynam (2) type (2) java (2) increment (1) algorithm (1) structur (1)
Person: Jeff H. Perkins
DBLP: Perkins:Jeff_H=
Contributed to:
2011
2009
200820062005
2005
2004Wrote 8 papers:
- ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
- Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
- SOSP-2009-PerkinsKLABCPSSSWZER #automation #fault
- Automatically patching errors in deployed software (JHP, SK, SL, SPA, JB, MC, CP, FS, SS, GS, WFW, YZ, MDE, MCR), pp. 87–102.
- ISSTA-2008-PapiACPE #java
- Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
- ISSTA-2006-DemskyEGMPR #consistency #data type #specification
- Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
- ISSTA-2006-GuoPME #data type
- Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
- ASE-2005-SaffAPE #automation #java
- Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.
- PASTE-2005-Perkins #api #automation #evolution #generative #refactoring
- Automatically generating refactorings to support API evolution (JHP), pp. 111–114.
- FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance
- Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.