Topics in Programming Languages: Bidirectional Programming and Synthesis

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


Seminar Format


Week 1 (W Apr 3 @ JCL 345)

Week 2 (W Apr 10)

Week 3 (W Apr 17)

Week 4 (W Apr 24)

Week 5 (W May 1)

Week 6 (W May 8)

Week 7 (W May 15)

Week 8 (TBD W May 22 @ JCL 356)

Week 9 (W May 29)

Week 10 (W Jun 5)


Potential Reading List

Bidirectional Programming

Program Synthesis