Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a 15-minute conference presentation introducing RestPi, a novel type inference engine that automatically generates REST API specifications using path-sensitive analysis. Learn how this innovative approach addresses the challenge of creating comprehensive API documentation by encoding symbolic path-constraints directly into a type system, enabling the enumeration of all possible response types by analyzing distinct execution paths through endpoint implementations. Discover the technical implementation for Ruby-based REST API servers and examine evaluation results from 132 endpoints across 5 open-source implementations, demonstrating superior precision and completeness compared to traditional HTTP proxy methods. Understand the significance of path-sensitivity as a key technique for accurately identifying distinct response types in REST endpoints, with practical implications for modern interconnected systems that rely on language-agnostic communication interfaces. Access accompanying research materials including the full academic paper, supplementary archives with reproducible artifacts, and detailed experimental data that validate the effectiveness of this approach to automated API specification generation.
