Cindy Rubio-González

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 32

Top Topics

Highly Optimized

Software Defect

Fault Localization

Top Venues

ESEC/SIGSOFT FSE

Publications

Yutong Wang, Cindy Rubio-González
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning. ICSE (2024)
Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González
MUPPET: Optimizing Performance in OpenMP via Mutation Testing. PMAM@PPoPP (2024)
Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur
Interleaving Static Analysis and LLM Prompting. SOAP@PLDI (2024)
Dolores Miao, Ignacio Laguna, Cindy Rubio-González
Input Range Generation for Compiler-Induced Numerical Inconsistencies. ICS (2024)
Maya 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 (2023)
Hao-Nan Zhu, Cindy Rubio-González
On the Reproducibility of Software Defect Datasets. ICSE (2023)
Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González
Actionsremaker: Reproducing GITHUB Actions. ICSE Companion (2023)
Dolores Miao, Ignacio Laguna, Cindy Rubio-González
Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. ISC (2023)
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) (2022)
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 (2022)
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 (2022)
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)
Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC (2021)
David A. Tomassi, Cindy Rubio-González
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. ASE (2021)
Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González
Fixing dependency errors for Python build reproducibility. ISSTA (2021)
Jackson Vanover, Xuan Deng, Cindy Rubio-González
Discovering discrepancies in numerical libraries. ISSTA (2020)
Hui Guo, Cindy Rubio-González
Efficient generation of error-inducing floating-point inputs via symbolic execution. ICSE (2020)
Hui Guo, Ignacio Laguna, Cindy Rubio-González
pLiner: isolating lines of floating-point code for compiler-induced variability. SC (2020)
Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González
Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP (2020)
David A. Tomassi, Cindy Rubio-González
A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair. CoRR (2019)
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)
Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur
Effective error-specification inference via domain-knowledge expansion. ESEC/SIGSOFT FSE (2019)
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 (2019)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
Path-based function embeddings. ICSE (Companion Volume) (2018)
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
Path-Based Function Embedding and its Application to Specification Mining. CoRR (2018)
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)
Hui Guo, Cindy Rubio-González
Exploiting community structure for floating-point precision tuning. ISSTA (2018)
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)
Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González
GitcProc: a tool for processing and classifying GitHub commits. ISSTA (2017)
Anthony Di Franco, Hui Guo, Cindy Rubio-González
A comprehensive study of real-world numerical bug characteristics. ASE (2017)
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) (2017)
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)
Cathrin Weiss, Cindy Rubio-González, Ben Liblit
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) (2015)
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
The Gradual Verifier. NASA Formal Methods (2014)
Joel Galenson, Cindy Rubio-González, Sarah E. Chasins, Liang Gong
Research.js: Evaluating Research Tool Usability on the Web. PLATEAU (2014)
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)
Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS (2011)
Cindy Rubio-González, Ben Liblit
Defective error/pointer interactions in the Linux kernel. ISSTA (2011)
Cindy Rubio-González, Ben Liblit
Expect the unexpected: error code mismatches between documentation and the real world. PASTE (2010)
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)
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)