Detecting Floating-Point Errors via Atomic Conditions

Daming Zou, Muhan Zeng, Yingfei Xiong^*, Zhoulai Fu, Lu Zhang, Zhendong Su

POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States · January 2020

Read paper View BibTeX Video (China)Video (Intl)

BibTeX

@inproceedings{POPL20,
  author = {Daming Zou and Muhan Zeng and Yingfei Xiong and Zhoulai Fu and Lu Zhang and Zhendong Su},
  title = {Detecting Floating-Point Errors via Atomic Conditions},
  year = {2020},
  month = {1},
  booktitle = {POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States},
  site_corr = {3},
  site_links_json = {[{"caption":{"zh":"视频(国内)","en":"Video (China)"},"url":{"en":"https://www.biantube.com/watch/IhUU7HztFnk"}},{"caption":{"zh":"视频(海外)","en":"Video (Intl)"},"url":{"en":"https://www.youtube.com/watch/IhUU7HztFnk"}}]}
}