CAREER: Filling the Gaps in Domain-Specific Functional-Based Solutions High-Performance Execution
Project Award Date: 06-01-2014
Software engineering, at its heart, is about making compromises between the overall efficiency of an implementation and the clarity, agility and mantainability of the code base. This abstraction gap between intent and practice is especially acute during the development of high assurance or high performance software systems. The investigator believes that we can develop high-level models and efficient implementations concurrently under a single, semi-formal framework that bridges the abstraction gap with aggressive, user-assisted program refinement technology.