default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCindy Rubio-González
Person information
- affiliation: University of California, Davis, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[i10]Hao-Nan Zhu, Robert M. Furth, Michael Pradel, Cindy Rubio-González:
From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets. CoRR abs/2504.17977 (2025)- 2024
- [j2]Dolores Miao
, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González:
An automated OpenMP mutation testing framework for performance optimization. Parallel Comput. 121: 103097 (2024) - [c36]Dolores Miao, Ignacio Laguna, Cindy Rubio-González:
Input Range Generation for Compiler-Induced Numerical Inconsistencies. ICS 2024: 201-212 - [c35]Yutong Wang, Cindy Rubio-González:
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning. ICSE 2024: 15:1-15:13 - [c34]Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González:
MUPPET: Optimizing Performance in OpenMP via Mutation Testing. PMAM@PPoPP 2024: 22-31 - [c33]Jackson Vanover, Alper Altuntas, Cindy Rubio-González:
Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. SC Workshops 2024: 148-159 - [c32]Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur:
Towards Verifying Exact Conditions for Implementations of Density Functional Approximations. SC Workshops 2024: 160-169 - [c31]Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-González:
Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. SC Workshops 2024: 577-587 - [c30]Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur:
Interleaving Static Analysis and LLM Prompting. SOAP@PLDI 2024: 9-17 - [e8]Raphaël Monat, Cindy Rubio-González:
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024. ACM 2024 [contents] - [i9]Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur:
Towards Verifying Exact Conditions of Density Functional Theory Approximations. CoRR abs/2408.05316 (2024) - [i8]Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-González:
Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. CoRR abs/2410.09191 (2024) - 2023
- [c29]Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González:
Actionsremaker: Reproducing GITHUB Actions. ICSE Companion 2023: 11-15 - [c28]Hao-Nan Zhu, Cindy Rubio-González:
On the Reproducibility of Software Defect Datasets. ICSE 2023: 2324-2335 - [c27]Dolores Miao, Ignacio Laguna, Cindy Rubio-González:
Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. ISC 2023: 381-401 - [e7]Cindy Rubio-González:
Proceedings of the 1st International Workshop on Software Defect Datasets, SDD 2023, San Francisco, CA, USA, 8 December 2023. ACM 2023 [contents] - [i7]Maya B. Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel:
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR abs/2312.15640 (2023) - 2022
- [j1]William F. Godoy, Ritu Arora, Keith Beattie, David E. Bernholdt, Sarah E. Bratt, Daniel S. Katz, Ignacio Laguna, Amiya K. Maji, Addi Malviya-Thakur, Rafael M. Mudafort, Nitin Sukhija, Damian W. I. Rouson, Cindy Rubio-González, Karan Vahi:
Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship. Comput. Sci. Eng. 24(5): 6-13 (2022) - [c26]James Demmel, Jack J. Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye S. Li, Piotr Luszczek, Weslley S. Pereira, E. Jason Riedy, Cindy Rubio-González:
Proposed Consistent Exception Handling for the BLAS and LAPACK. Correctness@SC 2022: 1-9 - [e6]Ignacio Laguna, Cindy Rubio-González:
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. IEEE 2022, ISBN 978-1-6654-6335-5 [contents] - [i6]James Demmel, Jack J. Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye S. Li, Piotr Luszczek, Weslley da Silva Pereira, E. Jason Riedy, Cindy Rubio-González:
Proposed Consistent Exception Handling for the BLAS and LAPACK. CoRR abs/2207.09281 (2022) - [i5]William F. Godoy, Ritu Arora, Keith Beattie, David E. Bernholdt, Sarah E. Bratt, Daniel S. Katz, Ignacio Laguna, Amiya K. Maji, Addi Malviya-Thakur, Rafael M. Mudafort, Nitin Sukhija, Damian W. I. Rouson, Cindy Rubio-González, Karan Vahi:
Giving RSEs a Larger Stage through the Better Scientific Software Fellowship. CoRR abs/2211.07436 (2022) - 2021
- [c25]Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock:
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC 2021: 9-15 - [c24]Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González:
Fixing dependency errors for Python build reproducibility. ISSTA 2021: 439-451 - [c23]David A. Tomassi, Cindy Rubio-González:
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. ASE 2021: 292-303 - [e5]Ignacio Laguna, Cindy Rubio-González:
5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021. IEEE 2021, ISBN 978-1-6654-2061-7 [contents] - 2020
- [c22]Hui Guo, Cindy Rubio-González:
Efficient generation of error-inducing floating-point inputs via symbolic execution. ICSE 2020: 1261-1272 - [c21]Jackson Vanover, Xuan Deng, Cindy Rubio-González:
Discovering discrepancies in numerical libraries. ISSTA 2020: 488-501 - [c20]Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González:
Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP 2020: 187-201 - [c19]Hui Guo, Ignacio Laguna, Cindy Rubio-González:
pLiner: isolating lines of floating-point code for compiler-induced variability. SC 2020: 49 - [e4]Ignacio Laguna, Cindy Rubio-González:
4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020. IEEE 2020, ISBN 978-0-7381-1044-8 [contents]
2010 – 2019
- 2019
- [c18]David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González:
BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes. ICSE 2019: 339-349 - [c17]Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur:
Effective error-specification inference via domain-knowledge expansion. ESEC/SIGSOFT FSE 2019: 466-476 - [e3]Ignacio Laguna, Cindy Rubio-González:
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019. IEEE 2019, ISBN 978-1-7281-6015-3 [contents] - [i4]Naji Dmeiri, David A. Tomassi, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González:
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes. CoRR abs/1903.06725 (2019) - [i3]David A. Tomassi, Cindy Rubio-González:
A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair. CoRR abs/1910.13058 (2019) - 2018
- [c16]Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-based function embeddings. ICSE (Companion Volume) 2018: 430-431 - [c15]Hui Guo, Cindy Rubio-González:
Exploiting community structure for floating-point precision tuning. ISSTA 2018: 333-343 - [c14]Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-based function embedding and its application to error-handling specification mining. ESEC/SIGSOFT FSE 2018: 423-433 - [e2]Ignacio Laguna, Cindy Rubio-González:
2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018. IEEE 2018, ISBN 978-1-7281-0226-9 [contents] - [i2]Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-Based Function Embedding and its Application to Specification Mining. CoRR abs/1802.07779 (2018) - 2017
- [c13]Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González:
GitcProc: a tool for processing and classifying GitHub commits. ISSTA 2017: 396-399 - [c12]Anthony Di Franco, Hui Guo, Cindy Rubio-González:
A comprehensive study of real-world numerical bug characteristics. ASE 2017: 509-519 - [c11]Premkumar T. Devanbu, Pallavi Kudigrama, Cindy Rubio-González, Bogdan Vasilescu:
Timezone and time-of-day variance in GitHub teams: an empirical method and study. SWAN@ESEC/SIGSOFT FSE 2017: 19-22 - [e1]Ignacio Laguna, Cindy Rubio-González:
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. ACM 2017, ISBN 978-1-4503-5127-0 [contents] - [i1]Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González:
Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports 7(8): 74-101 (2017) - 2016
- [c10]Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough:
Floating-point precision tuning using blame analysis. ICSE 2016: 1074-1085 - 2015
- [c9]Cathrin Weiss, Cindy Rubio-González, Ben Liblit:
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) 2015: 586-597 - 2014
- [c8]Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327 - [c7]Joel Galenson, Cindy Rubio-González, Sarah E. Chasins, Liang Gong:
Research.js: Evaluating Research Tool Usability on the Web. PLATEAU 2014: 53-54 - 2013
- [c6]Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough:
Precimonious: tuning assistant for floating-point precision. SC 2013: 27:1-27:12 - 2011
- [c5]Cindy Rubio-González, Ben Liblit:
Defective error/pointer interactions in the Linux kernel. ISSTA 2011: 111-121 - [c4]Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González:
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128 - 2010
- [c3]Cindy Rubio-González, Ben Liblit:
Expect the unexpected: error code mismatches between documentation and the real world. PASTE 2010: 73-80
2000 – 2009
- 2009
- [c2]Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau:
Error propagation analysis for file systems. PLDI 2009: 270-280 - 2008
- [c1]Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit:
EIO: Error Handling is Occasionally Correct. FAST 2008: 207-222
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-24 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
