Erika Rice Scherpelz
Google Publications
-
Automatic Inference of Optimizer Flow Functions from Semantic Meanings
Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
Proc. PLDI 07, ACM Press (2007), pp. 135-145
Previous Publications
-
Automated soundness proofs for dataflow analyses and transformations via local rules
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers
POPL (2005), pp. 364-377

