C
omputer
S
ciences
D
epartment
U
niversity
o
f
W
isconsin-
M
adison
1210 West Dayton Street, Room 6360
Madison, WI 53706
Phone: (608) 262-6614
E-mail: crubio AT cs DOT wisc DOT edu
I am a third-year Ph.D. student in the
C
omputer
S
ciences
D
epartment
at the
U
niversity
o
f
W
isconsin-
M
adison
. I am a member of the
P
rogramming
L
anguages
a
nd
C
ompilers
group and a research assistant working with
P
rof.
B
en
L
iblit
.
I am from
S
altillo
Coahuila México, where I earned a Bachelor of Science degree in Computer Systems Engineering from
S
altillo
I
nstitute
o
f
T
echnology
and a Bachelor of Music degree in Piano Performance from the
A
utonomous
U
niversity
o
f
C
oahuila.
I received a Masters degree in Computer Science from the
U
niversity
o
f
W
isconsin-
M
ilwaukee
. My thesis advisor was
D
r.
A
dam
B
rooks
W
ebber.
Error Propagation Analysis for File Systems
C
.
R
ubio-
G
onzález
,
H
.
S
.
G
unawi
,
B
.
L
iblit
,
R
.
H
.
A
rpaci-
D
usseau
,
A
.
C
.
A
rpaci-
D
usseau
C
onference
o
n
P
rogramming
L
anguage
D
esign
a
nd
I
mplementation
(PLDI '09)
Dublin, Ireland, June 2009.
Available as:
PDF
,
BibTeX
EIO:
E
rror Handling
i
s
O
ccasionally Correct
H
.
S
.
G
unawi
,
C
.
R
ubio-
G
onzález
,
A
.
C
.
A
rpaci-
D
usseau
,
R
.
H
.
A
rpaci-
D
usseau
,
B
.
L
iblit
,
C
onference
o
n
F
ile
a
nd
S
torage
T
echnologies
(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