Zobrazeno 1 - 10
of 129
pro vyhledávání: '"Gonzalez, Cindy"'
Autor:
Laguna, Ignacio, Chapman, Patrick, Parasyris, Konstantinos, Georgakoudis, Giorgis, Rubio-González, Cindy
We present a randomized differential testing approach to test OpenMP implementations. In contrast to previous work that manually creates dozens of verification and validation tests, our approach is able to randomly generate thousands of tests, exposi
Externí odkaz:
http://arxiv.org/abs/2410.09191
Density Functional Theory (DFT) is used extensively in the computation of electronic properties of matter, with various applications. Approximating the exchange-correlation (XC) functional is the key to the Kohn-Sham DFT approach, the basis of most D
Externí odkaz:
http://arxiv.org/abs/2408.05316
Autor:
Gokhale, Maya, Gopalakrishnan, Ganesh, Mayo, Jackson, Nagarakatte, Santosh, Rubio-González, Cindy, Siegel, Stephen F.
This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing (CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference (FCRC) 2023. CSC was conceived by DOE and NSF to address the growing concern
Externí odkaz:
http://arxiv.org/abs/2312.15640
Autor:
Godoy, William F., Arora, Ritu, Beattie, Keith, Bernholdt, David E., Bratt, Sarah E., Katz, Daniel S., Laguna, Ignacio, Maji, Amiya K., Thakur, Addi Malviya, Mudafort, Rafael M., Sukhija, Nitin, Rouson, Damian, Rubio-González, Cindy, Vahi, Karan
The Better Scientific Software Fellowship (BSSwF) was launched in 2018 to foster and promote practices, processes, and tools to improve developer productivity and software sustainability of scientific codes. BSSwF's vision is to grow the community wi
Externí odkaz:
http://arxiv.org/abs/2211.07436
Autor:
Demmel, James, Dongarra, Jack, Gates, Mark, Henry, Greg, Langou, Julien, Li, Xiaoye, Luszczek, Piotr, Pereira, Weslley, Riedy, Jason, Rubio-González, Cindy
Numerical exceptions, which may be caused by overflow, operations like division by 0 or sqrt(-1), or convergence failures, are unavoidable in many cases, in particular when software is used on unforeseen and difficult inputs. As more aspects of socie
Externí odkaz:
http://arxiv.org/abs/2207.09281
Autor:
Miao, Dolores, Laguna, Ignacio, Georgakoudis, Giorgis, Parasyris, Konstantinos, Rubio-González, Cindy
Publikováno v:
In Parallel Computing September 2024 121
Publikováno v:
In Journal of Surgical Research January 2024 293:46-49
Datasets play an important role in the advancement of software tools and facilitate their evaluation. BugSwarm is an infrastructure to automatically create a large dataset of real-world reproducible failures and fixes. In this paper, we respond to Du
Externí odkaz:
http://arxiv.org/abs/1910.13058
Autor:
Tomassi, David A., Dmeiri, Naji, Wang, Yichen, Bhowmick, Antara, Liu, Yen-Chuan, Devanbu, Premkumar, Vasilescu, Bogdan, Rubio-González, Cindy
Fault-detection, localization, and repair methods are vital to software quality; but it is difficult to evaluate their generality, applicability, and current effectiveness. Large, diverse, realistic datasets of durably-reproducible faults and fixes a
Externí odkaz:
http://arxiv.org/abs/1903.06725
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.