The ExoVM system for automatic VM and application reduction.

Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg

Browse the full PLDI paper archive.