Author of the publication

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.

, , , , , and . ICSE (1), page 529-539. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study., , , , and . ASE, page 502-514. IEEE, (2019)Scaling static taint analysis to industrial SOA applications: a case study at Alibaba., , , , , and . ESEC/SIGSOFT FSE, page 1477-1486. ACM, (2020)Detecting floating-point errors via atomic conditions., , , , , and . Proc. ACM Program. Lang., 4 (POPL): 60:1-60:27 (2020)Synthesizing Efficient Memoization Algorithms., , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 89-115 (October 2023)A case study on consistency management of business and IT process models in banking., , , , and . Softw. Syst. Model., 13 (3): 913-940 (2014)DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence., , , , , , , , , and 3 other author(s). CoRR, (2024)Synthesizing Efficient Dynamic Programming Algorithms., , , and . CoRR, (2022)Lyra: A Benchmark for Turducken-Style Code Generation., , , , , , and . CoRR, (2021)Black-Box Algorithm Synthesis - Divide-and-Conquer and More., , and . CoRR, (2022)Syntax Guided Neural Program Repair., , , , , , and . CoRR, (2021)