The ACM SIGSOFT Impact Paper Award 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 includes a $1000 honorarium to be split amongst the authors as they choose, an award plaque for each author, an invitation for the authors to present a keynote talk at the current year's annual SIGSOFT Foundations of Software Engineering (FSE) symposium, as well as inclusion of a full-length paper in the SIGSOFT conference proceedings. Up to three authors will be provided support for travel to FSE, with each receiving up to $2500 within their home continent and up to $3000 outside their home continent, including airfare, hotel, and conference registration for FSE.
The award given in year N is for a highly influential paper presented at a conference held in calendar year N-10 or prior. A selection committee and selection committee chair will be selected by the current SIGSOFT Executive Committee. Nominations will be solicited annually during the December prior to the award year, via major mailing lists and web forums. Additionally, the committee may consider highly cited SIGSOFT papers from the N-10 publication year, as well as highly cited SIGSOFT papers from years prior to the N-10 year in exceptional cases. A multi-round ranking procedure will be used to identify the top few papers, and then a final decision will be made by consensus of the committee. The committee chair shall adjudicate conflicts of interest, appointing substitutes to the committee as necessary. For purposes of continuity, committee members may remain on the committee for up to three years. The award committee shall be no less than three people in size.
To submit a nomination for the award, please use the awards nomination portal. Nominations are due no later than December 15 of each year.
If you have questions about this award, please contact sigsoft-impact-award (at) acm (dot) org.
|2021||Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns of Property Specifications for Finite-State Verification. In Proceedings of the 21st Internation Conference on Software Engineering (ICSE 1999, Los Angeles, California, May 1999). "For enabling widespread use of temporal logic for program verification by raising the level of abstraction to common patterns."|
|2020||Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park. Model Checking Programs. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000, Grenoble, France, 11-15 Sep 2000).|
|2019||Koushik Sen, Darko Marinov and Gul Agha. CUTE: A Concolic Unit Testing Engine for C. In Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of Software Engineering (ESEC/FSE-13, Lisbon, Portugal, 5-9 Sep 2005).|
|2018||Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, and Stephane Glondu. DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. In Proceedings of the 29th Internation Conference on Software Engineering (ICSE '07, Minneapolis, Minnesota, 20-26 May 2007).|
|2017||Roy T. Fielding and Richard N. Taylor. Principled Design of the Modern Web Architecture. In Proceedings of the 22nd Internation Conference on Software Engineering (ICSE '00, Limerick, Ireland, 5-7 June, 2000).|
|2016||Daniel Jackson and Mandana Vaziri. Finding bugs with a constraint solver. In Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '00, Portland, Oregon, 22-24 August, 2000).|
|2015||James A. Jones, Mary Jean Harrold, and John Stasko. Visualization of Test Information to Assist Fault Localization. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (Orlando, Florida, 19-24 May, 2002).|
|2014||Barbara Kitchenham, Tore Dybå, and Magne Jørgensen. Evidence-Based Software Engineering. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (Edinburgh, Scotland, 23-28 May, 2004).|
|2013||Michael Ernst, Jake Cockrell, Bill Griswold, and David Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. In ICSE '99: Proceedings of the 21st International Conference on Software Engineering (Los Angeles, California, 16-22 May, 1999).|
|2012||Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. Korat: Automated Testing Based on Java Predicates. In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (Roma, Italy, 22 - 24 July, 2002).|
|2011||Luca de Alfaro and Thomas A. Henzinger. Interface automata. In Proceedings of ESEC/FSE-9, the joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (Vienna, Austria, 10 - 14 September, 2001).|
|2010||James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng. Bandera: extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, 2000.|
|2009||Andreas Zeller. Yesterday, my program worked. Today, it does not. Why?. In Proceedings of the 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT international Symposium on Foundations of Software Engineering (Toulouse, France, 6 - 10 September, 1999). Foundations of Software Engineering. Springer-Verlag, London, 253-267. (Listen to Andreas' Impact Award keynote.)|
|2008||Rosenblum, D. S. and Wolf, A. L. A design framework for Internet-scale event observation and notification. In Proceedings of the 6th European SOFTWARE ENGINEERING Conference Held Jointly with the 5th ACM SIGSOFT international Symposium on Foundations of Software Engineering (Zurich, Switzerland, 22 - 25 September, 1997). M. Jazayeri and H. Schauer, Eds. Foundations of Software Engineering. Springer-Verlag New York, New York, NY, 344-360.|
|Awarded in 2012||
|Awarded in 2011||
|Awarded in 2010||
|Awarded in 2009||
|Awarded in 2008||