fifty one. Matthew Might and Olin Shivers. 1. Matthew Might. "Environment Analysis of Higher-Order Languages." Ph.D. 47. Matthew Might. "Logic-movement examination of better-purchase programs." thirty fourth Annual ACM Symposium on the Principles of Programming Languages (POPL 2007). Long paper group. 42. Matthew Might. "Abstract interpreters for no cost." Static Analysis Symposium 2010 (SAS 2010). Perpignan, France. 46.