SIGPLAN es la Association for Computing Machinery 's Grupo de Interés Especial en lenguajes de programación .
Conferencias
- Principios de lenguajes de programación (POPL)
- Diseño e implementación de lenguajes de programación (PLDI)
- Simposio Internacional de Gestión de la Memoria (ISMM)
- Lenguajes, compiladores y herramientas para sistemas integrados (LCTES)
- Simposio sobre Principios y Práctica de la Programación Paralela (PPoPP)
- Conferencia Internacional de Programación Funcional (ICFP)
- Sistemas, programación, lenguajes y aplicaciones: software para la humanidad (SPLASH)
- Programación, sistemas, lenguajes y aplicaciones orientados a objetos (OOPSLA)
- Historia de los lenguajes de programación (HOPL)
- Simposio de lenguajes dinámicos (DLS)
Revistas asociadas
- Transacciones de ACM sobre arquitectura y optimización de código
- Transacciones ACM en lenguajes y sistemas de programación
- Actas del ACM sobre lenguajes de programación
Boletines
Premios
Premio al software de lenguajes de programación
- 2019: Scala (lenguaje de programación) [1]
- 2018: Racket (lenguaje de programación) [2]
- 2016: V8 (motor JavaScript) [2]
- 2015: Demostrador del teorema Z3 [2]
- 2014: Colección de compiladores GNU (GCC) [2]
- 2013: Asistente de prueba de Coq [3]
- 2012: Jikes Research Virtual Machine (RVM) [4]
- 2011: Simon Peyton Jones y Simon Marlow ( compilador de Glasgow Haskell ) [5]
- 2010: Chris Lattner ( LLVM ) [6] [7]
Premio al logro de lenguajes de programación
Reconoce a un individuo o individuos que han hecho una contribución significativa y duradera al campo de los lenguajes de programación. [8]
- 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
Premio Joven Investigador Robin Milner
Reconoce las contribuciones destacadas de los jóvenes investigadores en el área de los lenguajes de programación. El premio lleva el nombre del científico informático Robin Milner . [9]
- 2019: Martín Vechev
- 2018: Ranjit Jhala
- 2017: Derek Dreyer
- 2016: Stephanie Weirich
- 2015: David Walker
- 2014: Sumit Gulwani
- 2013: Lars Birkedal
- 2012: Shriram Krishnamurthi
Premio SIGPLAN Tesis Doctoral
El nombre completo de este premio es John C. Reynolds Doctoral Dissertation Award, en honor al científico informático John C. Reynolds . Se "presenta anualmente al autor de la destacada tesis doctoral en el área de Lenguajes de Programación". [10]
- 2018: Justin Hsu y David Menendez
- 2017: Ramana Kumar
- 2016: Shachar Itzhaky y Vilhelm Sjöberg
- 2015: Mark Batty
- 2014: Aaron Turon
- 2013: Patrick Rondon
- 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
Premio al Servicio Distinguido SIGPLAN
- 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 otorga 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
Premio al papel 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 sin bloqueo, 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): Verificació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 transformación 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 tipo 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 con uso eficiente del 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 papel POPL más influyente
- 2018 (para 2008): tipos de sesiones asincrónicas 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 las pruebas, Thomas Henzinger, Ranjit Jhala , Rupak Majumdar, Kenneth McMillan
- 2013 (para 2003): un recolector de basura en tiempo real con bajos gastos generales y una utilización constante, David F. Bacon, Perry Cheng, VT Rajan
- 2012 (para 2002): CCured: Reacondicionamiento de tipo seguro del código heredado, George C.Necula, Scott McPeak y Westley Weimer
- 2011 (para 2001): BI como lenguaje de afirmación para estructuras de datos mutables, Samin Ishtiaq y Peter W. O'Hearn
- 2010 (para 2000): en cualquier momento, en cualquier lugar: lógica modal para entornos móviles, Luca Cardelli y Andrew D. Gordon
- 2009 (para 1999): JFlow: Práctico control de flujo de información principalmente 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 a 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 papel más influyente de OOPSLA
- 2017 (para 2007): Evaluación de 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 evaluación comparativa 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): Mirrors: 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): Soporte de idiomas 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): 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 la protección flexible de alias, 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 al sujeto: una crítica de los objetos puros, William Harrison y Harold Ossher
- Conceptos y experimentos en la reflexión computacional, Pattie Maes
- Yo: El poder de la simplicidad, David Ungar y Randall B. Smith
Premio al papel ICFP más influyente
- 2019 (para 2009): Soporte de 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): Cayenne - un idioma 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
- Lista de premios de informática
Referencias
- ^ "El lenguaje de programación Scala gana el premio SIGPLAN" . Consultado el 25 de junio de 2019 .
- ^ a b c d "Premio Software de Lenguajes de Programación" . www.sigplan.org . Consultado el 2 de diciembre de 2018 .
- ^ 2013: El asistente de pruebas de 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 Programming Languages Software en 2010 en reconocimiento a su trabajo en LLVM .
- ^ "Premio al Logro de Lenguajes de Programación SIGPLAN" . ACM SIGPLAN. Archivado desde el original el 18 de mayo de 2014.
- ^ "Premio Joven Investigador Robin Milner SIGPLAN" . www.sigplan.org . ACM SIGPLAN . Consultado el 12 de marzo de 2018 .
- ^ "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