| Oceanstore: An architecture for global-scale persistent storage J Kubiatowicz, D Bindel, Y Chen, S Czerwinski, P Eaton, D Geels, ... ACM SIGOPS Operating Systems Review 34 (5), 190-201, 2000 | 3561 | 2000 |
| CIL: Intermediate language and tools for analysis and transformation of C programs GC Necula, S McPeak, SP Rahul, W Weimer Compiler Construction: 11th International Conference, CC 2002 Held as Part …, 2002 | 1330 | 2002 |
| Genprog: A generic method for automatic software repair C Le Goues, TV Nguyen, S Forrest, W Weimer Ieee transactions on software engineering 38 (1), 54-72, 2011 | 1095 | 2011 |
| CCured: Type-safe retrofitting of legacy code GC Necula, S McPeak, W Weimer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 962 | 2002 |
| CCured: Type-safe retrofitting of legacy code GC Necula, S McPeak, W Weimer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 959 | 2002 |
| Automatically finding patches using genetic programming W Weimer, TV Nguyen, C Le Goues, S Forrest 2009 IEEE 31st International Conference on Software Engineering, 364-374, 2009 | 911 | 2009 |
| A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each C Le Goues, M Dewey-Vogt, S Forrest, W Weimer 2012 34th International Conference on Software Engineering (ICSE), 3-13, 2012 | 716 | 2012 |
| CCured: Type-safe retrofitting of legacy software GC Necula, J Condit, M Harren, S McPeak, W Weimer ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (3), 477-526, 2005 | 496 | 2005 |
| Modeling bug report quality P Hooimeijer, W Weimer Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 438 | 2007 |
| Learning a metric for code readability RPL Buse, WR Weimer IEEE Transactions on software engineering 36 (4), 546-558, 2009 | 427 | 2009 |
| Automated duplicate detection for bug tracking systems N Jalbert, W Weimer 2008 IEEE International Conference on Dependable Systems and Networks With …, 2008 | 375 | 2008 |
| Mining temporal specifications for error detection W Weimer, GC Necula Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 322 | 2005 |
| A genetic programming approach to automated software repair S Forrest, TV Nguyen, W Weimer, C Le Goues Proceedings of the 11th Annual conference on Genetic and evolutionary …, 2009 | 315 | 2009 |
| Leveraging program equivalence for adaptive program repair: Models and first results W Weimer, ZP Fry, S Forrest 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 299 | 2013 |
| The ManyBugs and IntroClass benchmarks for automated repair of C programs C Le Goues, N Holtschulte, EK Smith, Y Brun, P Devanbu, S Forrest, ... IEEE Transactions on Software Engineering 41 (12), 1236-1256, 2015 | 285 | 2015 |
| Automatic program repair with evolutionary computation W Weimer, S Forrest, C Le Goues, TV Nguyen Communications of the ACM 53 (5), 109-116, 2010 | 241 | 2010 |
| Temporal-safety proofs for systems code TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 238 | 2002 |
| CCured in the real world J Condit, M Harren, S McPeak, GC Necula, W Weimer ACM SIGPLAN Notices 38 (5), 232-244, 2003 | 234 | 2003 |
| Automatically documenting program changes RPL Buse, WR Weimer Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 225 | 2010 |
| A metric for software readability RPL Buse, WR Weimer Proceedings of the 2008 international symposium on Software testing and …, 2008 | 225 | 2008 |
