Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann 0002. Resource-guided program synthesis. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 253-268, ACM, 2019. [doi]
Abstract is missing.