Topics in Programming Languages: Bidirectional Programming and Synthesis

CMSC 32001 (Spring 2019) | Ravi Chugh | W 1:00-3:30pm | JCL 280

Seminar Format

• Paper summaries, emailed to me by 12:00pm before class.
• Course project, arranged with instructor.

Week 1 (W Apr 3 @ JCL 345)

• Planning

Week 2 (W Apr 10)

• HoBIT: Programming Lenses without using Lens Combinators (ESOP 2018)
• A Bidirectional Krivine Machine (Draft 2019)
• Optional: Applicative Bidirectional Programming with Lenses (ICFP 2015)
• Optional: Bidirectional Evaluation with Direct Manipulation (OOPSLA 2018)

Week 3 (W Apr 17)

• Type-and-Example-directed Program Synthesis (PLDI 2015)
• Live Functional Programming with Typed Holes (POPL 2019)

Week 4 (W Apr 24)

• Functional Programs that Explain their Work (ICFP 2012)
• Optional: A Core Calculus for Provenance (Journal of Computer Security 2013)

Week 5 (W May 1)

Week 6 (W May 8)

• Resource-Guided Program Synthesis (PLDI 2019)
• Optional: Program Synthesis from Polymorphic Refinement Types (PLDI 2016)
• Optional: Towards Automatic Resource Bound Analysis for OCaml (POPL 2017)

Week 7 (W May 15)

• Component-Based Synthesis for Complex APIs (POPL 2017)

Week 8 (W May 22 @ JCL 356)

Week 9 (W May 29)

Week 10 (W Jun 5)

• Composing Bidirectional Programs Monadically (ESOP 2019)
• Optional: Invertible Syntax Descriptions:Unifying Parsing and Pretty Printing (Haskell 2010)
• Optional: FliPpr: A Prettier Invertible Printing System (ESOP 2013)

Week 11a (T Jun 11 1pm @ JCL 373)

• Imperative Functional Programs That Explain Their Work (ICFP 2017)

Week 11b (W Jun 12 1pm @ JCL 280)

• Hoare Type Theory, Polymorphism, and Separation (JFP 2008)

Potential Reading List

Bidirectional Programming

• Three Complementary Approaches to Bidirectional Programming (SSGIP 2012)
• Symmetric Lenses (POPL 2011)
• Edit Lenses (POPL 2012)
• Synthesizing Bijective Lenses (POPL 2018)
• Synthesizing Quotient Lenses (ICFP 2018)
• Synthesizing Symmetric Lenses (ICFP 2019)
• Designing Constraint Maintainers for User Interaction (1998)

Program Synthesis

• Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples (PLDI 2017)
• Augmented Example-based Synthesis (arXiv 2018)
• Structuring the Synthesis of Heap-Manipulating Programs (POPL 2019)
• Foofah: Transforming Data by Example (SIGMOD 2017)
• Live Programming by Example (CHI 2019 Extended Abstracts)
• Papers from 2016 Seminar
• Papers from 2017 Seminar