Qiaochu Chen, Xinyu Wang 0006, Xi Ye, Greg Durrett, Isil Dillig. Multi-modal synthesis of regular expressions. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 487-502, ACM, 2020. [doi]
Abstract is missing.