Æȷοì
Westley Weimer
Westley Weimer
Professor Computer Science, University of Michigan
umich.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
36232000
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
13462002
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
12212011
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
9822002
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
9792002
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
9662009
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
7452012
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
5142005
Learning a metric for code readability
RPL Buse, WR Weimer
IEEE Transactions on software engineering 36 (4), 546-558, 2009
4762009
Modeling bug report quality
P Hooimeijer, W Weimer
Proceedings of the 22nd IEEE/ACM international conference on Automated ¡¦, 2007
4542007
Automated duplicate detection for bug tracking systems
N Jalbert, W Weimer
2008 IEEE International Conference on Dependable Systems and Networks With ¡¦, 2008
3892008
Mining temporal specifications for error detection
W Weimer, GC Necula
Tools and Algorithms for the Construction and Analysis of Systems: 11th ¡¦, 2005
3372005
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
3362015
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
3252009
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
3122013
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
3102020
Automatically documenting program changes
RPL Buse, WR Weimer
Proceedings of the 25th IEEE/ACM international conference on automated ¡¦, 2010
2482010
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
2422010
A metric for software readability
RPL Buse, WR Weimer
Proceedings of the 2008 international symposium on Software testing and ¡¦, 2008
2412008
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
2402002
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20