This talk centers on Dr. Might's development of environment analysis---an analysis which breaks through limitations of twenty years standing in the static analysis of higher-order languages. Compared to previous techniques, Might's provide improvements in both power and precision, yet also reduce the cost of the compile-time analysis in practice. These advances have opened up new applications in optimization (via super-beta transformations), parallelism (via coroutine fusion) and security (via logic-flow analysis).

The talk will cover (1) the history of higher-order analysis (which encompasses both functional and object-oriented languages), (2) the present state of environment analysis and its applications, and (3) ongoing work in intertwining environment analysis with existing techniques to yield more powerful analyses.

Return to 2008 Events Calendar

---