程序设计语言研究室在POPL'20发表浮点误差检测论文

2020年1月,程序设计语言原理大会POPL在美国召开,程序设计语言研究室在该会议上发表一篇论文Detecting Floating-Point Errors via Atomic Conditions。该论文提出全新的方式检测程序中存在的显著浮点误差,相对于现有工作浮点误差检测技术效率提升多个数量级。


POPL是程序设计语言领域的顶级会议,对论文水平一直有较高要求,该会议此前召开的46届中国大陆只发表了6篇论文。

上一条:程序设计语言研究室在PLDI'20发表交互式程序综合论文