Multi-modal synthesis of regular expressions.

Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig

Browse the full PLDI paper archive.