Westley Weimer
Assistant Professor of Computer Science
Phone: (434) 924-1021
Fax: (434) 982-2214
Email:
weimer@cs.virginia.edu
Home Page:
Westley Weimer
Department of Computer Science
School of Engineering and Applied Science
University of Virginia
151 Engineer‘s Way,
P.O. Box 400740
Charlottesville,
Virginia 22904-4740
"Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away."
Areas Of Interest
Software quality and reliability
Biographical Sketch
Westley Weimer received his Ph.D. from UC Berkeley in 2005. He then joined the UVa Department of Computer Science as Assistant Professor of Computer Science. He is the author of eight refereed papers.
Research
Weimer's main research interest focus on advancing software quality by using both static and dynamic programming language approaches. Software quality and reliability are increasingly important, but software remains buggy. Weimer is particularly concerned with automatic or minimally-guided techniques that can scale and be applied easily to large, existing programs. He believes that only finding bugs is insufficient, and so he investigates ways to help programmers address defects and understand error reports. He is also interested in designing languages and features to help prevent errors. He uses concepts from other areas of computer science to help address software quality problems, and his research combines elements of databases, systems, and machine learning. One of his projects involves adding programming language support for more robust error-handling via first-class compensation stacks. It also uses specification mining techniques to automatically infer important resources and safety policies in the presence of run-time errors.
Selected Publications
- Mining Temporal Specifications for Error Detection, Westley Weimer and George Necula, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Edinburg, U.K., April 2005, pp. 461-476
- Finding and Preventing Run-Time Error Handling Mistakes, Westley Weimer and George Necula, Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, British Columbia, Canada, October 2004, pp. 419-431.
- CCured: Type-Safe Retrofitting of Legacy Software, George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and Westley Weimer, ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 27, Number 3, May 2005, pp. 477-526.
- CCured in the Real World, Jeremy Condit, Matthew Harren, George C. Necula, Scott McPeak, and Westley Weimer, Programming Language Design and Implementation (PLDI), California, June 2003, pp. 232-244.
- Temporal-Safety Proofs for Systems Code, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grigoire Sutre, and Westley Weimer, International Conference on Computer-Aided Verification, 2002, pp. 526-538.