ACM SIGPLAN NOTICES - ASPLOS, vol. 48, no. 4, page. 419 - 430, 2013-04
ACM SIGPLAN NOTICES - ASPLOS, vol. 45, no. 3, page. 65 - 76, 2010-03