SIGPLAN

Sigplan ist der Verband für Rechenmaschinen's Besondere Interessengruppe an Programmiersprachen.

Konferenzen

Assoziierte Zeitschriften

Newsletter

  • Sigplan Notices - ISSN 1558-1160 ISSN 0362-1340 - Startseite bei ACM
  • FORTRAN FORUM - ISSN 1061-7264 ISSN 1931-1311
  • Lisp -Zeiger (letzte Ausgabe 1995) - ISSN 1045-3563
  • Oops Messenger (1990–1996) - ISSN 1558-0253 ISSN 1055-6400

Auszeichnungen

Programmiersprachen Software Award

Programmiersprachen Achievement Award

Erkennt eine Person oder Einzelperson an, die einen bedeutenden und dauerhaften Beitrag zum Bereich der Programmiersprachen geleistet hat.[10]

Robin Milner Young Forscher Award

Erkennt hervorragende Beiträge junger Forscher im Bereich der Programmiersprachen an. Die Auszeichnung ist nach dem Informatiker benannt Robin Milner.[11]

Sigplan Promotion Dissertation Award

Der vollständige Name dieser Auszeichnung ist der John C. Reynolds Doctoral Dissertation Award nach dem Informatiker John C. Reynolds. Es wird "jährlich dem Autor der herausragenden Dissertation im Bereich der Programmiersprachen überreicht".[12]

  • 2018: Justin Hsu und David Menendez
  • 2017: Ramana Kumar
  • 2016: Shachar Itzhaky und Vilhelm Sjöberg
  • 2015: Mark Batty
  • 2014: Aaron Turon
  • 2013: Patrick Rondon
  • 2012: Dan Marino
  • 2010: Robert L. Bocchino
  • 2009: Akash Lai und William Thies
  • 2008: Michael Bond und Viktor Vafeiadis
  • 2007: Swarat Chaudhuri
  • 2006: Xiangyu Zhang
  • 2005: Sumit Gulwani
  • 2003: Gott zurück
  • 2002: Michael Hicks
  • 2001: Rastislav Bodik

Sigplan Distinguished Service Award

Einflussreichster PLDI -Papierpreis

  • 2017 (für 2007): Valgrind: Ein Rahmen für dynamische Binärinstrumente mit Schwergewicht, Nicholas Nethercote, Julian Seward
  • 2016 (für 2006): Einstocher: probabilistische Gedächtnissicherheit für unsichere Sprachen, Emery Berger, Benjamin Zorn
  • 2015 (für 2005): PIN: Bauen maßgeschneiderte Programmanalyse-Tools mit dynamischer Instrumentierung, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi und Kim Hazelwood
  • 2014 (für 2004): Skalierbares lockfreies dynamisches Speicherzuweisungen, Maged M. Michael
  • 2013 (für 2003): Die NESC -Sprache: Ein ganzheitlicher Ansatz für vernetzte Embedded -Systeme, David Gay, Philip Levis, J. Robert von Beutren, Matt Welsh, Eric Brewer und David E. Culler
  • 2012 (für 2002): Erweiterte statische Überprüfung von Java, Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe und Raymie Stata
  • 2011 (für 2001): Automatische Prädikatabstraktion von C -Programmen, Thomas Ball, Rupak Majumdar, Todd Millstein und Sriram K. Rajamani
  • 2010 (für 2000): Dynamo: Ein transparentes Dynamik -Optimierungssystem, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
  • 2009 (für 1999): Ein schneller Fourier -Transformations Compiler, Matteo Frigo
  • 2008 (für 1998): Die Implementierung der Cilk-5-Multithread-Sprache, Matteo Frigo, Charles E. Leiserson, Keith H. Randall
  • 2007 (für 1997): Ausnutzung von Hardware -Performance -Zählern mit Fluss- und Kontextsensitivprofile, Glenn Ammons, Thomas Ball und James R. Larus
  • 2006 (für 1996): TIL: Ein Typ-gesteuerter Optimierungs Compiler für ML, David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, und Peter Lee
  • 2005 (für 1995): Selektive Spezialisierung für objektorientierte Sprachen, Jeffrey Dean, Craig Chambersund David Grove
  • 2004 (für 1994): Atom: Ein System zum Erstellen maßgeschneiderter Programmanalyse -Tools, Amitabh Srivastava und Alan Eustace
  • 2003 (für 1993): Raumeeffiziente konservative Müllsammlung, Sammlung, Hans Boehm
  • 2002 (für 1992): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
  • 2001 (für 1991): Ein Datenlokalität optimaler Algorithmus, Michael E. Wolf und Monica S. Lam
  • 2000 (für 1990): Profil -geführte Code -Positionierung, Karl Pettis und Robert C. Hansen

Einflussreicher Popl Paper Award

  • 2018 (für 2008): Multiparty Asynchron Session Typen, Kohei Honda, Nobuko Yoshida, Marco Carbone
  • 2017 (für 2007): JavaScript -Instrumentierung für Browsersicherheit, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
  • 2016 (für 2006): formelle Zertifizierung eines Back-End-Compiler-Back-Ends oder: Programmieren eines Compilers mit einem Proof-Assistenten, Xavier Leroy
  • 2015 (für 2005): Kombinatoren für bidirektionale Baumtransformationen: Ein sprachlicher Ansatz für das Problem der View Update, Nate Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. PierceAlan Schmitt
  • 2014 (für 2004): Abstraktionen von Proofs, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth McMillan
  • 2013 (für 2003): Ein Echtzeit-Müllsammler mit geringer Overhead und konsistenter Auslastung, David F. Bacon, Perry Cheng, VT Rajan
  • 2012 (für 2002): CCURD: Typ-Safe-Nachrüstung von Legacy Code, George C. Necula, Scott McPeak und Westley Weimer
  • 2011 (für 2001): Bi als Assertionssprache für veränderliche Datenstrukturen, Samin Ishtiaq und Peter W. O'hearn
  • 2010 (für 2000): jederzeit, überall: Modale Logik für mobile Umgebungen, Luca Cardelli und Andrew D. Gordon
  • 2009 (für 1999): Jflow: Praktische meist-statische Informationsflusskontrolle, Andrew C. Myers
  • 2008 (für 1998): Von System F zu Typed Assemblersprache, Greg Morrisett, David Walker, Karl Crary und Neal Glew
  • 2007 (für 1997): Proof-Carrying Code, George Necula
  • 2006 (für 1996): Punkte-to-Analyse in fast linearer Zeit, Bjarne Steensgaard
  • 2005 (für 1995): Eine Sprache mit verteiltem Umfang, Luca Cardelli
  • 2004 (für 1994): Implementierung des typisierten Call-by-Wert-Lambda-Kalkulus mit einem Stapel Regionen, Mads Toftte und Jean-Pierre Talpin
  • 2003 (für 1993): Imperative funktionelle Programmierung, Simon Peyton Jones und Philip Wadler

Einflussreichster oopla Paper Award

  • 2017 (für 2007): statistisch strenge Java -Leistungsbewertung, Andy Georges, Trocknet Buytaert, Lieven eeckhout
  • 2016 (für 2006): Die DACAPO -Benchmarks: Java -Benchmarking -Entwicklung und -analyse, Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer. Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phanalkar, Darko Stefanović, Thomas Vandrunen, Daniel von Dinckklage, Ben Wedenmannn
  • 2015 (für 2005): x10: Ein objektorientierter Ansatz zum ungleichmäßigen Cluster-Computing, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun und Vivek Sarkar
  • 2014 (für 2004): Spiegel: Designprinzipien für meta-Ebenen Einrichtungen objektorientierter Programmiersprachen, Gilad Bracha und David Ungar
  • 2013 (für 2003): Sprachunterstützung für leichte Transaktionen, Tim Harris und Keir Fraser
  • 2012 (für 2002): Überdenken für die Zuweisung von benutzerdefinierten Speicher, Emery D. Berger, Benjamin G. Zorn und Kathryn S. McKinley
  • 2010 (für 2000): Adaptive Optimierung in Jalapeño JVM, Matthew Arnold, Stephen Fink, David Grove, Michael Hind und Peter F. Sweeney
  • 2009 (für 1999): Implementierung von Jalapeño in Java, Bowen Alpern, C. R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton NGO, Mark Mergen, Janice C. Shepherd und Stephen Smith Smith
  • 2008 (für 1998): Eigentümertypen für Flexible Alias ​​Protection, David G. Clarke, John M. Potter und James Noble
  • 2007 (für 1997): Call Graph Construction in objektorientierten Sprachen, David Grove, Greg defouw, Jeffrey Dean und Craig Chambers
  • 2006 (für 1986–1996):
    • Probandenorientierte Programmierung: Eine Kritik an reinen Objekten, William Harrison und Harold Ossher
    • Konzepte und Experimente in der Rechenreflexion, Pattie Maes
    • Selbst: Die Kraft der Einfachheit, David Ungar und Randall B. Smith

Einflussreichster ICFP Paper Award

  • 2019 (für 2009): Laufzeitunterstützung für Multicore Haskell: Simon Marlow, Simon Peyton Jones und Satnam Singh
  • 2009 (für 1999): Haskell und XML: Generische Kombinatoren oder typenbasierte Übersetzungen ?, Malcolm Wallace und Colin Runciman
  • 2008 (für 1998): Cayenne - eine Sprache mit abhängigen Typen, Lennart Augustson
  • 2007 (für 1997): Funktionelle reaktive Animation, Conal Elliott und Paul Hudak
  • 2006 (für 1996): Optimalität und Ineffizienz: Was ist kein Kostenmodell des Lambda Calculus?, Julia L. Lawall und Harry G. Mairson

Siehe auch

Verweise

  1. ^ "Programmiersprachen Software Award". Abgerufen 2021-10-05.
  2. ^ "Programmiersprachen Software Award". Abgerufen 2021-10-05.
  3. ^ "Scala -Programmiersprache gewinnt den Sigplan -Preis". Abgerufen 2019-06-25.
  4. ^ a b c d "Programmiersprachen Software Award". www.sigplan.org. Abgerufen 2018-12-02.
  5. ^ 2013: Der CoQ -Proof -Assistent Archiviert 2013-07-03 bei der Wayback -Maschine. Sigplan. Abgerufen am 2013-08-20.
  6. ^ 2012: Jikes Research Virtual Machine (RVM) Archiviert 2013-07-03 bei der Wayback -Maschine. Sigplan. Abgerufen am 2013-08-20.
  7. ^ 2011: Simon Peyton Jones und Simon Marlow. Sigplan. Abgerufen am 2013-08-20.
  8. ^ 2010: Chris Lattner. Sigplan. Abgerufen am 2013-08-20.
  9. ^ ACM Sigplan Programming Languages ​​Software Award im Jahr 2010 in Anerkennung seiner Arbeit an Llvm.
  10. ^ "Sigplan -Programmiersprachen Leistungspreis". ACM Sigplan. Archiviert von das Original Am 2014-05-18.
  11. ^ "Sigplan Robin Milner Young Forscher Award". www.sigplan.org. ACM Sigplan. Abgerufen 2018-03-12.
  12. ^ "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Abgerufen 2017-01-16.

Externe Links