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 | 3640 | 2000 |
CIL: Intermediate language and tools for analysis and transformation of C programs GC Necula, S McPeak, SP Rahul, W Weimer International Conference on Compiler Construction, 213-228, 2002 | 1359 | 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 | 1342 | 2011 |
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 | 1008 | 2009 |
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 | 997 | 2002 |
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 | 780 | 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 | 530 | 2005 |
Learning a metric for code readability RPL Buse, WR Weimer IEEE Transactions on software engineering 36 (4), 546-558, 2009 | 526 | 2009 |
Modeling bug report quality P Hooimeijer, W Weimer Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 465 | 2007 |
Automated duplicate detection for bug tracking systems N Jalbert, W Weimer 2008 IEEE International Conference on Dependable Systems and Networks With …, 2008 | 405 | 2008 |
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 | 366 | 2015 |
The surprising creativity of digital evolution: A collection of anecdotes from the evolutionary computation and artificial life research communities J Lehman, J Clune, D Misevic, C Adami, L Altenberg, J Beaulieu, ... Artificial life 26 (2), 274-306, 2020 | 361 | 2020 |
Mining temporal specifications for error detection W Weimer, GC Necula Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 345 | 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 | 334 | 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 | 333 | 2013 |
Automatically documenting program changes RPL Buse, WR Weimer Proceedings of the 25th IEEE/ACM international conference on automated …, 2010 | 270 | 2010 |
Automatic program repair with evolutionary computation W Weimer, S Forrest, C Le Goues, TV Nguyen Communications of the ACM 53 (5), 109-116, 2010 | 254 | 2010 |
A metric for software readability RPL Buse, WR Weimer Proceedings of the 2008 international symposium on Software testing and …, 2008 | 254 | 2008 |
CCured in the real world J Condit, M Harren, S McPeak, GC Necula, W Weimer ACM SIGPLAN Notices 38 (5), 232-244, 2003 | 242 | 2003 |
Temporal-safety proofs for systems code TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer International Conference on Computer Aided Verification, 526-538, 2002 | 240 | 2002 |