Paper on Interactive Program Synthesis at PLDI'20

Researchers from the Programming Languages Lab recently presented their paper "Question Selection for Interactive Program Synthesis" at the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'20). This paper tackles the problem of how to select proper questions to miminize the rounds of interactions in interactive program synthesis.

The leading author, Ruyi Ji, is currently a fourth-year undergraduate at Peking University. He is the first undergraduate ever to publish a first-author PLDI paper in China.

Previous Article:ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'20
Next Article:Paper on Detecting Floating-Point Errors at POPL'20