Purdue University Programming Languages Group
Yanjun Wang will present Comparative Synthesis: Learning Near-Optimal Network Designs by Query at POPL’23!