Westley Weimer
Westley Weimer
Professor Computer Science, University of Michigan
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
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
33392000
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
12552002
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
8452002
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
8422002
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
7052011
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
6932009
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
5202012
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
4102005
Modeling bug report quality
P Hooimeijer, W Weimer
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
3462007
Automated duplicate detection for bug tracking systems
N Jalbert, W Weimer
2008 IEEE International Conference on Dependable Systems and Networks With …, 2008
3062008
Mining temporal specifications for error detection
W Weimer, GC Necula
International Conference on Tools and Algorithms for the Construction and …, 2005
2802005
Learning a metric for code readability
RPL Buse, WR Weimer
IEEE Transactions on Software Engineering 36 (4), 546-558, 2009
2702009
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
2422009
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
2222002
CCured in the real world
J Condit, M Harren, S McPeak, GC Necula, W Weimer
ACM SIGPLAN Notices 38 (5), 232-244, 2003
2212003
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
2172013
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
1952010
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
1722015
Current challenges in automatic software repair
C Le Goues, S Forrest, W Weimer
Software quality journal 21 (3), 421-443, 2013
1652013
A metric for software readability
RPL Buse, WR Weimer
Proceedings of the 2008 international symposium on Software testing and …, 2008
1652008
The system can't perform the operation now. Try again later.
Articles 1–20