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
3722013
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
1392008
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
104*2018
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
1022009
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
922016
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
782019
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
772017
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
572018
Statically validating must summaries for incremental compositional dynamic test generation
P Godefroid, SK Lahiri, C Rubio-GonzŠlez
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy†…, 2011
492011
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
432010
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
392017
Fixing dependency errors for Python build reproducibility
S Mukherjee, A Almanza, C Rubio-GonzŠlez
Proceedings of the 30th ACM SIGSOFT international symposium on software†…, 2021
332021
Incremental compositional dynamic test generation
P Godefroid, SK Lahiri, C Rubio-Gonzalez
US Patent 8,578,344, 2013
322013
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
292020
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
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
242015
The gradual verifier
S Arlt, C Rubio-GonzŠlez, P RŁmmer, M Schšf, N Shankar
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA†…, 2014
222014
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions
DA Tomassi, C Rubio-GonzŠlez
Proceedings of the 36th IEEE/ACM International Conference on Automated†…, 2021
202021
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE). IEEE†…
DA Tomassi, N Dmeiri, Y Wang, A Bhowmick, YC Liu, PT Devanbu, ...
doi. org/10.1109/ICSE, 43, 2019
202019
Discovering discrepancies in numerical libraries
J Vanover, X Deng, C Rubio-GonzŠlez
Proceedings of the ACM SIGSOFT International Symposium on Software Testing†…, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20