sypet


  • SyPet is a novel type-directed tool for component-based synthesis. The key novelty of our approach is the use of a compact Petri-net representation to model relationships between methods in an api. Given a target method signature S, our approach performs reachability analysis on the underlying Petri-net model to identify sequences of method calls that could be used to synthesize an implementation of S. The programs synthesized by our algorithm are guaranteed to type check and pass all test cases provided by the user.