Scholar
Westley Weimer
Google Scholar ID: Tj-vav8AAAAJ
Professor Computer Science, University of Michigan
Citations & Impact
Citations
6,509
H-index
39
i10-index
96
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Published papers: 'Decoding the representation of code in the brain: An fMRI study of code review and expertise' (Distinguished Paper Award, ICSE 2017), 'GenProg: A Generic Method for Automated Software Repair' (Featured Article Award, IEEE TSE 2012), 'Using Dynamic Analysis to Discover Polynomial and Array Invariants' (Distinguished Paper Award, ICSE 2012), 'Modeling Readability to Improve Unit Tests' (Distinguished Paper Award, FSE 2015). Maintains Computer Science Graduate School Application Guide and Computer Science Graduate Job and Interview Guide.
Research Experience
- Current major research projects involve medical imaging and consciousness; automated program repair, such as the GenProg algorithm; autonomous vehicles sub-project; program analysis and transformation; improving software properties, etc.
Background
- Research interests include consciousness, time, and advancing software quality using both static and dynamic programming language approaches. Particularly focused on automatic or minimally-guided techniques that can scale and be applied easily to large, existing programs. Aims to help programmers address defects, understand programs, and program correctly.
Miscellany
- Office location is 4636 Beyster Building, with office hours from 9:30-10:30 AM on Thursdays, starting October 11th.
Co-authors