Mining and Understanding Software Enclaves (MUSE)
Abstract
The Mining and Understanding Software Enclaves (MUSE) program is developing program analyses and frameworks for improving the resilience and reliability of complex software applications at scale. MUSE techniques will apply machine learning algorithms to large software corpora to repair likely defects and vulnerabilities in existing programs and to discover new programs that conform to desired behaviors and specifications. MUSE frameworks will enable robust execution of large-scale and data-intensive computations. Specific technical challenges include persistent semantic artifact generation and analysis, defect identification and repair, pattern recognition, and specification inference and synthesis. MUSE research will improve the security of intelligence-related applications and enhance computational capabilities in areas such as automated code maintenance and revision management, low-level systems implementation, graph processing, entity extraction, link analysis, high-dimensional data analysis, data/event correlation, and visualization.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2017
- Source ID
- c5c33c7fb7cb02d50ac06ad8ec79a941