| 2025 | ARITH | Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries. | Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio-Gonzlez |
| 2025 | HPDC | FloatGuard: Efficient Whole-Program Detection of Floating-Point Exceptions in AMD GPUs. | Dolores Miao, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2025 | SC | LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers. | Yutong Wang, Cindy Rubio-Gonzlez |
| 2024 | ICS | Input Range Generation for Compiler-Induced Numerical Inconsistencies. | Dolores Miao, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2024 | ICSE | Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning. | Yutong Wang, Cindy Rubio-Gonzlez |
| 2024 | PPoPP | MUPPET: Optimizing Performance in OpenMP via Mutation Testing. | Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-Gonzlez |
| 2024 | SC | Towards Verifying Exact Conditions for Implementations of Density Functional Approximations. | Sameerah Helal, Zhe Tao, Cindy Rubio-Gonzlez, Franois Gygi, Aditya V. Thakur |
| 2024 | SC | Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. | Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-Gonzlez |
| 2024 | SC | Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. | Jackson Vanover, Alper Altuntas, Cindy Rubio-Gonzlez |
| 2023 | ICSE | Actionsremaker: Reproducing GITHUB Actions. | Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-Gonzlez |
| 2023 | ICSE | On the Reproducibility of Software Defect Datasets. | Hao-Nan Zhu, Cindy Rubio-Gonzlez |
| 2021 | ISSTA | Fixing dependency errors for Python build reproducibility. | Suchita Mukherjee, Abigail Almanza, Cindy Rubio-Gonzlez |
| 2020 | ICSE | Efficient generation of error-inducing floating-point inputs via symbolic execution. | Hui Guo, Cindy Rubio-Gonzlez |
| 2020 | ISSTA | Discovering discrepancies in numerical libraries. | Jackson Vanover, Xuan Deng, Cindy Rubio-Gonzlez |
| 2020 | PPoPP | Detecting and reproducing error-code propagation bugs in MPI implementations. | Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2020 | SC | pLiner: isolating lines of floating-point code for compiler-induced variability. | Hui Guo, Ignacio Laguna, Cindy Rubio-Gonzlez |
| 2019 | ICSE | BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes. | David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-Gonzlez |
| 2018 | ICSE | Path-based function embeddings. | Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-Gonzlez |
| 2018 | ISSTA | Exploiting community structure for floating-point precision tuning. | Hui Guo, Cindy Rubio-Gonzlez |
| 2017 | ISSTA | GitcProc: a tool for processing and classifying GitHub commits. | Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-Gonzlez |
| 2016 | ICSE | Floating-point precision tuning using blame analysis. | Cindy Rubio-Gonzlez, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough |
| 2015 | ICSE | Database-Backed Program Analysis for Scalable Error Propagation. | Cathrin Weiss, Cindy Rubio-Gonzlez, Ben Liblit |
| 2014 | OOPSLA | Research.js: Evaluating Research Tool Usability on the Web. | Joel Galenson, Cindy Rubio-Gonzlez, Sarah E. Chasins, Liang Gong |
| 2013 | SC | Precimonious: tuning assistant for floating-point precision. | Cindy Rubio-Gonzlez, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough |
| 2011 | ISSTA | Defective error/pointer interactions in the Linux kernel. | Cindy Rubio-Gonzlez, Ben Liblit |
| 2011 | SAS | Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-Gonzlez |
| 2009 | PLDI | Error propagation analysis for file systems. | Cindy Rubio-Gonzlez, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
| 2008 | FAST | EIO: Error Handling is Occasionally Correct. | Haryadi S. Gunawi, Cindy Rubio-Gonzlez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit |