IBM computer scientists have been at the forefront of scientific and technological innovation across a broad range of research areas. They have made pioneering contributions in artificial intelligence, high-speed processor design, computer architecture, natural language processing, programming languages, optimizing compilers, operating systems, storage systems, computer-supported cooperative work, databases, speech recognition, integer programming, and service-oriented architectures, to name a few.
Congratulations to Mandana Vaziri, IBM Thomas J Watson Research Center, who received the 2016 ACM SIGSOFT Impact Paper Award for her paper with Daniel Jackson: 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).
As described on the Award website: "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."