Oracle-Free Repair Synthesis for Floating-Point Programs

OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL) · 2022年12月

阅读全文查看 BibTeX

BibTeX

@inproceedings{OOPSLA22,
  author = {Daming Zou and Yuchen Gu and Yuanfeng Shi and Mingzhe Wang and Yingfei Xiong and Zhendong Su},
  title = {Oracle-Free Repair Synthesis for Floating-Point Programs},
  year = {2022},
  month = {12},
  booktitle = {OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL)},
  site_hide_home = {true}
}