William R. Bush, A. Dain Samples, David M. Ungar, Paul N. Hilfinger
Browse the full ASPLOS paper archive.