Stem cfa$ (all stems)

6 papers:

POPL-2011-PrabhuRMH #analysis #named

EigenCFA: accelerating flow analysis with GPUs (TP, SR, MM, MWH), pp. 511–522.

ESOP-2010-VardoulakisS #analysis #approach #control flow #named

CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.

PLDI-2010-MightSH #functional #object-oriented #program analysis

Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.

ICFP-2008-HornM

Deciding kCFA is complete for EXPTIME (DVH, HGM), pp. 275–282.

VMCAI-2007-MightCS #model checking

Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.

POPL-2006-MightS #analysis

Environment analysis via Delta CFA (MM, OS), pp. 127–140.