Congratulations to George Avrunin!
SIGSOFT is the ACM Special Interest Group in Software Engineering. The SIGSOFT Impact Paper Award (http://www.sigsoft.org/awards/impactPaperAward.html) is "presented annually to the author(s) of a paper presented at a SIGSOFT-sponsored or co-sponsored conference held at least 10 years prior to the award year. In including all of SIGSOFT's conferences in the competition, this award recognizes the breadth and vitality of the software engineering community. The papers are judged by their influence since their publication." The award recognizes a 1999 paper by Avrunin and two co-authors for "enabling widespread use of temporal logic for program verification by raising the level of abstraction to common patterns." The paper receiving the award is currently listed by the ACM as the fifth-most cited paper in software engineering.
Department of Mathematics and Statistics