Cindy Rubio González

I will be joining the Department of Computer Science at the University of California, Davis as tenure-track Assistant Professor in fall 2014.

Curriculum Vitae: PDF
E-mail: rubio AT cs DOT berkeley DOT edu
Cindy Rubio González


Cindy is currently a Postdoctoral Researcher in the EECS Department at the University of California, Berkeley, where she is a member of the ASPIRE Lab, and works with Koushik Sen, James Demmel, William Kahan, and Costin Iancu. She received her Ph.D. in Computer Science from the University of Wisconsin–Madison, advised by Prof. Ben Liblit. Her research area of interest is Programming Languages, with a specific focus on Program Analysis. For her doctoral dissertation, she worked on applying static program analysis to find error-propagation bugs in large software systems.
She is an AAUW International Doctoral Fellow, and currently serves as a Latina in Computing ambassador for the Anita Borg Institute. Cindy earned her M.S. in Computer Science from the University of Wisconsin–Milwaukee and her B.S. in Computer Engineering from Saltillo Institute of Technology (Mexico). She also received a B.M. in Piano Performance from the Autonomous University of Coahuila (Mexico). Cindy is originally from Saltillo, Coahuila, México.

Metamorphosis






Research.js: Evaluating Research Tool Usability on the Web
J. Galenson, C. Rubio-González, S. Chasins, L. Gong
To appear in Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU'14)
Portland, OR, October 2014.
Available as: PDF
The Gradual Verifier
S. Arlt, C. Rubio-González, P. Rümmer, M. Schäf, N. Shankar
NASA Formal Methods Symposium (NFM'14)
Houston, TX, April 2014.
Available as: PDF, BibTeX
Precimonious: Tuning Assistant for Floating-Point Precision
C. Rubio-González, C. Nguyen, H. D. Nguyen, J. Demmel, W. Kahan, K. Sen, D. H. Bailey, C. Iancu, D. Hough
International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13)
Denver, Colorado, November 2013.
Available as: PDF, BibTeX
Finding Error-Propagation Bugs in Large Software Systems Using Static Analysis
Ph.D. Dissertation, University of Wisconsin–Madison, August 2012.
Available as: PDF, BibTeX
Finding Error-Handling Bugs in Systems Code Using Static Analysis
C. Rubio-González, B. Liblit
Grace Hopper Celebration of Women in Computing, PhD Forum (GHC'11)
Portland, Oregon, November 2011.
Available as: PDF, BibTeX
Poster won Second place in PLDI 2011 Student Research Competition, San Jose, CA, June 2011.
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
P. Godefroid, S.K. Lahiri, C. Rubio-González
International Static Analysis Symposium (SAS'11)
Venice, Italy, September 2011.
Available as: PDF, BibTeX
Defective Error/Pointer Interactions in the Linux Kernel
C. Rubio-González, B. Liblit
International Symposium on Software Testing and Analysis (ISSTA'11)
Toronto, Canada, July 2011.
Available as: PDF, BibTeX
Expect the Unexpected: Error Code Mismatches Between Documentation and the Real World
C. Rubio-González, B. Liblit
Workshop on Program Analysis for Software Tools and Engineering (PASTE'10)
Toronto, Canada, June 2010.
Available as: Postscript, PDF, BibTeX
Error Propagation Analysis for File Systems
C. Rubio-González, H. Gunawi, B. Liblit, R. Arpaci-Dusseau, A. Arpaci-Dusseau
Conference on Programming Language Design and Implementation (PLDI'09)
Dublin, Ireland, June 2009.
Available as: Postscript, PDF, BibTeX
EIO: Error Handling is Occasionally Correct
H. Gunawi, C. Rubio-González, A. Arpaci-Dusseau, R. Arpaci-Dusseau, B. Liblit
Conference on File and Storage Technologies (FAST'08)
San Jose, CA, February 2008.
Available as: Postscript, PDF, BibTeX
Class Invariant Shape Analysis
Master's thesis, University of Wisconsin–Milwaukee, December 2004.
Available as: PDF, BibTeX
Last updated: October 4, 2014