Stem tvla$ (all stems)
3 papers:
SEFM-2012-FerraraFJ #analysis- TVAL+ : TVLA and Value Analyses Together (PF, RF, UJ), pp. 63–77.
CAV-2007-BogudlovLRS #analysis #parametricity- Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.
SAS-2000-Lev-AmiS #analysis #implementation #named- TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.