@PhdThesis{       Vardoulakis,
  Author        = "Vardoulakis, Dimitrios",
  date-added    = "2013-07-01 15:15:18 +0000",
  date-modified = "2013-07-01 15:15:48 +0000",
  Keywords      = "control-flow analysis",
  Month         = "August",
  School        = "Northeastern University",
  Title         = "CFA2: Pushdown Flow Analysis for Higher-Order Languages",
  Year          = "2012",
  File          = "CFA2 Pushdown Flow Analysis for Higher-Order Languages - Vardoulakis (0) (0) - a - a - z.pdf",
  file-2        = "CFA2 Pushdown Flow Analysis for Higher-Order Languages - Vardoulakis (1) (0) - a - a - z.pdf"
}

@PhdThesis{ Vardoulakis, Author = "Vardoulakis, Dimitrios", date-added = "2013-07-01 15:15:18 +0000", date-modified = "2013-07-01 15:15:48 +0000", Keywords = "control-flow analysis", Month = "August", School = "Northeastern University", Title = "CFA2: Pushdown Flow Analysis for Higher-Order Languages", Year = "2012", File = "CFA2 Pushdown Flow Analysis for Higher-Order Languages - Vardoulakis (0) (0) - a - a - z.pdf", file-2 = "CFA2 Pushdown Flow Analysis for Higher-Order Languages - Vardoulakis (1) (0) - a - a - z.pdf" }