Steve Reiss and Shriram Krishnamurthi have just been awarded an NSF ITR grant, making a total of nine of these prestigious awards in the CS department. This grant, entitled 'Consistent software evolution,' provides $450,000 in funding and will last for three years.

The authors say of their project, 'Software is multidimensional: it has many representations besides the program source, including formal specifications, test suites, documentation and even the development history. As software evolves, these dimensions must stay consistent and reflect one another as thoroughly as possible. In practice, however, while these representations are usually consistent when first created, they ...