Marcio's PoPP2014 paper