New Results - Verification, compilation, optimization and simulation issues