EIO: Error Handling is Occasionally Correct. - Haryadi S. Gunawi; Cindy Rubio-González; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Ben Liblit (FAST, 2008)

Error propagation analysis for file systems. - Cindy Rubio-González; Haryadi S. Gunawi; Ben Liblit; Remzi H. Arpaci-Dusseau; Andrea C. Arpaci-Dusseau (PLDI, 2009)

Expect the unexpected: error code mismatches between documentation and the real world. - Cindy Rubio-González; Ben Liblit (PASTE, 2010)

Defective error/pointer interactions in the Linux kernel. - Cindy Rubio-González; Ben Liblit (ISSTA, 2011)

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. - Patrice Godefroid; Shuvendu K. Lahiri; Cindy Rubio-González (SAS, 2011)

Precimonious: tuning assistant for floating-point precision. - Cindy Rubio-González; Cuong Nguyen 001; Hong Diep Nguyen; James Demmel; William Kahan; Koushik Sen; David H. Bailey; Costin Iancu; David Hough 001 (SC, 2013)

The Gradual Verifier. - Stephan Arlt; Cindy Rubio-González; Philipp Rümmer; Martin Schäf; Natarajan Shankar (NASA Formal Methods, 2014)

Research.js: Evaluating Research Tool Usability on the Web. - Joel Galenson; Cindy Rubio-González; Sarah E. Chasins; Liang Gong (PLATEAU, 2014)

Database-Backed Program Analysis for Scalable Error Propagation. - Cathrin Weiss; Cindy Rubio-González; Ben Liblit (ICSE (1), 2015)

Floating-point precision tuning using blame analysis. - Cindy Rubio-González; Cuong Nguyen 001; Benjamin Mehne; Koushik Sen; James Demmel; William Kahan; Costin Iancu; Wim Lavrijsen; David H. Bailey; David Hough 001 (ICSE, 2016)

GitcProc: a tool for processing and classifying GitHub commits. - Casey Casalnuovo; Yagnik Suchak; Baishakhi Ray; Cindy Rubio-González (ISSTA, 2017)

A comprehensive study of real-world numerical bug characteristics. - Anthony Di Franco; Hui Guo 007; Cindy Rubio-González (ASE, 2017)

Timezone and time-of-day variance in GitHub teams: an empirical method and study. - Premkumar T. Devanbu; Pallavi Kudigrama; Cindy Rubio-González; Bogdan Vasilescu (SWAN@ESEC/SIGSOFT FSE, 2017)

Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). - Eva Darulova; Alastair F. Donaldson; Zvonimir Rakamaric; Cindy Rubio-González (Dagstuhl Reports, 2017)

Path-based function embeddings. - Daniel DeFreez; Aditya V. Thakur; Cindy Rubio-González (ICSE (Companion Volume), 2018)

Exploiting community structure for floating-point precision tuning. - Hui Guo 007; Cindy Rubio-González (ISSTA, 2018)

Path-based function embedding and its application to error-handling specification mining. - Daniel DeFreez; Aditya V. Thakur; Cindy Rubio-González (ESEC/SIGSOFT FSE, 2018)

Path-Based Function Embedding and its Application to Specification Mining. - Daniel DeFreez; Aditya V. Thakur; Cindy Rubio-González (CoRR, 2018)

BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes. - David A. Tomassi; Naji Dmeiri; Yichen Wang 004; Antara Bhowmick; Yen-Chuan Liu; Premkumar T. Devanbu; Bogdan Vasilescu; Cindy Rubio-González (ICSE, 2019)

Effective error-specification inference via domain-knowledge expansion. - Daniel DeFreez; Haaken Martinson Baldwin; Cindy Rubio-González; Aditya V. Thakur (ESEC/SIGSOFT FSE, 2019)

A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair. - David A. Tomassi; Cindy Rubio-González (CoRR, 2019)

Efficient generation of error-inducing floating-point inputs via symbolic execution. - Hui Guo 007; Cindy Rubio-González (ICSE, 2020)

Discovering discrepancies in numerical libraries. - Jackson Vanover; Xuan Deng; Cindy Rubio-González (ISSTA, 2020)

Detecting and reproducing error-code propagation bugs in MPI implementations. - Daniel DeFreez; Antara Bhowmick; Ignacio Laguna; Cindy Rubio-González (PPoPP, 2020)

pLiner: isolating lines of floating-point code for compiler-induced variability. - Hui Guo 007; Ignacio Laguna; Cindy Rubio-González (SC, 2020)

Guarding Numerics Amidst Rising Heterogeneity. - Ganesh Gopalakrishnan; Ignacio Laguna; Ang Li 006; Pavel Panchekha; Cindy Rubio-González; Zachary Tatlock (Correctness@SC, 2021)

Fixing dependency errors for Python build reproducibility. - Suchita Mukherjee; Abigail Almanza; Cindy Rubio-González (ISSTA, 2021)

On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. - David A. Tomassi; Cindy Rubio-González (ASE, 2021)

Proposed Consistent Exception Handling for the BLAS and LAPACK. - 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 (Correctness@SC, 2022)

Giving RSEs a Larger Stage through the Better Scientific Software Fellowship. - 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; et al. (CoRR, 2022)

Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship. - 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; et al. (Comput. Sci. Eng., 2022)

Actionsremaker: Reproducing GITHUB Actions. - Hao-Nan Zhu; Kevin Z. Guan; Robert M. Furth; Cindy Rubio-González (ICSE Companion, 2023)

On the Reproducibility of Software Defect Datasets. - Hao-Nan Zhu; Cindy Rubio-González (ICSE, 2023)

Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ISC, 2023)

Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. - Maya B. Gokhale; Ganesh Gopalakrishnan; Jackson Mayo; Santosh Nagarakatte; Cindy Rubio-González; Stephen F. Siegel (CoRR, 2023)

Input Range Generation for Compiler-Induced Numerical Inconsistencies. - Dolores Miao; Ignacio Laguna; Cindy Rubio-González (ICS, 2024)

Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning. - Yutong Wang; Cindy Rubio-González (ICSE, 2024)

MUPPET: Optimizing Performance in OpenMP via Mutation Testing. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (PMAM@PPoPP, 2024)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations. - Sameerah Helal; Zhe Tao; Cindy Rubio-González; François Gygi; Aditya V. Thakur (SC Workshops, 2024)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. - Ignacio Laguna; Patrick J. Chapman; Konstantinos Parasyris; Giorgis Georgakoudis; Cindy Rubio-González (SC Workshops, 2024)

Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. - Jackson Vanover; Alper Altuntas; Cindy Rubio-González (SC Workshops, 2024)

Interleaving Static Analysis and LLM Prompting. - Patrick J. Chapman; Cindy Rubio-González; Aditya V. Thakur (SOAP@PLDI, 2024)

Towards Verifying Exact Conditions of Density Functional Theory Approximations. - Sameerah Helal; Zhe Tao; Cindy Rubio-González; François Gygi; Aditya V. Thakur (CoRR, 2024)

An automated OpenMP mutation testing framework for performance optimization. - Dolores Miao; Ignacio Laguna; Giorgis Georgakoudis; Konstantinos Parasyris; Cindy Rubio-González (Parallel Comput., 2024)

Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries. - Jackson Vanover; James Demmel; Xiaoye Sherry Li; Cindy Rubio-González (ARITH, 2025)

From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets. - Hao-Nan Zhu; Robert M. Furth; Michael Pradel; Cindy Rubio-González (CoRR, 2025)

Interleaving static analysis and LLM prompting with applications to error specification inference. - Patrick J. Chapman; Cindy Rubio-González; Aditya V. Thakur (Int. J. Softw. Tools Technol. Transf., 2025)

State of the art in program analysis. - Raphaël Monat; Cindy Rubio-González (Int. J. Softw. Tools Technol. Transf., 2025)