SIGPLAN Notices, vol. 49, no. 1, page. 477 - 490, 2014-01
ACM SIGPLAN NOTICES, vol. 48, no. 1, page. 219 - 231, 2013-01