Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
Guo, Hui, Rubio-Gonzalez, Cindy
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)
Get full text
Conference Proceeding
An automated OpenMP mutation testing framework for performance optimization
Miao, Dolores, Laguna, Ignacio, Georgakoudis, Giorgis, Parasyris, Konstantinos, Rubio-González, Cindy
Published in Parallel computing (01.09.2024)
Published in Parallel computing (01.09.2024)
Get full text
Journal Article
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
Wang, Yutong, Rubio-Gonzalez, Cindy
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
On the Reproducibility of Software Defect Datasets
Zhu, Hao-Nan, Rubio-Gonzalez, Cindy
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Published in 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) (01.05.2023)
Get full text
Conference Proceeding
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes
Tomassi, David A., Dmeiri, Naji, Wang, Yichen, Bhowmick, Antara, Liu, Yen-Chuan, Devanbu, Premkumar T., Vasilescu, Bogdan, Rubio-Gonzalez, Cindy
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Get full text
Conference Proceeding
Floating-Point Precision Tuning Using Blame Analysis
Rubio-Gonzalez, Cindy, Cuong Nguyen, Mehne, Benjamin, Sen, Koushik, Demmel, James, Kahan, William, Iancu, Costin, Lavrijsen, Wim, Bailey, David H., Hough, David
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Get full text
Conference Proceeding
Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship
Godoy, William F., Arora, Ritu, Beattie, Keith, Bernholdt, David E., Bratt, Sarah E., Katz, Daniel S., Laguna, Ignacio, Maji, Amiya K., Thakur, Addi Malviya, Mudafort, Rafael M., Sukhija, Nitin, Rouson, Damian, Rubio-Gonzalez, Cindy, Vahi, Karan
Published in Computing in science & engineering (01.09.2022)
Published in Computing in science & engineering (01.09.2022)
Get full text
Journal Article
Database-Backed Program Analysis for Scalable Error Propagation
Weiss, Cathrin, Rubio-Gonzalez, Cindy, Liblit, Ben
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Poster: Path-Based Function Embeddings
DeFreez, Daniel, Thakur, Aditya, Rubio-Gonzalez, Cindy
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Get full text
Conference Proceeding
The Gradual Verifier
Arlt, Stephan, Rubio-González, Cindy, Rümmer, Philipp, Schäf, Martin, Shankar, Natarajan
Published in NASA Formal Methods (2014)
Published in NASA Formal Methods (2014)
Get full text
Book Chapter
Conference Proceeding
Precimonious: tuning assistant for floating-point precision
Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)
Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)
Get full text
Conference Proceeding
A comprehensive study of real-world numerical bug characteristics
Di Franco, Anthony, Hui Guo, Rubio-Gonzalez, Cindy
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)
Get full text
Conference Proceeding
Guarding Numerics Amidst Rising Heterogeneity
Gopalakrishnan, Ganesh, Laguna, Ignacio, Li, Ang, Panchekha, Pavel, Rubio-Gonzalez, Cindy, Tatlock, Zachary
Published in 2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2021)
Published in 2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2021)
Get full text
Conference Proceeding
Proposed Consistent Exception Handling for the BLAS and LAPACK
Demmel, James, Dongarra, Jack, Gates, Mark, Henry, Greg, Langou, Julien, Li, Xiaoye, Luszczek, Piotr, Pereira, Weslley, Riedy, Jason, Rubio-Gonzalez, Cindy
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2022)
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2022)
Get full text
Conference Proceeding
Message from the Correctness 2022 Workshop Chairs
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness)
(01.11.2022)
Get full text
Conference Proceeding
Message from the Workshop Chairs
Published in 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)
(01.11.2020)
Get full text
Conference Proceeding