[Colloq] Thesis Proposal Presentation: Dimitris Vardoulakis , 4/11/2011(Monday) at 1:00 PM

[Ravi Sundaram]

The College of Computer and Information Science presents:

Thesis Proposal Presentation:

Speaker: Dimitris Vardoulakis

Date: April 11, 2011 (Monday) at 1:00 PM
Where: WVH 366

Thesis title:  CFA2: Pushdown Flow Analysis for Higher-Order Languages

Abstract:

For my dissertation, I propose CFA2, a pushdown flow analysis for higher-order languages. CFA2 provides unbounded call/return matching in the presence of hard-to-analyze language features, such as first-class functions, tail recursion and first-class control. I demonstrate that call/return mismatch is the main reason for the limitations of existing analyses that are based on control-flow graphs, such as k-CFA. Therefore, CFA2 address all these limitations and is more suitable than control-flow graphs for higher-order flow analysis.

Thesis committee:

Olin Shivers (advisor)
Matthias Felleisen
Mitchell Wand
Alex Aiken (ext. member, Stanford University)