| 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 | 381 | 2013 |
| 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 | 146 | 2008 |
| 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 | 112* | 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 | 105 | 2009 |
| 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 | 93 | 2016 |
| 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 | 83 | 2019 |
| 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 | 79 | 2017 |
| 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 | 58 | 2018 |
| 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 | 50 | 2011 |
| 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 | 45 | 2021 |
| 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 | 44 | 2010 |
| 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 | 39 | 2017 |
| Incremental compositional dynamic test generation P Godefroid, SK Lahiri, C Rubio-Gonzalez US Patent 8,578,344, 2013 | 32 | 2013 |
| 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 | 31 | 2020 |
| 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 | 25 | 2015 |
| 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 | 25 | 2011 |
| 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 | 23 | 2021 |
| 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 | 22 | 2014 |
| 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 | 21 | 2019 |
| Discovering discrepancies in numerical libraries J Vanover, X Deng, C Rubio-González Proceedings of the ACM SIGSOFT International Symposium on Software Testing …, 2020 | 19 | 2020 |
Ben LiblitAmazon Web ServicesVerified email at amazon.com
