Mary (Midge) Hall

• PLDI'11