VerticA: Towards Integrated, Trustworthy, Scripting Languages
Abstract
The goal of Vertical is to push the boundaries of program analysis. In particular, we aim to make practical andfoundational advance""s in the analysis of dynamic languages. We propose a combination of dynamic program analysis,static program analysis, machine learn"ing and program verification to provide cross-cutting guarantees about theexecution of programs written in those languages. To the" best our knowledge, this is the first attempt to address thecomplete spectrum of challenges for assured execution of dynamic langu"ages.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 29, 2017
- Source ID
- N000141712945
Entities
People
- Jan Vitek
Organizations
- Northeastern University
- Office of Naval Research
- United States Navy