Cindy Rubio González's Home Page

Assistant Professor
Department of Computer Science
University of California, Davis

Curriculum Vitae: PDF
E-mail: crubio AT ucdavis DOT edu

Prospective students: I am looking for highly-motivated Ph.D. students to work on programming languages research problems. If interested, please apply to UC Davis here and include my name in your graduate admission application (you can also send me an e-mail, please include your CV).

Dr. Rubio is an Assistant Professor of Computer Science at the University of California, Davis. Prior to that position, she was a Postdoctoral Researcher in the Electrical Engineering and Computer Sciences Department at the University of California, Berkeley, where she worked with Koushik Sen, James Demmel, Costin Iancu, and William Kahan. She received her Ph.D. in Computer Science from the University of Wisconsin–Madison in 2012, advised by Prof. Ben Liblit.

Her work spans the areas of programming languages and software engineering, with a specific focus on program analysis. Her research aims to design and build tools to help developers write more reliable and efficient software. For her doctoral dissertation, she designed and applied static program analyses to find error-propagation bugs in large software systems. At UC Berkeley, Dr. Rubio led the development of dynamic program analysis tools to improve the performance of numerical programs.

Dr. Rubio is a UC Davis CAMPOS Faculty Scholar, an AAUW International Doctoral Fellow, and a member of Latinas in Computing. 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.

Recent News

7/2018: Invited talk at IFIP WG 2.4 Software Implementation Technology, Dijon, France.
7/2018: Keynote speaker at ECOOP and ISSTA Doctoral Symposium in Amsterdam, The Netherlands.
7/2018: Presented our paper "Exploiting Community Structure for Floating-Point Precision Tuning" at ISSTA'18.
5/2018: Daniel presented our poster "Path-Based Function Embeddings" at ICSE'18 in Gothenburg, Sweden.
5/2018: Congratulations to David Tomassi and Ethan Wang for receiving Computer Science Department Citations!
2/2018: Co-organizing the Second International Workshop on Software Correctness for HPC Applications. Deadline: August 10th!
12/2017: Received an NSF CAREER Award to analyze and test numerical software.
12/2017: Invited PLSE Colloquium at the University of Washington.
11/2017: Hui presented our paper "A Comprehensive Study of Real-World Numerical Bug Characteristics" at ASE'17.
10/2017: Invited talk at the CROSS Research Symposium 2017, University of California, Santa Cruz.
8/2017: Hui and Anthony presented our most recent work on analysis of floating-point programs at the Dagstuhl Seminar on Analysis and Synthesis of Floating-Point Programs in Germany.
6/2017: Featured in UC Davis Magazine article on Diversity in STEM [News Release].
6/2017: Awarded a Hellman Fellowship [News Release].
5/2017: Congratulations to Naji Dmeiri for being a recipient of the 2017 College of Engineering Undergraduate Student Award [News Release] and the 2017 UC Davis Outstanding Senior Award [News Release].
4/2017: Co-organized First International Workshop on Software Correctness for HPC Applications.
2/2017: Co-organized Dagstuhl Seminar on Analysis and Synthesis of Floating-Point Programs.
7/2016: Awarded NSF CISE Research Infrastructure (CRI) Grant [News Release] to design and develop BugSwarm.
6/2016: Featured in UC Davis article on Diversity in STEM [News Release].
5/2016: Invited talk at the Sixth Summer School on Formal Techniques, Menlo College, Atherton, CA.
5/2016: Invited talk at Ecole thématique Maths-Info-HPC, Lyon, France.
6/2015: Invited talk at Los Alamos National Laboratory, Information Science & Technology Seminars.
4/2015: Invited talk at Salishan Conference on High-speed Computing.
3/2105: Keynote speaker at NWCIT Aspirations in Computing Awards Ceremony.
3/2015: Awarded NSF CRII Grant.
2/2015: Keynote speaker at #FixIt, First Latina Hackathon, UNAM.

Service

Elected Member of the ACM SIGPLAN Executive Committee, 2018-2021.
Co-Chair/Co-Organizer: CORRECTNESS 2018, CORRECTNESS 2017, Student Research Competition at FSE 2016.
PC Member: PLDI 2019, ICSE 2019, OOPSLA 2018, ISSTA 2018, SC 2017, SC 2017 ECP, ISSTA 2017, CC 2017, PLDI 2016, PLDI 2016 SRC, SC 2016, HotStorage 2016, LAtINiTY 2015.
External PC Member: PLDI 2017.
Publication Chair: PACT 2015.
Panelist: NSF Panels, 2015 UC Mexus-CONACYT (Computer Science and Engineering).
Diversity and Mentoring: Appointed for a two-year term as AAUW Fellowship and Grants Panel Member 2018-2020, PLMW@PLDI 2016 Panelist, Speaker at the 2016 UC Davis C-STEM Center Robotics Camp.

Research Group

BugSwarm Team Website

Ph.D. Students

Daniel DeFreez (4/2015 – Present)
Hui Guo (9/2015 – Present)
David Tomassi (9/2018 – Present)

M.S. Students

Antara Bhomick (6/2018 – Present)
Ethan Wang (1/2018 – Present)

Undergraduate Students

Haaken Baldwin (10/2018 – Present)

Alumni

Pallavi Kudigrama, M.S. (June 2017)
Ruoan Ji, M.S. (March 2017)
Samanwita Pal, M.S. (June 2016)
Yagnik Suchak, M.S. (June 2016)

David Tomassi, B.S. (June 2018), Department Citation Award 2018
Sahana Mundewadi, B.S. (December 2017)
Ethan Wang, B.S. (December 2017), Department Citation Award 2018
Naji Dmeiri, B.S. (June 2017), Department Citation Award 2017 and UC Davis Outstanding Senior Award 2017
Saquiba Tariq, B.S. (March 2016)

Dana Iltis (2017-2018)
Anthony Di Franco (2016-2017)
Pranav Gupta (2016-2017)
Ana Trino (Summer 2016, Visiting Student from Brazil)

Path-Based Function Embedding and its Application to Error-Handling Specification Mining
D. DeFreez, A. Thakur, C. Rubio-González
To Appear in Proceedings of ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'18)
Lake Buena Vista, Florida, November 2018.
Available as: PDF, BibTeX

Exploiting Community Structure for Floating-Point Precision Tuning
H. Guo, C. Rubio-González
Proceedings of International Symposium on Software Testing and Analysis (ISSTA'18)
Amsterdam, The Netherlands, July 2018.
Available as: PDF, BibTeX

Poster: Path-Based Function Embeddings (Short Paper)
D. DeFreez, A. Thakur, C. Rubio-González
Proceedings of International Conference on Software Engineering (ICSE'18)
Gothenburg, Sweden, May 2018.
Available as: PDF, BibTeX

A Comprehensive Study of Real-World Numerical Bug Characteristics
A. Di Franco, H. Guo, C. Rubio-González
International Conference on Automated Software Engineering (ASE'17)
Urbana-Champaign, IL, October 2017.
Available as: PDF, BibTeX

Timezone and Time-of-Day Variance in GitHub Teams: An Empirical Method and Study
P. Devanbu, P. Kudigrama, C. Rubio-González, B. Vasilescu
International Workshop on Software Analytics (SWAN'17)
Paderborn, Germany, September 2017.
Available as: PDF, BibTeX

GitcProc: A Tool for Processing and Classifying GitHub Commits
C. Casalnuovo, Y. Suchak, B. Ray, C. Rubio-González
International Symposium on Software Testing and Analysis (ISSTA'17-DEMOS)
Santa Barbara, California, July 2017.
Available as: PDF, BibTeX

Floating-Point Precision Tuning Using Blame Analysis
C. Rubio-González, C. Nguyen, B. Mehne, K. Sen, J. Demmel, W. Kahan, C. Iancu, W. Lavrijsen, D. H. Bailey, D. Hough
International Conference on Software Engineering (ICSE'16)
Austin, Texas, May 2016.
Available as: PDF, BibTeX

Database-Backed Program Analysis for Scalable Error Propagation
C. Weiss, C. Rubio-González, B. Liblit
International Conference on Software Engineering (ICSE'15)
Florence, Italy, May 2015.
Available as: PDF, BibTeX

Research.js: Evaluating Research Tool Usability on the Web
J. Galenson, C. Rubio-González, S. Chasins, L. Gong
Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU'14)
Portland, OR, October 2014.
Available as: PDF, BibTeX

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
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: September 9, 2018.