So have we. We are doing more than just complaining about this sorry and costly state of affairs. SPT is a group of researchers who are focused on taking new or under-recognized ideas and turning them into useful tools that improve programmers' productivity. We are looking at a broad range of application domains and tools, since no single tool or technique will make programming a trivial exercise.
Software is humankind's most complex artifact.
As in most endeavors, the appropriate tool magnifies human creativity and imagination and makes the impossible possible. Its goals are to check that software satisfies critical behavioral properties of its interfaces and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. ESP is a project about finding the right level of precision of static analysis for use in practical error detection tools for large programs. StagedServer is a new architecture for high-performance server applications. Cohort Scheduling increases code and data locality by consecutively executing related operations across server requests.