Type-Directed Program Synthesis for RESTful APIs
summary
Built a tool called epiphany that infers fine-grained semantic types from OpenAPI docs plus thousands of observed API call traces, uses a type-directed synthesizer to emit map/filter-heavy programs for REST workflows, and ranks results by retrospective execution—stitching past invocation traces to approximate program runs without hitting rate limits. Epiphany finds desired solutions for 29 of 32 benchmarks within 150s, beats coarse OpenAPI types (4 solved), and raises top-10 hits from 12 to 23.
AI-written summary · about
chapters (8)
- 0:00Motivation for synthesis
- 1:14Defining specifications
- 3:02Semantic type synthesis
- 5:14Constructing semantic types
- 8:03Refining semantic types
- 9:34Retrospective execution
- 14:10Evaluation and results
- 15:37Q&A session
related talks
22mSpecification-Driven Development of REST APIs
15mRestPi: Path-Sensitive Type Inference for REST APIs
30mLeveraging Prompt Engineering for Effective OpenAPI Descriptions of APIs
24mGraphQL, gRPC, REST, Oh My! - A Method for Unified API Design
06mKeynote: APIs, the Universe, and Everything
59mDriving better outcomes through API first development
33mBad API Observability
30mGraphQL, gRPC and REST, Oh My! A Method for Unified API Design