Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a 14-minute conference presentation from OOPSLA 2025 that introduces Sprout, an innovative system for automatically migrating programs across input/output APIs while guaranteeing behavioral equivalence. Learn how modern storage technology advances necessitate new I/O APIs to maximize performance benefits, and discover the significant challenges developers face when migrating existing software due to computational model mismatches and complex code structures around stateful, non-contiguous multi-API call sites. Understand how Sprout employs flow-sensitive pointer analysis to identify semantic variables, enabling typestate analysis for matching API semantics and synthesizing migrated programs. Examine experimental results with real-world C programs that demonstrate the efficiency and effectiveness of this approach, and see how the system can be adapted to other domains such as databases. Gain insights into cutting-edge research in static analysis, program synthesis, and program migration from researchers at Hong Kong University of Science and Technology and Peking University, presented at one of the premier conferences for programming language research.
