Detecting Floating-Point Errors via Atomic Conditions

Keyphrases

• Publicly Available 33%
• Difficult Problem 33%
• Program Analysis 33%
• Debugging 33%
• Work-based 33%
• GitHub 33%
• Effective Approach 33%
• Oracle 33%
• Highly Effective 33%
• Numerical Libraries 33%
• Program Inputs 33%
• Numerical Code 33%
• Floating-point 33%
• Error Analysis 33%
• Implementation Evaluation 33%

Computer Science

• Floating Point 100%
• Program Analysis 25%
• Numerical Library 25%
• Library Function 25%
• Dynamic Analysis 25%
• Effective Approach 25%
• Condition Number 25%