Monica S. Lam Challenges and New Approaches to Program Analysis. 102- 2003 conf/IEEEpact/2003 IEEE PACT http://csdl.computer.org/comp/proceedings/pact/2003/2021/00/20210102.pdf db/conf/IEEEpact/IEEEpact2003.html#Lam03