Stem tvoc$ (all stems)

2 papers:

SAS-2010-Goldberg #framework #in memory #memory management #optimisation #pipes and filters #validation

Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework — In Memory of Amir Pnueli (BG), pp. 6–21.

CAV-2005-BarrettFGHPZ #compilation #named #optimisation #validation

TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.