×

Parallel Search in Program Synthesis

  • US 20190332704A1
  • Filed: 04/26/2018
  • Published: 10/31/2019
  • Est. Priority Date: 04/26/2018
  • Status: Active Grant
First Claim
Patent Images

1. A method for parallel scheduling in program synthesis, the method comprising operations performed using an electronic processor, the operations comprising:

  • receiving a task to synthesize in a domain specific language (DSL);

    synthesizing the task, wherein synthesizing of the task comprises;

    generating a plurality of sub-goals based on the task, wherein the synthesized task comprises a solved subset of the plurality of the sub-goals;

    determining an estimated completion time for each of the plurality of sub-goals, wherein each of the plurality of sub-goals is expressed using the DSL;

    scheduling the plurality of the sub-goals based on the estimated completion time, wherein at least two of the plurality of the sub-goals are scheduled to be executed in parallel; and

    solving the plurality of sub-goals based on the scheduling to synthesize the task in the DSL, wherein an elapsed real time to complete the synthesizing the task is reduced compared to scheduling the sub-goals in an order based on sub-goal generation.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×