程序设计语言研究室在POPL'20发表浮点误差检测论文
时间:2020年01月28日 15:00 来源:作者:
2020年1月,程序设计语言原理大会POPL在美国召开,程序设计语言研究室在该会议上发表一篇论文Detecting Floating-Point Errors via Atomic Conditions。该论文提出全新的方式检测程序中存在的显著浮点误差,相对于现有工作浮点误差检测技术效率提升多个数量级。
POPL是程序设计语言领域的顶级会议,对论文水平一直有较高要求,该会议此前召开的46届中国大陆只发表了6篇论文。