Cindy Rubio-González
Cindy Rubio-González
Bestätigte E-Mail-Adresse bei ucdavis.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2782013
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
1082008
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
802009
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
712016
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
53*2018
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
402011
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
382010
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
362017
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
322019
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
292018
Incremental compositional dynamic test generation
P Godefroid, SK Lahiri, C Rubio-Gonzalez
US Patent 8,578,344, 2013
242013
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
232011
The gradual verifier
S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar
NASA Formal Methods Symposium, 313-327, 2014
222014
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
172015
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
132017
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
92017
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
72020
Discovering discrepancies in numerical libraries
J Vanover, X Deng, C Rubio-González
Proceedings of the ACM SIGSOFT International Symposium on Software Testing …, 2020
52020
Finding error-propagation bugs in large software systems using static analysis
C Rubio-González
UNIVERSITY OF WISCONSIN–MADISON, 2012
52012
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
32019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20