SIGPLAN

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. ^[2][3]

• 2025 Martin Odersky
• 2024: Keshav Pingali
• 2023: Kathryn S. McKinley
• 2022: Xavier Leroy
• 2021: Bob Harper
• 2020: Hans-J. Boehm
• 2019: Alex Aiken
• 2017: Thomas W. Reps
• 2016: Simon Peyton Jones
• 2015: Luca Cardelli
• 2014: Neil D. Jones
• 2013: Patrick Cousot and Radhia Cousot
• 2012: Matthias Felleisen
• 2011: Tony Hoare
• 2010: Gordon Plotkin
• 2009: Rod Burstall
• 2008: Barbara Liskov
• 2007: Niklaus Wirth
• 2006: Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark Wegman y Kenneth Zadeck
• 2005: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides
• 2004: John Backus
• 2003: John C. Reynolds
• 2002: John McCarthy
• 2001: Robin Milner
• 2000: Susan Graham
• 1999: Ken Kennedy
• 1998: Fran Allen
• 1997: Guy Steele

Reconoce las contribuciones destacadas de jóvenes investigadores en el área de lenguajes de programación. ^{[ 5 ]} El premio lleva el nombre del científico informático Robin Milner .

• 2025: Isil Dillig
• 2024: Armando Solar-Lezama
• 2023: Nate Foster
• 2022: Viktor Vafeiadis
• 2021: Emina Torlak
• 2020: Eran Yahav
• 2019: Martin Vechev
• 2018: Ranjit Jhala
• 2017: Derek Dreyer
• 2016: Stephanie Weirich
• 2015: David Walker
• 2014: Sumit Gulwani
• 2013: Lars Birkedal
• 2012: Shriram Krishnamurthi

Se otorga a una institución o a una o varias personas para reconocer el desarrollo de un sistema de software que ha tenido un impacto significativo en la investigación, las implementaciones y las herramientas de los lenguajes de programación. ^{[ 6 ]}

• 2025: El premio Lean fue otorgado a Gabriel Ebner, Soonho Kong, Leo de Moura y Sebastian Ullrich.
• 2024: El premio Rust fue otorgado a Aaron Turon, Alex Crichton, Brian Anderson, Dave Herman, Felix S. Klock II, Graydon Hoare, Marijn Haverbeke, Nicholas D. Matsakis, Patrick Walton, Tim Chevalier, Yehuda Katz y a todos los colaboradores de Rust, tanto del pasado como del presente.
• 2023: OCaml otorgado a David Allsopp, Florian Angeletti, Stephen Dolan, Damien Doligez, Alain Fritsch, Jacques Garrigue, Xavier Leroy, Anil Madhavapeddy, Luc Maranget, Nicolás Ojeda Bär, Gabriel Scherer, KC Sivaramakrishnan, Jérôme Vouillon y Léo White
• 2022: CompCert otorgado a Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer y Jean-Baptiste Tristan
• 2021: El premio WebAssembly fue otorgado a Andreas Rossberg, Derek Schuff, Bradley Nelson, JF Bastien y Ben L. Titzer.
• 2020: Pinawarded to Artur Klauser, Greg Lueck, Mark Charney, Gail Lyons, Geoff Lowney, Aamer Jaleel, Harish Patil, Vijay Janapa Reddi, Kim Hazelwood, S. Bharadwaj Yadavalli, Ramesh Peri, Elena Demikhovsky, Ady Tal, Moshe Bach, Alex Skaletsky, CK Luk, Steven Wallace, Tevi Devor, Robert Muth, and Nadav Chachmon
• 2019: Scalaawarded to Martin Odersky, Adriaan Moors, Aleksandar Prokopec, Heather Miller, Iulian Dragos, Nada Amin, Philipp Haller, Sébastien Doeraene, and Tiark Rompf
• 2018: Racketawarded to Eli Barzilay, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Jay McCarthy, and Sam Tobin-Hochstadt
• 2016: V8
• 2015: Z3 Theorem Prover
• 2014: GNU Compiler Collection (GCC)
• 2013: Rocq (then: Coq) proof assistant
• 2012: Jikes Research Virtual Machine (RVM) awarded to Bowen Alpern, Matthew Arnold, Clement Attanasio, John Barton, Steve Blackburn, Maria Butrico, Perry Cheng, Tony Cocchi, Julian Dolby, Peter Donald, Steven Fink, Daniel Frampton, Robin Garner, David Grove, Michael Hind, Derek Lieber, Kathryn McKinley, Mark Mergen, Eliot Moss, Ton Ngo, Igor Peshansky, Filip Pizlo, Feng Qian, Ian Rogers, Vivek Sarkar, Mauricio Serrano, Janice Shepherd, Stephen Smith, Peter F. Sweeney, Martin Trapp, Kris Venstermans, and John Whaley
• 2011: Glasgow Haskell Compilerawarded toSimon Peyton Jones, and Simon Marlow
• 2010: LLVMawarded toChris Lattner

The 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."^[7]

• 2025: Harrison Goldstein and Rachit Nigam
• 2024: Benjamin Bichsel
• 2023: Sam Westrick
• 2022: Jay P. Lim, Rutgers and Uri Alon
• 2021: Gagandeep Singh and Ralf Jung
• 2020: Filip Niksic
• 2019: Ryan Beckett
• 2018: Justin Hsu and David Menendez
• 2017: Ramana Kumar
• 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

• 2024: Emery Berger
• 2023: Talia Ringer
• 2022: Mike Hicks
• 2021: Ben Zorn
• 2019: Jan Vitek
• 2018: Zena Ariola
• 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

Given to the authors of a paper presented at PLDI 10 years prior to the award year, in recognition of its influence over the past decade.^[8]

• 2025 (for 2015): A Simpler, Safer Programming and Execution Model for Intermittent Systemsby Brandon Lucia and Benjamin Ransford
• 2024 (for 2014): FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Appsby Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel
• 2023 (for 2013): Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Representation in Image Processing Pipelinesby Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, and Saman Amarasinghe
• 2022 (for 2012): Test-Case Reduction for C Compiler Bugsby John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
• 2021 (for 2011): Finding and Understanding Bugs in C Compilersby Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
• 2020 (for 2010): Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximationby Woongki Baek and Trishul M. Chilimbi
• 2019 (for 2009): FastTrack: Efficient and Precise Dynamic Race Detectionby Cormac Flanagan and Stephen N. Freund
• 2018 (for 2008): A Practical Automatic Polyhedral Parallelizer and Locality Optimizerby Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan
• 2017 (for 2007): Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentationby Nicholas Nethercote, Julian Seward
• 2016 (for 2006): DieHard: Probabilistic Memory Safety for Unsafe LanguagesbyEmery Berger, Benjamin Zorn
• 2015 (para 2005): Pin: Creación de herramientas de análisis de programas personalizadas con instrumentación dinámica por Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi y Kim Hazelwood
• 2014 (para 2004): Asignación dinámica de memoria sin bloqueo escalable por Maged M. Michael
• 2013 (para 2003): El lenguaje nesC: Un enfoque holístico para sistemas embebidos en red por David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer y David E. Culler
• 2012 (para 2002): Verificación estática extendida para Java por Cormac Flanagan , K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe y Raymie Stata
• 2011 (para 2001): Abstracción automática de predicados de programas C por Thomas Ball, Rupak Majumdar, Todd Millstein y Sriram K. Rajamani
• 2010 (para 2000): Dynamo: Un sistema de optimización dinámica transparente por Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
• 2009 (para 1999): Un compilador de transformada rápida de Fourier por Matteo Frigo
• 2008 (para 1998): La implementación del lenguaje multihilo Cilk-5 por Matteo Frigo, Charles E. Leiserson, Keith H. Randall
• 2007 (para 1997): Aprovechamiento de los contadores de rendimiento de hardware con perfiles sensibles al flujo y al contexto, por Glenn Ammons, Thomas Ball y James R. Larus.
• 2006 (para 1996): TIL: Un compilador optimizador dirigido por tipos para ML por David Tarditi , Greg Morrisett , Perry Cheng , Christopher Stone, Robert Harper y Peter Lee
• 2005 (para 1995): Especialización selectiva para lenguajes orientados a objetos por Jeffrey Dean , Craig Chambers y David Grove
• 2004 (para 1994): ATOM: Un sistema para crear herramientas de análisis de programas personalizadas, por Amitabh Srivastava y Alan Eustace.
• 2003 (para 1993): Recogida de basura eficiente y conservadora en el uso del espacio por Hans Boehm
• 2002 (para 1992): Lazy Code Motion de Jens Knoop , Oliver Rüthing y Bernhard Steffen
• 2001 (para 1991): Un algoritmo de optimización de localidad de datos por Michael E. Wolf y Monica S. Lam
• 2000 (para 1990): Posicionamiento de código guiado por perfil por Karl Pettis y Robert C. Hansen

Given to the authors of a paper presented at POPL 10 years prior to the award year, in recognition of its influence over the past decade.^[9]

• 2025 (for 2015): Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoningby Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Paabøl Svendsen, Aaron Joseph Turon, Lars Birkedal, Derek Dreyer
• 2024 (for 2014): CakeML: A Verified Implementation of MLby Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens
• 2023 (for 2013): Views: Compositional reasoning for concurrent programsby Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang
• 2022 (for 2012): Multiple facets for dynamic information flowby Thomas H. Austin and Cormac Flanagan
• 2021 (for 2011): Automating string processing in spreadsheets using input-output examplesby Sumit Gulwani
• 2020 (for 2010): From program verification to program synthesisby Saurabh Srivastava, Sumit Gulwani, Jeffrey Foster* 2019 (for 2009): Compositional shape analysis by means of bi-abductionby Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
• 2018 (for 2008): Multiparty asynchronous session typesby Kohei Honda, Nobuko Yoshida, Marco Carbone
• 2017 (for 2007): JavaScript Instrumentation for Browser Securityby 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 assistantbyXavier Leroy
• 2015 (for 2005): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View Update ProblembyNate Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt
• 2014 (for 2004): Abstractions from proofsby Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, and Kenneth McMillan
• 2013 (for 2003): A real-time garbage collector with low overhead and consistent utilizationby David F. Bacon, Perry Cheng, and VT Rajan
• 2012 (for 2002): CCured: Type-Safe Retrofitting of Legacy Codeby George C. Necula, Scott McPeak, and Westley Weimer
• 2011 (for 2001): BI as an Assertion Language for Mutable Data Structuresby Samin Ishtiaq and Peter W. O'Hearn
• 2010 (para 2000): Anytime, Anywhere: Modal Logics for Mobile Ambients de Luca Cardelli y Andrew D. Gordon
• 2009 (para 1999): JFlow: Control práctico del flujo de información mayormente estático por Andrew C. Myers
• 2008 (para 1998): De System F a lenguaje ensamblador tipado por Greg Morrisett, David Walker, Karl Crary y Neal Glew
• 2007 (para 1997): Código portador de pruebas por George Necula
• 2006 (para 1996): Análisis de puntos a punto en tiempo casi lineal por Bjarne Steensgaard
• 2005 (para 1995): Un lenguaje con alcance distribuido por Luca Cardelli
• 2004 (para 1994): Implementación del cálculo lambda de llamada por valor tipado utilizando una pila de regiones por Mads Tofte y Jean-Pierre Talpin
• 2003 (para 1993): Programación funcional imperativa por Simon Peyton Jones y Philip Wadler

• 2024 (para 2014): Análisis sintáctico adaptativo LL(*): el poder del análisis dinámico por Terence Parr, Sam Harwell y Kathleen Fisher
• 2023 (para 2013): Análisis empírico de la adopción de lenguajes de programación por Leo Meyerovich y Ariel Rabkin
• 2022 (para 2012): GPUVerify: un verificador para kernels de GPU por Adam Betts, Nathan Chong, Alastair Donaldson, Shaz Qadeer y Paul Thomson.
• 2021 (para 2011): SugarJ: extensibilidad de lenguajes sintácticos basada en bibliotecas por Sebastian Erdweg, Tillmann Rendel, Christian Kästner y Klaus Ostermann
• 2020 (para 2010): El entorno de trabajo del lenguaje spoofax: reglas para la especificación declarativa de lenguajes e IDE por Lennart CL Kats y Eelco Visser
• 2019 (para 2009): Flapjax: un lenguaje de programación para aplicaciones Ajax por Leo A. Meyerovich, Arjun Guha, Jacob Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi
• 2018 (para 2008): jStar: hacia la verificación práctica para Java por Dino Distefano y Matthew Parkinson
• 2017 (para 2007): Evaluación estadísticamente rigurosa del rendimiento de Java por Andy Georges, Dries Buytaert y Lieven Eeckhout
• 2016 (for 2006): The DaCapo benchmarks: Java benchmarking development and analysisby 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 Computingby Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar
• 2014 (for 2004): Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languagesby Gilad Bracha and David Ungar
• 2013 (for 2003): Language Support for Lightweight Transactionsby Tim Harris and Keir Fraser
• 2012 (for 2002): Reconsidering Custom Memory Allocationby Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley
• 2010 (for 2000): Adaptive Optimization in the Jalapeño JVMby Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney
• 2009 (for 1999): Implementing Jalapeño in Javaby Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd, and Stephen Smith
• 2008 (for 1998): Ownership Types for Flexible Alias Protectionby David G. Clarke, John M. Potter, and James Noble
• 2007 (for 1997): Call Graph Construction in Object-Oriented Languagesby David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers
• 2006 (for 1986–1996):
  • Subject Oriented Programming: A Critique of Pure Objectsby William Harrison and Harold Ossher
  • Concepts and Experiments in Computational Reflectionby Pattie Maes
  • Self: The Power of Simplicityby David Ungar and Randall B. Smith

• 2024 (for 2014): Refinement Types for Haskellby Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones
• 2023 (for 2013): Handlers in Actionby Ohad Kammar, Sam Lindley and Nicolas Oury
• 2022 (for 2012): Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systemsby Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell and David Mazières
• 2021 (para 2011): Frenetic: Un lenguaje de programación de redes por Nate Foster, Rob Harrison, Michael Freedman, Christopher Monsanto, Jennifer Rexford, Alex Story y David Walker
• 2020 (para 2010): Abstracting Abstract Machines de David Van Horn y Matthew Might
• 2019 (para 2009): Soporte de tiempo de ejecución para Haskell multinúcleo por Simon Marlow, Simon Peyton Jones y Satnam Singh
• 2018 (para 2008): Sintaxis abstracta paramétrica de orden superior para semántica mecanizada por Adam Chlipala
• 2017 (para 2007): Ott: Soporte de herramientas eficaz para el semántico profesional por Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar y Rok Strniša
• 2016 (para 2006): Inferencia de tipos simple basada en unificación para GADTs por Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich y Geoffrey Washburn
• 2015 (para 2005): Sinónimos de tipo asociados por Manuel MT Chakravarty, Gabriele Keller y Simon Peyton Jones
• 2014 (para 2004): Scrap More Boilerplate: Reflection, Zips, and Generalised Casts de Ralf Lämmel y Simon Peyton Jones
• 2013 (para 2003): MLF: Elevando ML al poder del sistema F por Didier Le Botlan y Didier Rémy
• 2012 (para 2002): Contratos para funciones de orden superior, por Robert Findler y Matthias Felleisen.
• 2011 (para 2001): Estructuras recursivas para ML estándar por Claudio Russo
• 2010 (para 2000): Quickcheck: Una herramienta ligera para pruebas aleatorias de programas Haskell por Koen Claessen y John Hughes
• 2009 (para 1999): Haskell y XML: ¿Combinadores genéricos o traducción basada en tipos? por Malcolm Wallace y Colin Runciman
• 2008 (para 1998): Cayenne: Un lenguaje con tipos dependientes, por Lennart Augustsson
• 2007 (para 1997): Animación reactiva funcional por Conal Elliott y Paul Hudak
• 2006 (para 1996): Optimalidad e ineficiencia: ¿Qué no es un modelo de costos del cálculo lambda? por Julia L. Lawall y Harry G. Mairson