Hammer et al. - Adapton (PLDI 2014)

See research material.

(TODO)