Synthesizing Bijective Lenses - Type-Directed String Transformer Synthesis

Watch a 26-minute conference presentation from POPL 2018 exploring the development of Optician, an innovative tool for synthesizing bidirectional string transformers. Learn how the researchers tackle the challenge of automatically generating bijective lenses between different data formats using type-directed synthesis and concrete examples. Discover how the team revolutionized the synthesis process by creating a specialized lens language that maintains computational power while dramatically improving efficiency. Follow along as the speakers demonstrate Optician's practical applications through 39 benchmark examples, including real-world scenarios from Flash Fill and Augeas. Understand the technical breakthrough of navigating complex program search spaces involving regular expression theory and type systems to generate well-typed Boomerang programs that handle serialization, parsing, database views, and data conversion tasks.