SIGPLAN

Reconoce a una persona o personas que han realizado una contribución significativa y duradera al campo de los lenguajes de programación. ^{[ 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 y 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: Pin otorgado a 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 y Nadav Chachmon
• 2019: Scala otorgada a Martin Odersky, Adriaan Moors, Aleksandar Prokopec, Heather Miller, Iulian Dragos, Nada Amin, Philipp Haller, Sébastien Doeraene y Tiark Rompf
• 2018: Raqueta otorgada a Eli Barzilay, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Jay McCarthy y Sam Tobin-Hochstadt
• 2016: V8
• 2015: Demostrador de teoremas Z3
• 2014: Colección de compiladores GNU (GCC)
• 2013: Rocq (entonces: Coq ) asistente de pruebas
• 2012: Jikes Research Virtual Machine (RVM) fue otorgado a 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 y John Whaley.
• 2011: El premio Glasgow Haskell Compiler fue otorgado a Simon Peyton Jones y Simon Marlow.
• 2010: El premio LLVM fue otorgado a Chris Lattner.

El nombre completo de este premio es Premio John C. Reynolds a la Tesis Doctoral, en honor al científico informático John C. Reynolds . Se otorga anualmente al autor de la tesis doctoral más destacada en el área de Lenguajes de Programación. ^{[ 7 ]}

• 2025: Harrison Goldstein y Rachit Nigam
• 2024: Benjamin Bichsel
• 2023: Sam Westrick
• 2022: Jay P. Lim, Rutgers y Uri Alon
• 2021: Gagandeep Singh y Ralf Jung
• 2020: Filip Niksic
• 2019: Ryan Beckett
• 2018: Justin Hsu y David Menéndez
• 2017: Ramana Kumar
• 2016: Shachar Itzhaky y Vilhelm Sjöberg
• 2015: Mark Batty
• 2014: Aaron Turon
• 2013: Patrick Rondón
• 2012: Dan Marino
• 2010: Robert L. Bocchino
• 2009: Akash Lai y William Thies
• 2008: Michael Bond y 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 se otorgó ningún premio.
• 2004: Ron Cytron
• 2003: Mary Lou Soffa
• 2002: Andrew Appel
• 2001: Barbara G. Ryder
• 2000: David Wise
• 1999: Loren Meissner
• 1998: Brent Hailpern
• 1997: JAN Lee y Jean E. Sammet
• 1996: Dick Wexelblat y John Richards

Se otorga a los autores de un artículo presentado en PLDI 10 años antes del año de la entrega del premio, en reconocimiento a su influencia durante la última década. ^{[ 8 ]}

• 2025 (para 2015): Un modelo de programación y ejecución más simple y seguro para sistemas intermitentes, por Brandon Lucia y Benjamin Ransford.
• 2024 (para 2014): FlowDroid: Análisis preciso de contaminación sensible al contexto, flujo, campo, objeto y ciclo de vida para aplicaciones Android por Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick McDaniel
• 2023 (para 2013): Halide: Un lenguaje y compilador para optimizar el paralelismo, la localidad y la representación en pipelines de procesamiento de imágenes por Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand y Saman Amarasinghe
• 2022 (para 2012): Reducción de casos de prueba para errores del compilador C por John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
• 2021 (para 2011): Cómo encontrar y comprender errores en compiladores de C por Xuejun Yang, Yang Chen, Eric Eide y John Regehr
• 2020 (para 2010): Verde: Un marco para apoyar la programación con conciencia energética mediante aproximación controlada, por Woongki Baek y Trishul M. Chilimbi
• 2019 (para 2009): FastTrack: Detección dinámica de carreras eficiente y precisa por Cormac Flanagan y Stephen N. Freund
• 2018 (para 2008): Un paralelizador poliédrico automático práctico y optimizador de localidad por Uday Bondhugula, Albert Hartono, J. Ramanujam y P. Sadayappan
• 2017 (para 2007): Valgrind: Un marco para la instrumentación binaria dinámica de alto peso por Nicholas Nethercote, Julian Seward
• 2016 (para 2006): DieHard: Probabilistic Memory Safety for Unsafe Languages ​​de Emery Berger y 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

Se otorga a los autores de un artículo presentado en POPL 10 años antes del año de la entrega del premio, en reconocimiento a su influencia durante la última década. ^{[ 9 ]}

• 2025 (para 2015): Iris: Monoides e invariantes como base ortogonal para el razonamiento concurrente por Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Paabøl Svendsen, Aaron Joseph Turon, Lars Birkedal, Derek Dreyer
• 2024 (para 2014): CakeML: Una implementación verificada de ML por Ramana Kumar, Magnus Myreen, Michael Norrish, Scott Owens
• 2023 (para 2013): Vistas: Razonamiento compositivo para programas concurrentes por Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang
• 2022 (para 2012): Múltiples facetas para el flujo dinámico de información por Thomas H. Austin y Cormac Flanagan
• 2021 (para 2011): Automatización del procesamiento de cadenas de texto en hojas de cálculo mediante ejemplos de entrada-salida, por Sumit Gulwani.
• 2020 (para 2010): De la verificación del programa a la síntesis del programa por Saurabh Srivastava, Sumit Gulwani, Jeffrey Foster* 2019 (para 2009): Análisis de la forma compositiva mediante biabducción por Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang
• 2018 (para 2008): Tipos de sesiones asíncronas multipartitas por Kohei Honda, Nobuko Yoshida, Marco Carbone
• 2017 (para 2007): Instrumentación de JavaScript para la seguridad del navegador por Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
• 2016 (para 2006): Certificación formal de un back-end de compilador o: programación de un compilador con un asistente de prueba por Xavier Leroy
• 2015 (para 2005): Combinadores para transformaciones de árboles bidireccionales: un enfoque lingüístico al problema de actualización de vistas por Nate Foster , Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce y Alan Schmitt
• 2014 (para 2004): Abstracciones a partir de demostraciones de Thomas Henzinger, Ranjit Jhala , Rupak Majumdar y Kenneth McMillan.
• 2013 (para 2003): Un recolector de basura en tiempo real con baja sobrecarga y utilización constante por David F. Bacon, Perry Cheng y VT Rajan
• 2012 (para 2002): CCured: Adaptación segura de tipos de código heredado por George C. Necula, Scott McPeak y Westley Weimer
• 2011 (para 2001): BI como lenguaje de aserción para estructuras de datos mutables por Samin Ishtiaq y 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 (para 2006): Los benchmarks de DaCapo: desarrollo y análisis de benchmarking de Java por 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 (para 2005): X10: Un enfoque orientado a objetos para la computación en clúster no uniforme por Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun y Vivek Sarkar
• 2014 (para 2004): Mirrors: Design Principles for Meta-level Facilities of Object-Oriented Programming Languages ​​por Gilad Bracha y David Ungar
• 2013 (para 2003): Soporte de lenguaje para transacciones ligeras por Tim Harris y Keir Fraser
• 2012 (para 2002): Reconsideración de la asignación de memoria personalizada por Emery D. Berger, Benjamin G. Zorn y Kathryn S. McKinley
• 2010 (para 2000): Optimización adaptativa en la JVM Jalapeño por Matthew Arnold, Stephen Fink, David Grove, Michael Hind y Peter F. Sweeney
• 2009 (para 1999): Implementación de Jalapeño en Java por Bowen Alpern, CR Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd y Stephen Smith
• 2008 (para 1998): Tipos de propiedad para la protección flexible de alias por David G. Clarke, John M. Potter y James Noble
• 2007 (para 1997): Construcción de grafos de llamadas en lenguajes orientados a objetos por David Grove, Greg DeFouw, Jeffrey Dean y Craig Chambers
• 2006 (para el período 1986-1996):
  • Programación Orientada a Sujetos: Una Crítica de la Objetividad Pura, por William Harrison y Harold Ossher.
  • Conceptos y experimentos en reflexión computacional por Pattie Maes
  • El yo: El poder de la simplicidad, de David Ungar y Randall B. Smith

• 2024 (para 2014): Tipos de refinamiento para Haskell por Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon Peyton-Jones
• 2023 (para 2013): Adiestradores en acción por Ohad Kammar, Sam Lindley y Nicolas Oury
• 2022 (para 2012): Abordando la terminación encubierta y los canales de sincronización en sistemas de flujo de información concurrentes por Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell y 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