ask others

Cindy Rubio-González

> Home > Persons

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

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/DeFreezTR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DeFreezTR18
Daniel DeFreez, Aditya V. Thakur, Cindy Rubio-González:
Path-based function embeddings. ICSE (Companion Volume) 2018: 430-431
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/GuoR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/GuoR18
Hui Guo, Cindy Rubio-González:
Exploiting community structure for floating-point precision tuning. ISSTA 2018: 333-343
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/DeFreezTR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/DeFreezTR18
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
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-07779
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-07779
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/CasalnuovoSRR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/CasalnuovoSRR17
Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González:
GitcProc: a tool for processing and classifying GitHub commits. ISSTA 2017: 396-399
[c12]
- view
- export record
  dblp key:
  - conf/kbse/FrancoGR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kbse/FrancoGR17
Anthony Di Franco, Hui Guo, Cindy Rubio-González:
A comprehensive study of real-world numerical bug characteristics. ASE 2017: 509-519
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sigsoft/DevanbuKRV17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigsoft/DevanbuKRV17
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]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sc/2017correctness
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sc/2017correctness
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/dagstuhl-reports/DarulovaDRR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DarulovaDRR17
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/icse/Rubio-Gonzalez016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/Rubio-Gonzalez016
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]
- view
- export record
  dblp key:
  - conf/icse/WeissRL15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/WeissRL15
Cathrin Weiss, Cindy Rubio-González, Ben Liblit:
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) 2015: 586-597
2014
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/nfm/ArltRRSS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nfm/ArltRRSS14
Stephan Arlt, Cindy Rubio-González, Philipp Rümmer, Martin Schäf, Natarajan Shankar:
The Gradual Verifier. NASA Formal Methods 2014: 313-327
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/oopsla/GalensonRCG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/oopsla/GalensonRCG14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sc/Rubio-GonzalezNNDKSBIH13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sc/Rubio-GonzalezNNDKSBIH13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/Rubio-GonzalezL11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/Rubio-GonzalezL11
Cindy Rubio-González, Ben Liblit:
Defective error/pointer interactions in the Linux kernel. ISSTA 2011: 111-121
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/GodefroidLR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/GodefroidLR11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/paste/Rubio-GonzalezL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/paste/Rubio-GonzalezL10
Cindy Rubio-González, Ben Liblit:
Expect the unexpected: error code mismatches between documentation and the real world. PASTE 2010: 73-80

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pldi/Rubio-GonzalezGLAA09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/Rubio-GonzalezGLAA09
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]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/fast/GunawiRAAL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fast/GunawiRAAL08
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

see FAQ

maintained by

, founded at