Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCindy 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
- 2020
[c19]Daniel DeFreez, Antara Bhowmick, Ignacio Laguna, Cindy Rubio-González:
Detecting and reproducing error-code propagation bugs in MPI implementations. PPoPP 2020: 187-201
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 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-13 00:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
