Travelled to:1 × Ireland
1 × USA
2 × Canada
2 × Italy
Collaborated with:B.Liblit D.DeFreez A.V.Thakur C.Weiß P.Godefroid S.K.Lahiri A.D.Franco H.G.0007 J.Galenson S.Chasins L.Gong H.M.Baldwin H.S.Gunawi R.H.Arpaci-Dusseau A.C.Arpaci-Dusseau
Talks about:error (6) research (2) analysi (2) specif (2) propag (2) world (2) real (2) characterist (1) comprehens (1) increment (1)
Person: Cindy Rubio-González
DBLP: Rubio-Gonz=aacute=lez:Cindy
Contributed to:
2015
2014
2011
2011
2010
2009
2017
20182019Wrote 9 papers:
- ICSE-v1-2015-WeissRL #fault #program analysis #scalability
- Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
- PLATEAU-2014-GalensonRCG #research #usability #web
- Research.js: Evaluating Research Tool Usability on the Web (JG, CRG, SC, LG), pp. 53–54.
- ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer
- Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
- SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
- PASTE-2010-Rubio-GonzalezL #documentation #fault
- Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
- PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
- Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
- ASE-2017-FrancoGR #debugging
- A comprehensive study of real-world numerical bug characteristics (ADF, HG0, CRG), pp. 509–519.
- ESEC-FSE-2018-DeFreezTR #mining #specification
- Path-based function embedding and its application to error-handling specification mining (DD, AVT, CRG), pp. 423–433.
- ESEC-FSE-2019-DeFreezBRT #effectiveness
- Effective error-specification inference via domain-knowledge expansion (DD, HMB, CRG, AVT), pp. 466–476.