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 defects and vulnerabilities in existing software and to create new software 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 generation and analysis of persistent semantic artifacts, identification and repair of defects, and inference and synthesis of specifications. 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, 2018
- Source ID
- 6277dd7de4e2376c952b0da6ac0611d3