One of the core missions of Microsoft Research Connections is to support the creation of software tools that advance data-intensive science, especially those tools that are judged praiseworthy by their creators’ peers. With this in mind, we were pleased to present the first Microsoft Research Distinguished Artifact Award at ESEC/FSE 2011, the joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
This new, competitive award honors the most outstanding software tool submitted to the ESEC/FSE series of conferences. As explained in the call for submissions, the Distinguished Artifact competition is intended to reward creation of artifacts and replication of experiments. An Artifact Evaluation Committee was established to review the submissions and to formally recognize those artifacts that pass muster and fast-track them for additional presentation. Artifacts deemed especially meritorious were singled out for special recognition in the proceedings and at the conference, and the creators of the best artifact received a prize of US$1,000, a handsome certificate, and a memento from the Pacific Northwest, the last a reminder of their friends at Microsoft Research Connections in Redmond, Washington.
Professor Andreas Zeller (left) presents the award to Jérôme Vouillon (right) while Christian Bird (center) of Microsoft Research looks on.
So, are you wondering which artifact took home the big prize? Well, wonder no more: the winning artifact was Coinst, an application based on the paper “On Software Component Co-Installability,” by Jérôme Vouillon of CNRS and Roberto Di Cosmo of Université Paris Diderot and INRIA. Coinst resolves the common and frustrating problem of finding co-installation conflicts; what’s more, it does so in a scientifically strong manner (by using a theorem prover), and it runs very effectively. Coinst not only satisfies all the expectations established in the paper, but exceeds them in several ways: by working quickly, performing better than presented in the paper, finding real errors in installed systems, and rapidly identifying frustrating problems that the reviewers have encountered in their own computer usage.
Professor Andreas Zeller of the University of Saarland, the initiator of the award, spoke about its importance, noting that “Far too often, researchers publish their results, but keep their data and tools for themselves. In the long term, this hurts science, because one cannot reproduce results or build on the achievements of others. Vouillon and Di Cosmo make their tools widely available and usable, providing value not only for other researchers, but for everyone. This way, they act as role models for the research community. With this award, we are proud to recognize their extraordinary efforts.”
The winners themselves had this to say: “Free software components are growing at an astonishing pace, and it is important to identify quality issues quickly. We show how to efficiently extract from huge collections of free software a compact representation that quickly identifies component incompatibilities that would go otherwise unnoticed for a long time. We are thrilled to provide a tool based on a sophisticated algorithm that has been machine checked and that paves the way for the large-scale analysis and visualization of software component collections.”
Well done, Jérôme and Roberto.
—Judith Bishop, Director of Computer Science, Microsoft Research Connections