Erika Rice

Automated soundness proofs for dataflow analyses and transformations via local rules

Sorin Lerner, Todd D. Millstein, Craig Chambers, 2005, POPL '05.

Automatically Inferring Sound Dataflow Functions from Dataflow Fact Schemas

Sorin Lerner, Craig Chambers, Erika Rice, 2005 .

Automated soundness proofs for dataflow analyses and transformations via local rules

Sorin Lerner, Todd D. Millstein, Craig Chambers, 2005, POPL.