[PRL] my thesis proposal talk

[Dimitris Vardoulakis]

Hi guys,

I've been trying to have someone announce my proposal talk on the colloq
mailing list for 2 days now (!) but it turns out it's not as simple as it
sounds. So I'm posting the announcement here, and you may get an official
announcement too later.

-- 
Dimitris

------------------------------------------------------------------------------------------------------------------------


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)
-------------- next part --------------
HTML attachment scrubbed and removed