Speaker Dimitris Vardoulakis
Host Ben Livshits, RiSE
Affiliation Northeastern University
Date recorded 20 June 2011
Flow analysis is a valuable tool for creating better programming languages; its applications span optimization, debugging, verification and program understanding. Despite its apparent usefulness, flow analysis of higher-order programs has not been made practical. The reason is that existing analyses do not model function call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch results in imprecision and increases the analysis time.
©2011 Microsoft Corporation. All rights reserved.