LELAND STANFORD JUNIOR UNIVERSITY, THE
Grant: $499,999 - National Science Foundation - Aug. 7, 2009
No votes have been cast for this award yet
Join the conversation: Post a comment about this award
Award Description: The project investigates statistical software analysis, which infers relationships among program components by using statistical properties derived from multiple program executions. To motivate statistical techniques, it is useful to draw analogies to static analysis methods. Static analysis is about inferring dependencies between program components: If a value is changed in one component, how does that affect a value in a different component? Static analysis tends to work best for properties that are local, meaning the pieces of the program we are trying to relate are not separated by a great deal of other computation. The statistical analog of dependencies is correlation. Instead of proving definitively via static reasoning the presence or absence of dependencies, we can observe at run-time that some properties of two components have high or low correlation. Importantly, correlation is not affected by syntactic or even dynamic locality: if two components have a correlation, regardless of how much time or computation passes between the execution of one component and the execution of the other, this correlation can be detected if the appropriate statistical question is asked. The initial focus is on using cross-correlation, which which computes the maximum correlation between two sequences of observations, to formalize statistical correlation between software components that have a direction in time. This idea gives rise to a natural graph that captures the strength and direction of statistical influence one component has upon another; these graphs are analogous to traditional dependency graphs, but have unique and useful properties.
Project Description: As defined in the Award Description field.
Jobs Summary: No Jobs created or retained yet. (Total jobs reported: 0)
Project Status: Less Than 50% Completed
This award's data was last updated on Aug. 7, 2009. Help expand these official descriptions using the wiki below.
No comments have been added for this project.