La Dolce Vita at TOPLAS. - McKinley, Kathryn S.; Pingali, Keshav (ACM Transactions on Programming Languages & Systems, 2010)