Oracle-Free Repair Synthesis for Floating-Point Programs

Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su

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

Read paper View 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}
}