Cindy Rubio González's Home Page

I expect to graduate this Summer 2012. I am looking for a PL/Software Engineering full-time or post-doc position in a research lab, academia, or industry.

Curriculum Vitae: PDF
Research Statement: PDF
Teaching Statement: PDF

I am a Ph.D. candidate in the Computer Sciences Department at the University of Wisconsin-Madison, a member of the Programming Languages group and a research assistant working with Prof. Ben Liblit.

I am from Saltillo, Coahuila, México, where I earned a Bachelor of Science degree in Computer Systems Engineering from Saltillo Institute of Technology and a Bachelor of Music degree in Piano Performance from the Autonomous University of Coahuila.

I received a Masters degree in Computer Science from the University of Wisconsin-Milwaukee, where my thesis advisor was Dr. Adam Brooks Webber.

I completed a Ph.D. Minor in Piano Performance with Prof. Christopher Taylor at UW-Madison.

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, 2004.
Available as: PDF