Grupo de interés especial de la Asociación de Maquinaria Informática (ACM)
SIGPLAN es el Grupo de Interés Especial (SIG) de la Association for Computing Machinery sobre lenguajes de programación . Este SIG explora los conceptos y herramientas de los lenguajes de programación, centrándose en el diseño, la implementación, la práctica y la teoría. Sus miembros son desarrolladores, educadores, implementadores, investigadores, teóricos y usuarios de lenguajes de programación.
Conferencias
Revistas asociadas
Boletines informativos
- Avisos SIGPLAN de la ACM - ISSN 1558-1160 ISSN 0362-1340 - Página de inicio en la ACM
- Foro Fortran - ISSN 1061-7264 ISSN 1931-1311
- Lisp Pointers (último número de 1995) - ISSN 1045-3563
- Mensajero de OOPS (1990–1996) - ISSN 1558-0253 ISSN 1055-6400
Premios
Premio al Logro en Lenguajes de Programación
Reconoce a una persona o personas que han hecho una contribución significativa y duradera al campo de los lenguajes de programación. [2] [3]
Premio Robin Milner para jóvenes investigadores
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 .
- 2024: Armando Solar-Lezama
- 2023: Nate Foster
- 2022: Víctor Vafeiadis
- 2021: Emina Torlak
- 2020: Eran Yahav
- 2019: Martín Vechev
- 2018: Ranjit Jhala
- 2017: Derek Dreyer
- 2016: Stephanie Weirich
- 2015: David Walker
- 2014: Sumit Gulwani
- 2013: Lars Birkedal
- 2012: Sri Ram Krishnamurti
Premio al software de lenguajes de programación
Se otorga a una institución o individuo(s) para reconocer el desarrollo de un sistema de software que ha tenido un impacto significativo en la investigación, las implementaciones y las herramientas del lenguaje de programación. [6]
Premio SIGPLAN a la tesis doctoral
El nombre completo de este premio es Premio de Tesis Doctoral John C. Reynolds, 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 los lenguajes de programación. [17]
- 2018: Justin Hsu y David Menéndez
- 2017: Ramana Kumar
- 2016: Shachar Itzhaky y Vilhelm Sjöberg
- 2015: Mark Batty
- 2014: Aarón Turón
- 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 regresa
- 2002: Michael Hicks
- 2001: Rastislav Bodik
Premio al Servicio Distinguido de SIGPLAN
Premio PLDI al artículo más influyente
- 2017 (para 2007): Valgrind: un marco para instrumentación binaria dinámica de peso pesado, Nicholas Nethercote, Julian Seward
- 2016 (para 2006): DieHard: seguridad de memoria probabilística para lenguajes inseguros, Emery Berger, Benjamin Zorn
- 2015 (para 2005): Pin: creación de herramientas de análisis de programas personalizados con instrumentación dinámica, 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 de memoria dinámica escalable sin bloqueo, Maged M. Michael
- 2013 (para 2003): El lenguaje nesC: un enfoque holístico para sistemas integrados en red, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer y David E. Culler
- 2012 (para 2002): Comprobación estática extendida para Java, 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, Thomas Ball, Rupak Majumdar, Todd Millstein y Sriram K. Rajamani
- 2010 (por 2000): Dynamo: un sistema de optimización dinámica transparente, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
- 2009 (para 1999): Un compilador de transformada rápida de Fourier, Matteo Frigo
- 2008 (para 1998): La implementación del lenguaje multiproceso Cilk-5, Matteo Frigo, Charles E. Leiserson, Keith H. Randall
- 2007 (para 1997): Explotación de contadores de rendimiento de hardware con perfiles sensibles al flujo y al contexto, Glenn Ammons, Thomas Ball y James R. Larus
- 2006 (para 1996): TIL: un compilador optimizador dirigido por tipos para ML, David Tarditi, Greg Morrisett , Perry Cheng, Christopher Stone, Robert Harper y Peter Lee
- 2005 (para 1995): Especialización selectiva para lenguajes orientados a objetos, Jeffrey Dean , Craig Chambers y David Grove
- 2004 (para 1994): ATOM: un sistema para crear herramientas de análisis de programas personalizados, Amitabh Srivastava y Alan Eustace
- 2003 (para 1993): Recolección de basura eficiente y conservadora en cuanto al espacio, Hans Boehm
- 2002 (por 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
- 2001 (para 1991): Un algoritmo de optimización de la localidad de datos, Michael E. Wolf y Monica S. Lam
- 2000 (para 1990): Posicionamiento de código guiado por perfiles, Karl Pettis y Robert C. Hansen
Premio al artículo más influyente de POPL
- 2018 (para 2008): tipos de sesiones asincrónicas multipartitas, Kohei Honda, Nobuko Yoshida, Marco Carbone
- 2017 (para 2007): Instrumentación de JavaScript para la seguridad del navegador, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
- 2016 (para 2006): Certificación formal de un compilador back-end o: programación de un compilador con un asistente de pruebas, Xavier Leroy
- 2015 (para 2005): Combinadores para transformaciones de árboles bidireccionales: un enfoque lingüístico para el problema de actualización de vistas, Nate Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce , Alan Schmitt
- 2014 (para 2004): Abstracciones de pruebas, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth McMillan
- 2013 (para 2003): Un recolector de basura en tiempo real con bajo consumo de recursos y uso constante, David F. Bacon, Perry Cheng, VT Rajan
- 2012 (para 2002): CCured: modernización segura de códigos heredados, George C. Necula, Scott McPeak y Westley Weimer
- 2011 (para 2001): BI como lenguaje de aserción para estructuras de datos mutables, Samin Ishtiaq y Peter W. O'Hearn
- 2010 (para 2000): En cualquier momento y en cualquier lugar: lógicas modales para entornos móviles, Luca Cardelli y Andrew D. Gordon
- 2009 (para 1999): JFlow: Control práctico de flujo de información principalmente estático, Andrew C. Myers
- 2008 (para 1998): Del Sistema F al lenguaje ensamblador tipado, Greg Morrisett, David Walker, Karl Crary y Neal Glew
- 2007 (para 1997): Código de prueba, George Necula
- 2006 (para 1996): Análisis de puntos a punto en tiempo casi lineal, Bjarne Steensgaard
- 2005 (para 1995): Un lenguaje con alcance distribuido, Luca Cardelli
- 2004 (para 1994): Implementación del cálculo lambda de llamada por valor tipificado utilizando una pila de regiones, Mads Tofte y Jean-Pierre Talpin
- 2003 (para 1993): Programación funcional imperativa, Simon Peyton Jones y Philip Wadler
Premio al artículo más influyente de OOPSLA
- 2017 (para 2007): Evaluación del rendimiento de Java estadísticamente rigurosa, Andy Georges, Dries Buytaert , Lieven Eeckhout
- 2016 (para 2006): Los puntos de referencia de DaCapo: desarrollo y análisis de puntos de referencia de Java, 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, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun y Vivek Sarkar
- 2014 (para 2004): Espejos: Principios de diseño para instalaciones de meta-nivel de lenguajes de programación orientados a objetos, Gilad Bracha y David Ungar
- 2013 (para 2003): Compatibilidad de lenguaje para transacciones ligeras, Tim Harris y Keir Fraser
- 2012 (para 2002): Reconsideración de la asignación de memoria personalizada, Emery D. Berger, Benjamin G. Zorn y Kathryn S. McKinley
- 2010 (para 2000): Optimización adaptativa en la JVM Jalapeño, Matthew Arnold, Stephen Fink, David Grove, Michael Hind y Peter F. Sweeney
- 2009 (para 1999): Implementación de Jalapeño en Java, 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 protección de alias flexible, David G. Clarke, John M. Potter y James Noble
- 2007 (para 1997): Construcción de gráficos de llamadas en lenguajes orientados a objetos, David Grove, Greg DeFouw, Jeffrey Dean y Craig Chambers
- 2006 (para 1986–1996):
- Programación orientada a objetos: una crítica de los objetos puros, William Harrison y Harold Ossher
- Conceptos y experimentos en reflexión computacional, Pattie Maes
- El yo: el poder de la simplicidad, David Ungar y Randall B. Smith
Premio al artículo más influyente de la ICFP
- 2019 (para 2009): Compatibilidad en tiempo de ejecución con Haskell multinúcleo: Simon Marlow, Simon Peyton Jones y Satnam Singh
- 2009 (para 1999): Haskell y XML: ¿Combinadores genéricos o traducción basada en tipos?, Malcolm Wallace y Colin Runciman
- 2008 (para 1998): Cayenne: un lenguaje con tipos dependientes, Lennart Augustsson
- 2007 (para 1997): Animación reactiva funcional, Conal Elliott y Paul Hudak
- 2006 (para 1996): Optimalidad e ineficiencia: ¿qué no es un modelo de costos del cálculo lambda?, Julia L. Lawall y Harry G. Mairson
Véase también
Referencias
- ^ "Premio al Logro de los Lenguajes de Programación SIGPLAN". ACM SIGPLAN.
- ^ Este enlace proporciona información sobre todos los premiados. [1]
- ^ "Premio al Logro de los Lenguajes de Programación SIGPLAN". ACM SIGPLAN. Archivado desde el original el 22 de febrero de 2024.
- ^ "Premio SIGPLAN Robin Milner para jóvenes investigadores". www.sigplan.org . ACM SIGPLAN . Consultado el 8 de julio de 2024 .
- ^ Este enlace proporciona información sobre todos los premiados. [4]
- ^ "Premio de software de lenguajes de programación SIGPLAN". ACM SIGPLAN. Archivado desde el original el 5 de junio de 2024.
- ^ "Premio de software de lenguajes de programación" . Consultado el 12 de julio de 2024 .
- ^ "Premio de software de lenguajes de programación" . Consultado el 27 de octubre de 2022 .
- ^ ab "Premio de software de lenguajes de programación" . Consultado el 5 de octubre de 2021 .
- ^ Luterbacher, Celia (25 de junio de 2019). «El lenguaje de programación Scala gana el premio SIGPLAN» . Consultado el 25 de junio de 2019 .
- ^ abcd "Premio de software de lenguajes de programación". www.sigplan.org . Consultado el 2 de diciembre de 2018 .
- ^ 2013: El asistente de pruebas Coq Archivado el 3 de julio de 2013 en Wayback Machine . SIGPLAN. Consultado el 20 de agosto de 2013.
- ^ 2012: Jikes Research Virtual Machine (RVM) Archivado el 3 de julio de 2013 en Wayback Machine . SIGPLAN. Consultado el 20 de agosto de 2013.
- ^ 2011: Simon Peyton Jones y Simon Marlow. SIGPLAN. Consultado el 20 de agosto de 2013.
- ^ 2010: Chris Lattner. SIGPLAN. Consultado el 20 de agosto de 2013.
- ^ Premio ACM SIGPLAN al software de lenguajes de programación en 2010 en reconocimiento a su trabajo en LLVM .
- ^ "Premio de tesis doctoral John C. Reynolds". www.sigplan.org . Consultado el 16 de enero de 2017 .
Enlaces externos
- Página de inicio de SIGPLAN
