Eustace 2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm 2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen 2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and Monica S. Lam 2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen Most Influential POPL Paper Award 2018 (for 2008): Multiparty asynchronous session types, Kohei Honda, Nobuko Yoshida, Marco Carbone 2017 (for 2007): JavaScript Instrumentation for Browser Security, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov 2016 (for 2006): Formal certification of a compiler back-end or: programming a compiler with a proof assistant, Xavier Leroy 2015 (for 2005): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update Problem, Nate Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt 2014 (for 2004): Abstractions from proofs, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth McMillan 2013 (for 2003): A real-time garbage collector with low overhead and consistent utilization, David F. Bacon, Perry Cheng, VT Rajan 2012 (for 2002): CCured: Type-Safe Retrofitting of Legacy Code, George C. Necula, Scott McPeak, and Westley Weimer 2011 (for 2001): BI as an Assertion Language for Mutable Data Structures, Samin Ishtiaq and Peter W. O'Hearn 2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and Andrew D. Gordon 2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers 2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew 2007 (for 1997): Proof-carrying Code, George Necula 2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard 2005 (for 1995): A Language with Distributed Scope, Luca Cardelli 2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte and Jean-Pierre Talpin 2003 (for 1993): Imperative functional programming, Simon Peyton Jones and Philip Wadler Most Influential OOPSLA Paper Award 2017 (for 2007): Statistically Rigorous Java Performance Evaluation, Andy Georges, Dries Buytaert, Lieven Eeckhout 2016 (for 2006): The DaCapo benchmarks: Java benchmarking development and analysis, Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanović, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann 2015 (for 2005): X10: An Object-Oriented Approach to Non-Uniform Cluster Computing, Philippe Charles, Christian Grothoff,