Follow
Cindy Rubio-GonzŠlez
Title
Cited by
Cited by
Year
Precimonious: Tuning Assistant for Floating-Point Precision
C Rubio-GonzŠlez, C Nguyen, HD Nguyen, J Demmel, W Kahan, K Sen, ...
SC '13 Proceedings of the International Conference on High Performance†…, 2013
3082013
EIO: Error Handling is Occasionally Correct.
HS Gunawi, C Rubio-GonzŠlez, AC Arpaci-Dusseau, RH Arpaci-Dusseau, ...
6th USENIX Conference on File and Storage Technologies 8, 1-16, 2008
1192008
Error propagation analysis for file systems
C Rubio-GonzŠlez, HS Gunawi, B Liblit, RH Arpaci-Dusseau, ...
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language†…, 2009
902009
Floating-Point Precision Tuning Using Blame Analysis
C Rubio-GonzŠlez, C Nguyen, B Mehne, K Sen, J Demmel, W Kahan, ...
Proceedings of the 38th International Conference on Software Engineering (ICSE), 2016
802016
Path-based function embedding and its application to error-handling specification mining
D DeFreez, AV Thakur, C Rubio-GonzŠlez
Proceedings of the 2018 26th ACM Joint Meeting on European Software†…, 2018
68*2018
A comprehensive study of real-world numerical bug characteristics
A Di Franco, H Guo, C Rubio-GonzŠlez
2017 32nd IEEE/ACM International Conference on Automated Software†…, 2017
462017
BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes
DA Tomassi, N Dmeiri, Y Wang, A Bhowmick, YC Liu, PT Devanbu, ...
Proceedings of the 41st International Conference on Software Engineering†…, 2019
452019
Statically validating must summaries for incremental compositional dynamic test generation
P Godefroid, SK Lahiri, C Rubio-GonzŠlez
International Static Analysis Symposium, 112-128, 2011
412011
Expect the unexpected: error code mismatches between documentation and the real world
C Rubio-GonzŠlez, B Liblit
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for†…, 2010
402010
Exploiting community structure for floating-point precision tuning
H Guo, C Rubio-GonzŠlez
Proceedings of the 27th ACM SIGSOFT International Symposium on Software†…, 2018
362018
Incremental compositional dynamic test generation
P Godefroid, SK Lahiri, C Rubio-Gonzalez
US Patent 8,578,344, 2013
292013
Gitcproc: A tool for processing and classifying github commits
C Casalnuovo, Y Suchak, B Ray, C Rubio-GonzŠlez
Proceedings of the 26th ACM SIGSOFT International Symposium on Software†…, 2017
272017
Defective error/pointer interactions in the linux kernel
C Rubio-GonzŠlez, B Liblit
Proceedings of the 2011 International Symposium on Software Testing and†…, 2011
252011
The gradual verifier
S Arlt, C Rubio-GonzŠlez, P RŁmmer, M Schšf, N Shankar
NASA Formal Methods Symposium, 313-327, 2014
232014
Database-Backed Program Analysis for Scalable Error Propagation
C Weiss, C Rubio-GonzŠlez, B Liblit
Proceedings of the 37th International Conference on Software Engineering (ICSE), 2015
192015
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
H Guo, C Rubio-GonzŠlez
Proceedings of the 42nd International Conference on Software Engineering†…, 2020
112020
Timezone and time-of-day variance in GitHub teams: an empirical method and study
P Devanbu, P Kudigrama, C Rubio-GonzŠlez, B Vasilescu
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software†…, 2017
102017
Discovering discrepancies in numerical libraries
J Vanover, X Deng, C Rubio-GonzŠlez
Proceedings of the ACM SIGSOFT International Symposium on Software Testing†…, 2020
92020
Effective error-specification inference via domain-knowledge expansion
D DeFreez, HM Baldwin, C Rubio-GonzŠlez, AV Thakur
Proceedings of the 2019 27th ACM Joint Meeting on European Software†…, 2019
62019
Finding error-propagation bugs in large software systems using static analysis
C Rubio-GonzŠlez
UNIVERSITY OF WISCONSIN–MADISON, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20