Principles of Programming Languages (POPL)Programming Language Design and Implementation (PLDI)International Symposium on Memory Management (ISMM)Languages, Compilers, and Tools for Embedded Systems (LCTES)Symposium on Principles and Practice of Parallel Programming (PPoPP)International Conference on Functional Programming (ICFP)Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)History of Programming Languages (HOPL)Dynamic Languages Symposium (DLS)ACM Transactions on Architecture and Code OptimizationACM Transactions on Programming Languages and SystemsSIGPLAN Notices - ISSN 1558-1160 ISSN 0362-1340Fortran Forum - ISSN 1061-7264 ISSN 1931-1311Lisp Pointers (final issue 1995) - ISSN 1045-3563OOPS Messenger (1990–1996) - ISSN 1558-0253 ISSN 1055-64002016: V8 (JavaScript engine)2015: Z3 (theorem prover)2014: GNU Compiler Collection (GCC)2013: Coq proof assistant2012: Jikes Research Virtual Machine (RVM)2011: Simon Peyton Jones and Simon Marlow (Glasgow Haskell Compiler)2010: Chris Lattner (LLVM)Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.
2016: Simon Peyton Jones2015: Luca Cardelli2014: Neil D. Jones2013: Patrick Cousot and Radhia Cousot2012: Matthias Felleisen2011: Tony Hoare2010: Gordon Plotkin2009: Rod Burstall2008: Barbara Liskov2007: Niklaus Wirth2006: Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark Wegman, and Kenneth Zadeck2005: Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides2004: John Backus2003: John C. Reynolds2002: John McCarthy2001: Robin Milner2000: Susan Graham1999: Ken Kennedy1998: Fran Allen1997: Guy SteeleThe full name of this award is the John C. Reynolds Doctoral Dissertation Award, after the computer scientist John C. Reynolds. It is "presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages."
2016: Shachar Itzhaky: Automatic Reasoning for Pointer Programs Using Decidable Logics2015: Mark Batty: The C11 and C++11 Concurrency Model2014: Aaron Turon: Understanding and Expressing Scalable Concurrency2013: Patrick Rondon: Verifying Low-Level Programs via Liquid Type Inference2012: Dan Marino: Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection2010: Robert L. Bocchino: An Effect System and Language for Deterministic-by-Default Parallel Programming2009: Akash Lai and William Thies2008: Michael Bond and Viktor Vafeiadis2007: Swarat Chaudhuri2006: Xiangyu Zhang2005: Sumit Gulwani2003: Godmar Back2002: Michael Hicks2001: Rastislav Bodik2016: Phil Wadler2015: Dan Grossman2014: Simon Peyton Jones2013: Kathleen Fisher2012: Jens Palsberg2011: Kathryn S. McKinley2010: Jack W. Davidson2009: Mamdouh Ibrahim2008: Michael Burke2007: Linda M. Northrop2006: Hans Boehm2005: no award made2004: Ron Cytron2003: Mary Lou Soffa2002: Andrew Appel2001: Barbara G. Ryder2000: David Wise1999: Loren Meissner1998: Brent Hailpern1997: J.A.N. Lee and Jean E. Sammet1996: Dick Wexelblat and John Richards2010 (for 2000): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji2009 (for 1999): A Fast Fourier Transform Compiler, Matteo Frigo2008 (for 1998): The implementation of the Cilk-5 multithreaded language, Matteo Frigo, Charles E. Leiserson, Keith H. Randall2007 (for 1997): Exploiting hardware performance counters with flow and context sensitive profiling, Glenn Ammons, Thomas Ball, and James R. Larus2006 (for 1996): TIL: A Type-Directed Optimizing Compiler for ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee2005 (for 1995): Selective Specialization for Object-Oriented Languages, Jeffrey Dean, Craig Chambers, and David Grove2004 (for 1994): ATOM: a system for building customized program analysis tools, Amitabh Srivastava and Alan Eustace2003 (for 1993): Space Efficient Conservative Garbage Collection, Hans Boehm2002 (for 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen2001 (for 1991): A data locality optimizing algorithm, Michael E. Wolf and Monica S. Lam2000 (for 1990): Profile guided code positioning, Karl Pettis and Robert C. Hansen2010 (for 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients, Luca Cardelli and Andrew D. Gordon2009 (for 1999): JFlow: Practical Mostly-Static Information Flow Control, Andrew C. Myers2008 (for 1998): From System F to Typed Assembly Language, Greg Morrisett, David Walker, Karl Crary, and Neal Glew2007 (for 1997): Proof-carrying Code, George Necula2006 (for 1996): Points-to Analysis in Almost Linear Time, Bjarne Steensgaard2005 (for 1995): A Language with Distributed Scope, Luca Cardelli2004 (for 1994): Implementation of the Typed Call-by-Value lambda-calculus using a Stack of Regions, Mads Tofte and Jean-Pierre Talpin2003 (for 1993): Imperative functional programming, Simon Peyton Jones and Philip Wadler2012 (for 2002): Reconsidering Custom Memory Allocation, Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley2010 (for 2000): Adaptive Optimization in the Jalapeño JVM, Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney2009 (for 1999): Implementing Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith2008 (for 1998): Ownership Types for Flexible Alias Protection, David G. Clarke, John M. Potter, and James Noble2007 (for 1997): Call Graph Construction in Object-Oriented Languages, David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers2006 (for 1986–1996):Subject Oriented Programming: A Critique of Pure Objects, William Harrison and Harold OssherConcepts and Experiments in Computational Reflection, Pattie MaesSelf: The Power of Simplicity, David Ungar and Randall B. Smith2009 (for 1999): Haskell and XML: Generic combinators or type-based translation?, Malcolm Wallace and Colin Runciman2008 (for 1998): Cayenne — a language with dependent types, Lennart Augustsson2007 (for 1997): Functional Reactive Animation, Conal Elliott and Paul Hudak2006 (for 1996): Optimality and inefficiency: what isn't a cost model of the lambda calculus?, Julia L. Lawall and Harry G. Mairson