Delete truffle-asplos2012.pdf