Cindy Rubio-González

According to our database, Cindy Rubio-González authored at least 42 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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

CoRR, 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

Interleaving Static Analysis and LLM Prompting.

Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

MUPPET: Optimizing Performance in OpenMP via Mutation Testing.

Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González

Proceedings of the 15th International Workshop on Programming Models and Applications for Multicores and Manycores, 2024

Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning.

Yutong Wang, Cindy Rubio-González

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Input Range Generation for Compiler-Induced Numerical Inconsistencies.

Dolores Miao, Ignacio Laguna, Cindy Rubio-González

Proceedings of the 38th ACM International Conference on Supercomputing, 2024

2023

Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL.

Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel

CoRR, 2023

Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code.

Dolores Miao, Ignacio Laguna, Cindy Rubio-González

Proceedings of the High Performance Computing - 38th International Conference, 2023

On the Reproducibility of Software Defect Datasets.

Hao-Nan Zhu, Cindy Rubio-González

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Actionsremaker: Reproducing GITHUB Actions.

Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

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, Cindy Rubio-González, Karan Vahi

Comput. Sci. Eng., 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, Cindy Rubio-González, Karan Vahi

CoRR, 2022

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

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

2021

On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions.

David A. Tomassi, Cindy Rubio-González

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fixing dependency errors for Python build reproducibility.

Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Guarding Numerics Amidst Rising Heterogeneity.

Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

2020

pLiner: isolating lines of floating-point code for compiler-induced variability.

Hui Guo, Ignacio Laguna, Cindy Rubio-González

Proceedings of the International Conference for High Performance Computing, 2020

Detecting and reproducing error-code propagation bugs in MPI implementations.

Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Discovering discrepancies in numerical libraries.

Jackson Vanover, Xuan Deng, Cindy Rubio-González

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Efficient generation of error-inducing floating-point inputs via symbolic execution.

Hui Guo, Cindy Rubio-González

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair.

David A. Tomassi, Cindy Rubio-González

CoRR, 2019

Effective error-specification inference via domain-knowledge expansion.

Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

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-González

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Path-Based Function Embedding and its Application to Specification Mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

CoRR, 2018

Path-based function embedding and its application to error-handling specification mining.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Exploiting community structure for floating-point precision tuning.

Hui Guo, Cindy Rubio-González

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Path-based function embeddings.

Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

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

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

Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Analytics, 2017

A comprehensive study of real-world numerical bug characteristics.

Anthony Di Franco, Hui Guo, Cindy Rubio-González

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

GitcProc: a tool for processing and classifying GitHub commits.

Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Floating-point precision tuning using blame analysis.

Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Database-Backed Program Analysis for Scalable Error Propagation.

Cathrin Weiss, Cindy Rubio-González, Ben Liblit

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Research.js: Evaluating Research Tool Usability on the Web.

Joel Galenson, Cindy Rubio-González, Sarah E. Chasins, Liang Gong

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

The Gradual Verifier.

Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Precimonious: tuning assistant for floating-point precision.

Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough

Proceedings of the International Conference for High Performance Computing, 2013

2011

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.

Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González

Proceedings of the Static Analysis - 18th International Symposium, 2011

Defective error/pointer interactions in the Linux kernel.

Cindy Rubio-González, Ben Liblit

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Expect the unexpected: error code mismatches between documentation and the real world.

Cindy Rubio-González, Ben Liblit

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

2009

Error propagation analysis for file systems.

Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

EIO: Error Handling is Occasionally Correct.

Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit

Proceedings of the 6th USENIX Conference on File and Storage Technologies, 2008