About SureLogicRoots in Carnegie Mellon University Computer Science
SureLogic applies a decade of research of Carnegie Mellon University Computer Science into practical and effective approaches to support software development. The research, which has involved more than ten researchers, has focused on the aggressive application of program analysis techniques to support developer productivity, software assurance, and performance improvement. Because the work was guided from the outset by considerations of scale, usability by working developers, and use within and among teams, the resulting technologies have unique value in software development. They offer competitive advantage to software teams working at all levels of scale and sophistication. High-end sophisticated teams benefit as much or even more than mainstream teams.
Relationships with industry and government partners have enabled a series of extensive early adopter trials with top-tier software vendors, aerospace critical-systems developers, government laboratories, and other leading development organizations. These early adopter trials have been coupled with intense commercial development to lead to unique offerings to support developer productivity, software assurance, and performance improvement. The tools are proven on the largest existing Java code bases and with a wide range of software development practices and tool configurations.