This spec proposed a Programming Service to be added to Cyborg to allow user dynamically change the functions loaded on FPGA in cloud environment