Cindy Rubio-González

62 papers A* 8A 10B 2C 2Journal 15Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Excvate: Spoofing Exceptions and Solving Constraints to Test Exception Handling in Numerical Libraries. ARITH Jackson Vanover, James Demmel, Xiaoye Sherry Li, Cindy Rubio-González
2025	A	`conf`	FloatGuard: Efficient Whole-Program Detection of Floating-Point Exceptions in AMD GPUs. HPDC Dolores Miao, Ignacio Laguna, Cindy Rubio-González
2025	J	`jnl`	From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets. CoRR Hao-Nan Zhu, Robert M. Furth, Michael Pradel, Cindy Rubio-González
2025	J	`jnl`	Interleaving static analysis and LLM prompting with applications to error specification inference. Int. J. Softw. Tools Technol. Transf. Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur
2025	J	`jnl`	LLM-Based Program Generation for Triggering Numerical Inconsistencies Across Compilers. CoRR Yutong Wang, Cindy Rubio-González
2025	—	`conf`	LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers. SC Workshops Yutong Wang, Cindy Rubio-González
2025	J	`jnl`	State of the art in program analysis. Int. J. Softw. Tools Technol. Transf. Raphaël Monat, Cindy Rubio-González
2024	J	`jnl`	An automated OpenMP mutation testing framework for performance optimization. Parallel Comput. Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González
2024	A	`conf`	Input Range Generation for Compiler-Induced Numerical Inconsistencies. ICS Dolores Miao, Ignacio Laguna, Cindy Rubio-González
2024	—	`conf`	Interleaving Static Analysis and LLM Prompting. SOAP@PLDI Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur
2024	—	`conf`	MUPPET: Optimizing Performance in OpenMP via Mutation Testing. PMAM@PPoPP Dolores Miao, Ignacio Laguna, Giorgis Georgakoudis, Konstantinos Parasyris, Cindy Rubio-González
2024	A*	`conf`	Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning. ICSE Yutong Wang, Cindy Rubio-González
2024	—	`ed.`	Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024 SOAP@PLDI Raphaël Monat, Cindy Rubio-González
2024	—	`conf`	Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. SC Workshops Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-González
2024	J	`jnl`	Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation. CoRR Ignacio Laguna, Patrick J. Chapman, Konstantinos Parasyris, Giorgis Georgakoudis, Cindy Rubio-González
2024	—	`conf`	Toward Automated Precision Tuning of Weather and Climate Models: A Case Study. SC Workshops Jackson Vanover, Alper Altuntas, Cindy Rubio-González
2024	—	`conf`	Towards Verifying Exact Conditions for Implementations of Density Functional Approximations. SC Workshops Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur
2024	J	`jnl`	Towards Verifying Exact Conditions of Density Functional Theory Approximations. CoRR Sameerah Helal, Zhe Tao, Cindy Rubio-González, François Gygi, Aditya V. Thakur
2023	—	`conf`	Actionsremaker: Reproducing GITHUB Actions. ICSE Companion Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González
2023	C	`conf`	Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. ISC Dolores Miao, Ignacio Laguna, Cindy Rubio-González
2023	A*	`conf`	On the Reproducibility of Software Defect Datasets. ICSE Hao-Nan Zhu, Cindy Rubio-González
2023	—	`ed.`	Proceedings of the 1st International Workshop on Software Defect Datasets, SDD 2023, San Francisco, CA, USA, 8 December 2023 SDD@SIGSOFT FSE Cindy Rubio-González
2023	J	`jnl`	Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR Maya B. Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
2022	J	`jnl`	Giving RSEs a Larger Stage through the Better Scientific Software Fellowship. CoRR 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
2022	J	`jnl`	Giving Research Software Engineers a Larger Stage Through the Better Scientific Software Fellowship. Comput. Sci. Eng. 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
2022	—	`conf`	Proposed Consistent Exception Handling for the BLAS and LAPACK. Correctness@SC 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
2022	J	`jnl`	Proposed Consistent Exception Handling for the BLAS and LAPACK. CoRR 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
2022	—	`ed.`	Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022 Correctness@SC Ignacio Laguna, Cindy Rubio-González
2021	—	`ed.`	5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021 Correctness@SC Ignacio Laguna, Cindy Rubio-González
2021	A	`conf`	Fixing dependency errors for Python build reproducibility. ISSTA Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González
2021	—	`conf`	Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
2021	A*	`conf`	On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. ASE David A. Tomassi, Cindy Rubio-González
2020	—	`ed.`	4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020 Correctness@SC Ignacio Laguna, Cindy Rubio-González
2020	B	`conf`	Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González
2020	A	`conf`	Discovering discrepancies in numerical libraries. ISSTA Jackson Vanover, Xuan Deng, Cindy Rubio-González
2020	A*	`conf`	Efficient generation of error-inducing floating-point inputs via symbolic execution. ICSE Hui Guo, Cindy Rubio-González
2020	A	`conf`	pLiner: isolating lines of floating-point code for compiler-induced variability. SC Hui Guo, Ignacio Laguna, Cindy Rubio-González
2019	—	`ed.`	2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019 CORRECTNESS@SC Ignacio Laguna, Cindy Rubio-González
2019	J	`jnl`	A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair. CoRR David A. Tomassi, Cindy Rubio-González
2019	J	`jnl`	BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes. CoRR Naji Dmeiri, David A. Tomassi, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González
2019	A*	`conf`	BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes. ICSE David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González
2019	—	`conf`	Effective error-specification inference via domain-knowledge expansion. ESEC/SIGSOFT FSE Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur
2018	—	`ed.`	2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018 CORRECTNESS@SC Ignacio Laguna, Cindy Rubio-González
2018	A	`conf`	Exploiting community structure for floating-point precision tuning. ISSTA Hui Guo, Cindy Rubio-González
2018	J	`jnl`	Path-Based Function Embedding and its Application to Specification Mining. CoRR Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2018	—	`conf`	Path-based function embedding and its application to error-handling specification mining. ESEC/SIGSOFT FSE Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2018	—	`conf`	Path-based function embeddings. ICSE (Companion Volume) Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González
2017	A*	`conf`	A comprehensive study of real-world numerical bug characteristics. ASE Anthony Di Franco, Hui Guo, Cindy Rubio-González
2017	J	`jnl`	Analysis and Synthesis of Floating-point Programs (Dagstuhl Seminar 17352). Dagstuhl Reports Eva Darulova, Alastair F. Donaldson, Zvonimir Rakamaric, Cindy Rubio-González
2017	A	`conf`	GitcProc: a tool for processing and classifying GitHub commits. ISSTA Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González
2017	—	`ed.`	Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017 CORRECTNESS@SC Ignacio Laguna, Cindy Rubio-González
2017	—	`conf`	Timezone and time-of-day variance in GitHub teams: an empirical method and study. SWAN@ESEC/SIGSOFT FSE Premkumar T. Devanbu, Pallavi Kudigrama, Cindy Rubio-González, Bogdan Vasilescu
2016	A*	`conf`	Floating-point precision tuning using blame analysis. ICSE Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough
2015	—	`conf`	Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) Cathrin Weiss, Cindy Rubio-González, Ben Liblit
2014	—	`conf`	Research.js: Evaluating Research Tool Usability on the Web. PLATEAU Joel Galenson, Cindy Rubio-González, Sarah E. Chasins, Liang Gong
2014	—	`conf`	The Gradual Verifier. NASA Formal Methods Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar
2013	A	`conf`	Precimonious: tuning assistant for floating-point precision. SC Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough
2011	A	`conf`	Defective error/pointer interactions in the Linux kernel. ISSTA Cindy Rubio-González, Ben Liblit
2011	B	`conf`	Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
2010	—	`conf`	Expect the unexpected: error code mismatches between documentation and the real world. PASTE Cindy Rubio-González, Ben Liblit
2009	A*	`conf`	Error propagation analysis for file systems. PLDI Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau
2008	A	`conf`	EIO: Error Handling is Occasionally Correct. FAST Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit