RestPi: Path-Sensitive Type Inference for REST APIs
summary
REST𝜋 implements path-sensitive type inference for Ruby on Rails servers and automatically generates OpenAPI‑style specs by encoding symbolic path constraints into types. It analyzes 132 endpoints from five projects, finding 165 distinct error responses versus 72 from proxy‑based dynamic inference and discovering 985 response fields never seen by tests. It avoids exponential path blowup by pushing path implications under hash keys, leaves path conditions uninterpreted for now, and ships reproducible artifacts and benchmarks.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:46REST API challenges
- 3:10Current API inference
- 4:57Limitations of API inference
- 5:40Path-sensitive type systems
- 7:05Demonstration of path-sensitive type inference on code
- 8:29Handling path explosion
- 11:37Benchmark results
- 13:21RestPi advantages
- 14:02Q&A
related talks
22mSpecification-Driven Development of REST APIs
52mREST: I don't Think it Means What You Think it Does
41mReST 3.0 – A lap around HTTP Apis' next generation
50mThe Fashion for REST - Creating Beautiful APIs
01h 04mThe Rest of ReST
42mBuilding Better Web APIs with Rails
42mLet’s Have Some Effective REST!
01h 39mLet’s have some Effective REST