ACM SIGSOFT Impact Paper Award

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. 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.

Nominations for the Impact Paper Awards should be made electronically to sigsoft-impact-award@acm.org no later than December 15 of each year, and should include a brief citation and a succinct statement of the impact and importance of the work.

 

Previous Recipients of the Impact Paper Award and Paper Names

Annual Awards

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	Zeller, A. 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 here.))
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.

 

Retrospective Awards

Awarded in 2011

• Dewayne E. Perry and Alexander L. Wolf. Foundations for the Study of Software Architecture. In ACM SIGSOFT Software Engineering Notes, vol. 17, no. 4, October 1992.
• Thomas Reps, Susan Horowitz, Mooly Sagiv and Genevieve Rosay. Speeding Up Slicing. In Proc. Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, LA, USA, December 1994.
• David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch or Why It's Hard to Build Systems Out of Existing Parts. In Proc. 17th International Conference on Software Engineering, Seattle, WA, USA, April 1995.
• Gail C. Murphy, David Notkin and Kevin Sullivan. Software Reflexion Models: Bridging the Gap between Source and High-Level Models. In Proc. Third ACM SIGSOFT Symposium on Foundations of Software Engineering, Washington, DC, USA, October 1995.

Awarded in 2010

• Thomas Reps and Tim Teitelbaum. The Synthesizer Generator. In SDE 1, Proceedings of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984.
• Karl J. Ottenstein and Linda M. Ottenstein. The Program Dependence Graph in a Software Development Environment. In SDE 1, Proceedings of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984.
• Robert Balzer. Tolerating Inconsistency. In ICSE '91, Proceedings of the 13th International Conference on Software Engineering.
• David Lorge Parnas. Software Aging. In ICSE '94, Proceedings of the 16th International Conference on Software Engineering.

Awarded in 2009

• T.J. McCabe, A Complexity Measure. IEEE Transactions on Software Engineering, vol. 2, no. 4, pp. 308-320, July 1976.
• Rapps, S. and Weyuker, E. J. Data flow analysis techniques for test data selection. In Proceedings of the 6th international Conference on Software Engineering (Tokyo, Japan, September 13 - 16, 1982). International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 272-278.
• Reiss, S.P., PECAN: Program Development Systems that Support Multiple Views. Software Engineering, IEEE Transactions on , vol.SE-11, no.3, pp. 276-285. March 1985.
• Barry W. Boehm, A Spiral Model of Software Development and Enhancement. Computer, vol. 21, no. 5, pp. 61-72, May 1988.
• Royce, W. W. Managing the development of large software systems: concepts and techniques. In Proceedings of the 9th international Conference on Software Engineering (Monterey, California, United States). International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 328-338.

Awarded in 2008

• Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., and Shtul-Trauring, a. STATEMATE: a working environment for the development of complex reactive systems. In Proceedings of the 10th International Conference on Software Engineering (Singapore, April 11 - 15, 1988). International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 396-406.
• Ungar, D. Generation Scavenging: A non-disruptive high performance storage reclamation algorithm. SIGPLAN Not. 19, 5 -- ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (May. 1984), 157-167.
• Parnas, D. L., Clements, P. C., and Weiss, D. M. The modular structure of complex systems. In Proceedings of the 7th International Conference on Software Engineering (Orlando, Florida, United States, March 26 - 29, 1984). International Conference on Software Engineering. IEEE Press, Piscataway, NJ, 408-417.
• Weiser, M. Program slicing. In Proceedings of the 5th International Conference on Software Engineering (San Diego, California, United States, March 09 - 12, 1981). International Conference on Software Engineering. IEEE Press, Piscataway, NJ, 439-449.
• Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C. Abstraction mechanisms in CLU. In Proceedings of An ACM Conference on Language Design For Reliable Software (Raleigh, North Carolina, March 28 - 30, 1977). D. B. Wortman, Ed., 140.