2016: Shachar Itzhaky and Vilhelm Sjöberg 2015: Mark Batty 2014: Aaron Turon 2013: Patrick Rondon 2012: Dan Marino 2010: Robert L. Bocchino 2009: Akash Lai and William Thies 2008: Michael Bond and Viktor Vafeiadis 2007: Swarat Chaudhuri 2006: Xiangyu Zhang 2005: Sumit Gulwani 2003: Godmar Back 2002: Michael Hicks 2001: Rastislav Bodik SIGPLAN Distinguished Service Award 2016: Phil Wadler 2015: Dan Grossman 2014: Simon Peyton Jones 2013: Kathleen Fisher 2012: Jens Palsberg 2011: Kathryn S. McKinley 2010: Jack W. Davidson 2009: Mamdouh Ibrahim 2008: Michael Burke 2007: Linda M. Northrop 2006: Hans Boehm 2005: no award made 2004: Ron Cytron 2003: Mary Lou Soffa 2002: Andrew Appel 2001: Barbara G. Ryder 2000: David Wise 1999: Loren Meissner 1998: Brent Hailpern 1997: J.A.N. Lee and Jean E. Sammet 1996: Dick Wexelblat and John Richards Most Influential PLDI Paper Award 2017 (for 2007): Valgrind: a framework for heavyweight dynamic binary instrumentation, Nicholas Nethercote, Julian Seward 2016 (for 2006): DieHard: probabilistic memory safety for unsafe languages, Emery Berger, Benjamin Zorn 2015 (for 2005): Pin: building customized program analysis tools with dynamic instrumentation, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood 2014 (for 2004): Scalable Lock-Free Dynamic Memory Allocation, Maged M. Michael 2013 (for 2003): The nesC language: A holistic approach to networked embedded systems, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer, and David E. Culler 2012 (for 2002): Extended Static Checking for Java, Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata 2011 (for 2001): Automatic predicate abstraction of C programs, Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani 2010 (for 2000): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji 2009 (for 1999): A Fast Fourier Transform Compiler, Matteo Frigo 2008 (for 1998): The implementation of the Cilk-5 multithreaded language, Matteo Frigo, Charles E. Leiserson, Keith H. Randall 2007 (for 1997): Exploiting hardware performance counters with flow and context sensitive profiling, Glenn Ammons, Thomas Ball, and James R. Larus 2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee 2005 (for 1995): Selective Specialization for Object-Oriented Languages, Jeffrey Dean, Craig Chambers, and David Grove 2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and Alan