Termination analysis for imperative programs operating on the heap

von Brockschmidt, Marc Manuel Johannes
Veröffentlicht 2014

Self-Supervised Bug Detection and Repair

von Allamanis, Miltiadis
Veröffentlicht in NeurIPS (35. : 2021 : Online) 35th Conference on Neural Information Processing Systems (NeurIPS 2021) ; Volume 33 of 36 (2022)

PROGRAM SYNTHESIS AND SEMANTIC PARSING WITH LEARNED CODE IDIOMS

von Shin, Eui Chul
Veröffentlicht in NeurIPS (33. : 2019 : Vancouver, British Columbia) 32nd Conference on Neural Information Processing Systems (NeurIPS 2019) ; Volume 14 of 20 (2020)