The SpecGuru project is a collaborative project of Iowa State University (ISU), Bowling Green State University (BGSU), the University of Central Florida (UCF) the Penn State University (PSU), and the University of Texas, Dallas (UT Dallas). The overall project PI is Dr. Hridesh Rajan at Iowa State University, Department of Computer Science. The BGSU site is led by Dr. Robert Dyer. The UCF site is led by Dr. Gary T. Leavens. The PSU site is led by Dr. Vasant G. Honavar. The UT Dallas site is led by Dr. Tien N. Nguyen.
Despite their proven benefits, useful, comprehensible, and efficiently checkable specifications are not widely available. This is primarily because writing useful, non-trivial specifications from scratch is too hard, time consuming, and requires expertise that is not broadly available. Furthermore, the lack of specifications for widely-used libraries and frameworks, caused by the high cost of writing specifications, tends to have a snowball effect. Core libraries lack specifications, which makes specifying applications that use them expensive.
To contain the skyrocketing development and maintenance costs of high assurance systems, this self-perpetuating cycle must be broken. The labor cost of specifying programs can be significantly decreased via advances in specification inference and synthesis, and this has been attempted several times, but with limited success. We believe that practical specification inference and synthesis is an idea whose time has come. Fundamental breakthroughs in this area can be achieved by leveraging the collective intelligence available in software artifacts from millions of open source projects. Fine-grained access to such data sets has been unprecedented, but is now easily available. In this project we are making advances in specification inference that can be had by using such data sets to infer specifications.
This project has led to the following publications and other products.
This project has been supported in part by the US National Science Foundation under the grant “SHF: Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise.” PI: Hridesh Rajan and Co-I: Robert Dyer, Tien Nguyen, Gary T. Leavens, and Vasant Honavar (2015-2018). Links: ISU, BGSU, UCF, and PSU.
Having trouble with Pages? Contact us and we’ll help you sort it out.