Variational Byte Code (VarexC) Variational execute Java code by lifting the byte code. Work in progress. Alternative to VarexJ in which the interpreter is lifted. See wiki for design documentation.