Statically scoped object adaptation with expanders. - Alessandro Warth; Milan Stanojevic; Todd D. Millstein (OOPSLA, 2006)

Can You Fool Me? Towards Automatically Checking Protocol Gullibility. - Milan Stanojevic; Ratul Mahajan; Todd D. Millstein; Madanlal Musuvathi (HotNets, 2008)