


Остановите войну!
for scientists:


default search action
Cindy Rubio-González
Person information

- affiliation: University of California, Davis, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c29]Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González:
Actionsremaker: Reproducing GITHUB Actions. ICSE Companion 2023: 11-15 - [c28]Hao-Nan Zhu, Cindy Rubio-González:
On the Reproducibility of Software Defect Datasets. ICSE 2023: 2324-2335 - [c27]Dolores Miao, Ignacio Laguna, Cindy Rubio-González:
Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. ISC 2023: 381-401 - 2022
- [j1]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): 6-13 (2022) - [c26]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: 1-9 - [e6]Ignacio Laguna, Cindy Rubio-González:
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022. IEEE 2022, ISBN 978-1-6654-6335-5 [contents] - [i6]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 abs/2207.09281 (2022) - [i5]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 abs/2211.07436 (2022) - 2021
- [c25]Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
:
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC 2021: 9-15 - [c24]Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González:
Fixing dependency errors for Python build reproducibility. ISSTA 2021: 439-451 - [c23]David A. Tomassi, Cindy Rubio-González:
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. ASE 2021: 292-303 - [e5]Ignacio Laguna, Cindy Rubio-González:
5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021. IEEE 2021, ISBN 978-1-6654-2061-7 [contents] - 2020
- [c22]Hui Guo, Cindy Rubio-González:
Efficient generation of error-inducing floating-point inputs via symbolic execution. ICSE 2020: 1261-1272 - [c21]Jackson Vanover, Xuan Deng, Cindy Rubio-González:
Discovering discrepancies in numerical libraries. ISSTA 2020: 488-501 - [c20]Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González:
Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP 2020: 187-201 - [c19]Hui Guo, Ignacio Laguna, Cindy Rubio-González:
pLiner: isolating lines of floating-point code for compiler-induced variability. SC 2020: 49 - [e4]Ignacio Laguna, Cindy Rubio-González:
4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020. IEEE 2020, ISBN 978-0-7381-1044-8 [contents]
2010 – 2019
- 2019
- [c18]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: 339-349 - [c17]Daniel DeFreez, Haaken Martinson Baldwin, Cindy Rubio-González, Aditya V. Thakur:
Effective error-specification inference via domain-knowledge expansion. ESEC/SIGSOFT FSE 2019: 466-476 - [e3]Ignacio Laguna, Cindy Rubio-González:
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019. IEEE 2019, ISBN 978-1-7281-6015-3 [contents] - [i4]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 abs/1903.06725 (2019) - [i3]David A. Tomassi, Cindy Rubio-González:
A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair. CoRR abs/1910.13058 (2019) - 2018
- [c16]Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-based function embeddings. ICSE (Companion Volume) 2018: 430-431 - [c15]Hui Guo, Cindy Rubio-González:
Exploiting community structure for floating-point precision tuning. ISSTA 2018: 333-343 - [c14]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: 423-433 - [e2]Ignacio Laguna, Cindy Rubio-González:
2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018. IEEE 2018, ISBN 978-1-7281-0226-9 [contents] - [i2]Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-Based Function Embedding and its Application to Specification Mining. CoRR abs/1802.07779 (2018) - 2017
- [c13]Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González:
GitcProc: a tool for processing and classifying GitHub commits. ISSTA 2017: 396-399 - [c12]Anthony Di Franco, Hui Guo, Cindy Rubio-González:
A comprehensive study of real-world numerical bug characteristics. ASE 2017: 509-519 - [c11]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: 19-22 - [e1]Ignacio Laguna, Cindy Rubio-González:
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. ACM 2017, ISBN 978-1-4503-5127-0 [contents] - [i1]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): 74-101 (2017) - 2016
- [c10]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: 1074-1085 - 2015
- [c9]Cathrin Weiss, Cindy Rubio-González, Ben Liblit
:
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) 2015: 586-597 - 2014
- [c8]Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327 - [c7]Joel Galenson, Cindy Rubio-González, Sarah E. Chasins, Liang Gong:
Research.js: Evaluating Research Tool Usability on the Web. PLATEAU 2014: 53-54 - 2013
- [c6]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: 27:1-27:12 - 2011
- [c5]Cindy Rubio-González, Ben Liblit
:
Defective error/pointer interactions in the Linux kernel. ISSTA 2011: 111-121 - [c4]Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González:
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128 - 2010
- [c3]Cindy Rubio-González, Ben Liblit
:
Expect the unexpected: error code mismatches between documentation and the real world. PASTE 2010: 73-80
2000 – 2009
- 2009
- [c2]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: 270-280 - 2008
- [c1]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: 207-222
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-02 01:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint