Seguir
Cindy Rubio-González
Cindy Rubio-González
Dirección de correo verificada de ucdavis.edu - Página principal
Título
Citado por
Citado por
Año
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
342021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20