Concepedia

Cindy Rubio-González

CR

21

Publications

981

Citations

15

H-Index

2008

Active since

Affiliations

University of California, Davis(Current)

University of Wisconsin–Madison

Lawrence Livermore National Laboratory

University of California System

University of California, Berkeley

Cindy Rubio-González is an author at University of California, Davis specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware TestingSoftware EngineeringFormal VerificationComputer EngineeringFormal MethodsData Science

Publications per year

2008–2024

21

Publications

21

Precimonious

Cindy Rubio-González, Cuong T. Nguyen, Hong Diep Nguyen et al. · 2013 · 263 citations

Engineering, Compiler Technology, Software Engineering +16

EIO: error handling is occasionally correct

Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau et al. · 2008 · 83 citations

Error propagation analysis for file systems

Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit et al. · 2009 · 81 citations

Distributed File System, Engineering, Verification +21

A comprehensive study of real-world numerical bug characteristics

Anthony Di Franco, Hui Guo, Cindy Rubio-González · 2017 · 76 citations

Software Maintenance, Numerical Analysis, Engineering +18

Floating-point precision tuning using blame analysis

Cindy Rubio-González, Cuong T. Nguyen, Benjamin Mehne et al. · 2016 · 68 citations · Full text

Engineering, Verification, Computer Architecture +23

Rows per page

1–5 of 21