Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005.
Lecture 14: Multivariate Distributions Probability Theory and Applications Fall 2005 October 25.
Random Interpretation Sumit Gulwani UC-Berkeley. 1 Program Analysis Applications in all aspects of software development, e.g. Program correctness Compiler.
Lecture 14: Multivariate Distributions