Grupo de interés especial de la Asociación de Maquinaria de Computación (ACM)
SIGPLAN es el grupo de interés especial en lenguajes de programación de la Association for Computing Machinery .
Conferencias
Revistas asociadas
Boletines
- Avisos SIGPLAN - ISSN 1558-1160 ISSN 0362-1340 - Página de inicio en ACM
- Foro Fortran - ISSN 1061-7264 ISSN 1931-1311
- Lisp Pointers (número final de 1995) - ISSN 1045-3563
- Vaya Mensajero (1990–1996) - ISSN 1558-0253 ISSN 1055-6400
Premios
Premio Software de Lenguajes de Programación
Otorgado 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, implementaciones y herramientas de lenguajes de programación. [1]
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. [13] [14]
Premio Robin Milner al Joven Investigador
Reconoce contribuciones destacadas de jóvenes investigadores en el área de lenguajes de programación. [16] El premio lleva el nombre del informático Robin Milner .
- 2024: Armando Solar-Lezama
- 2023: Nate Foster
- 2022: Viktor Vafeiadis
- 2021: Emina Torlák
- 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: Sriram Krishnamurthi
Premio Tesis Doctoral SIGPLAN
El nombre completo de este premio es Premio de Tesis Doctoral John C. Reynolds, en honor al informático John C. Reynolds . Se "presenta anualmente al autor de la tesis doctoral destacada en el área de 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: Patricio 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 de regreso
- 2002: Michael Hicks
- 2001: Rastislav Bodik
Premio SIGPLAN al Servicio Distinguido
Premio al artículo PLDI 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 la memoria probabilística para lenguajes inseguros, Emery Berger, Benjamin Zorn
- 2015 (para 2005): Pin: creación de herramientas de análisis de programas personalizadas 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 y sin bloqueos, Maged M. Michael
- 2013 (para 2003): El lenguaje nesC: un enfoque holístico de los 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 (para 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 de optimización dirigido por tipos para ML, David Tarditi, Greg Morrisett , Perry Cheng, Christopher Stone, Robert Harper y Peter Lee
- 2005 (para 1995): Especialización selectiva en 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 personalizadas, Amitabh Srivastava y Alan Eustace
- 2003 (para 1993): Recolección de basura conservadora y eficiente en el espacio, Hans Boehm
- 2002 (para 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
- 2001 (para 1991): Un algoritmo de optimización de localidad de datos, Michael E. Wolf y Monica S. Lam
- 2000 (para 1990): posicionamiento de código guiado por perfil, Karl Pettis y Robert C. Hansen
Premio al artículo POPL más influyente
- 2018 (para 2008): tipos de sesiones asíncronas multipartitas, Kohei Honda, Nobuko Yoshida, Marco Carbone
- 2017 (para 2007): Instrumentación 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 bajos gastos generales y utilización constante, David F. Bacon, Perry Cheng, VT Rajan
- 2012 (para 2002): CCured: Retrofitting Type-Safe de código heredado, 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 ambientes móviles, Luca Cardelli y Andrew D. Gordon
- 2009 (para 1999): JFlow: control práctico del flujo de información mayoritariamente estático, Andrew C. Myers
- 2008 (para 1998): Del sistema F al lenguaje ensamblador mecanografiado, 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 de interés en tiempo casi lineal, Bjarne Steensgaard
- 2005 (para 1995): Un lenguaje de alcance distribuido, Luca Cardelli
- 2004 (para 1994): Implementación del cálculo lambda de llamada por valor escrito 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 OOPSLA más influyente
- 2017 (para 2007): Evaluación estadísticamente rigurosa del rendimiento de Java, 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ústeres 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 nivel meta de lenguajes de programación orientados a objetos, Gilad Bracha y David Ungar
- 2013 (para 2003): soporte lingüístico 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 Jalapeño JVM, Matthew Arnold, Stephen Fink, David Grove, Michael Hind y Peter F. Sweeney
- 2009 (para 1999): Implementing Jalapeño in 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): Llame a construcción de gráficos en lenguajes orientados a objetos, David Grove, Greg DeFouw, Jeffrey Dean y Craig Chambers
- 2006 (para 1986-1996):
- Programación orientada al sujeto: una crítica de los objetos puros, William Harrison y Harold Ossher
- Conceptos y experimentos en reflexión computacional, Pattie Maes
- Yo: El poder de la simplicidad, David Ungar y Randall B. Smith
Premio al artículo ICFP más influyente
- 2019 (para 2009): soporte en tiempo de ejecución para 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): Cayena: una lengua con tipos dependientes, Lennart Augustsson
- 2007 (para 1997): Animación reactiva funcional, Conal Elliott y Paul Hudak
- 2006 (para 1996): Optimidad e ineficiencia: ¿qué no es un modelo de costos del cálculo lambda?, Julia L. Lawall y Harry G. Mairson
Ver también
Referencias
- ^ "Premio al software de lenguajes de programación SIGPLAN". SIGPLAN ACM. Archivado desde el original el 5 de junio de 2024.
- ^ "Premio Software de Lenguajes de Programación" . Consultado el 12 de julio de 2024 .
- ^ "Premio Software de Lenguajes de Programación" . Consultado el 27 de octubre de 2022 .
- ^ ab "Premio al 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 al software de lenguajes de programación". www.sigplan.org . Consultado el 2 de diciembre de 2018 .
- ↑ 2013: El asistente de prueba Coq Archivado el 3 de julio de 2013 en Wayback Machine . SIGPLAN. Recuperado el 20 de agosto de 2013.
- ↑ 2012: Máquina virtual de Jikes Research (RVM) Archivado el 3 de julio de 2013 en Wayback Machine . SIGPLAN. Recuperado el 20 de agosto de 2013.
- ^ 2011: Simon Peyton Jones y Simon Marlow. SIGPLAN. Recuperado el 20 de agosto de 2013.
- ^ 2010: Chris Lattner. SIGPLAN. Recuperado el 20 de agosto de 2013.
- ^ Premio ACM SIGPLAN Programming Languages Software Award en 2010 en reconocimiento a su trabajo en LLVM .
- ^ "Premio al logro en lenguajes de programación SIGPLAN". SIGPLAN ACM.
- ^ Este enlace proporciona información sobre todos los premiados. [12]
- ^ "Premio al logro en lenguajes de programación SIGPLAN". SIGPLAN ACM. Archivado desde el original el 22 de febrero de 2024.
- ^ "Premio SIGPLAN Robin Milner Joven Investigador". www.sigplan.org . ACM SIGPLAN . Consultado el 8 de julio de 2024 .
- ^ Este enlace proporciona información sobre todos los premiados. [15]
- ^ "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