added publications for tool and codegen paper