Statistics
Publications
2
Citations
147
H-Index
2
Active since
2005
Affiliations
UCLA Health(Current)
Erika Rice is an author at UCLA Health specializing in correctness checking, dataflow verification, and soundness proofs.
Publications per year
2005–2005
2
2
Automated soundness proofs for dataflow analyses and transformations via local rules
Sorin Lerner, Todd Millstein, Erika Rice et al. · 2005 · 134 citations
1–2 of 2