Cindy Rubio González

Assistant Professor
Department of Computer Science
University of California, Davis

Curriculum Vitae: PDF (last updated on 11/14/2019)
Research Statement: PDF (last updated on 10/31/2019)
Diversity Statement: PDF (last updated on 10/31/2019)
E-mail: crubio AT ucdavis DOT edu

Cindy Rubio González
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).

Short Biography

Dr. Rubio is an Assistant Professor of Computer Science at the University of California, Davis. Prior to that position, she was a Postdoctoral Researcher at the University of California, Berkeley. She received her Ph.D. in Computer Science from the University of Wisconsin–Madison in 2012. Dr. Rubio's work spans the areas of Programming Languages and Software Engineering, with a focus on program analysis for automated bug finding and program optimization. She is particularly interested in the reliability and performance of systems software and scientific applications. Dr. Rubio is a recipient of a DOE Early Career Award 2019, NSF CAREER award 2018, a Hellman Fellowship 2017, and a UC Davis CAMPOS Faculty Award 2014. Dr. Rubio 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 holds a B.M. in Piano Performance from the Autonomous University of Coahuila (Mexico).


Metamorphosis






Recent News

Service

Elected Member of the ACM SIGPLAN Executive Committee, 2018-2021.
Co-Chair/Co-Organizer: ICERM Workshop 2020 on Variable Precision in Mathematical and Scientific Computing, Correctness@SC 2019, Correctness@SC 2018, Correctness@SC 2017, FSE 2016 Student Research Competition.
PC Member: ICSE 2021, ICSE 2020 (PB 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.
Panels: AAUW Fellowship and Grants Panel 2018-2020, NSF Panels, UC Mexus-CONACYT Computer Science and Engineering Panel 2015.

Teaching

Spring 2019: ECS 140A Programming Languages (UG)
Spring 2019: ECS 289C Seminar on Program Analysis (G)
Spring 2018: ECS 140A Programming Languages (UG)
Spring 2018: ECS 260 Software Engineering (G)
Winter 2017: ECS 289C Seminar on Program Analysis (G)
Winter 2016: ECS 140A Programming Languages (UG)
Fall 2015: ECS 260 Software Engineering (G)
Spring 2015: ECS 260 Software Engineering (G)
Winter 2015: ECS 289C Seminar on Program Analysis (G)

Research Group

BugSwarm Team Website

Ph.D. Students

Patrick Chapman (9/2019 – Present)
Daniel DeFreez (4/2015 – Present) (co-advised with Prof. Aditya Thakur)
Hui Guo (9/2015 – Present)
Trevor Martin (9/2019 – Present)
David Tomassi (9/2018 – Present)

M.S. Students

Jackson Vanover (1/2019 – Present)
Bohan (Tony) Xiao (8/2019 – Present)

Undergraduate Students

Abigail Almanza (9/2019 – Present)
Amy Cu (8/2019 – Present)
Xuan Deng (1/2019 – Present)
Robert Furth (7/2019 – Present)

Alumni

Antara Bhowmick, M.S. (June 2019)
Yichen (Ethan) Wang, M.S. (June 2019)
Dana Iltis, M.S. (November 2018) (co-advised with Aditya Thakur)
Pallavi Kudigrama, M.S. (June 2017)
Ruoan Ji, M.S. (March 2017)
Samanwita Pal, M.S. (June 2016)
Yagnik Suchak, M.S. (June 2016)

Haaken Baldwin, B.S. (June 2019), Department Citation Award 2019
David Tomassi, B.S. (June 2018), Department Citation Award 2018
Sahana Mundewadi, B.S. (December 2017)
Yichen (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)

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

Publications

Effective Error-Specification Inference via Domain-Knowledge Expansion
D. DeFreez, H. Baldwin, C. Rubio-González, and A. Thakur
Proceedings of ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19)
Tallinn, Estonia, August 2019.
Available as: PDF, BibTeX, EESI on GitHub
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes
D.A. Tomassi, N. Dmeiri, Y. Wang, A. Bhowmick, Y. Liu, P. Devanbu, B. Vasilescu, and C. Rubio-González
Proceedings of International Conference on Software Engineering (ICSE'19)
Montreal, Canada, May 2019.
Available as: PDF, BibTeX, BugSwarm Website, Dataset in DockerHub, BugSwarm API, BugSwarm on GitHub
Path-Based Function Embedding and its Application to Error-Handling Specification Mining
D. DeFreez, A. Thakur, C. Rubio-González
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, Func2vec on GitHub
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, HiFPTuner on GitHub
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, Func2vec on GitHub
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, Data
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, GitcProc on GitHub
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, Blame Analysis on GitHub
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, Precimonious on GitHub
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 modified: Thu Nov 14 19:06:47 PST 2019