SİGPLAN - SIGPLAN

SİGPLAN ... Bilgi İşlem Makineleri Derneği 's Özel ilgi grubu açık Programlama dilleri.

Konferanslar

İlişkili dergiler

Bültenler

  • SİGPLAN Bildirimleri - ISSN  1558-1160 ISSN  0362-1340 - Ana Sayfa -de ACM
  • Fortran Forumu - ISSN  1061-7264 ISSN  1931-1311
  • Lisp İşaretçiler (son sayı 1995) - ISSN  1045-3563
  • OOPS Messenger (1990–1996) - ISSN  1558-0253 ISSN  1055-6400

Ödüller

Programlama Dilleri Yazılım Ödülü

Programlama Dilleri Başarı Ödülü

Programlama dilleri alanına önemli ve kalıcı katkılarda bulunan bireyi veya kişileri tanır.[8]

Robin Milner Genç Araştırmacı Ödülü

Programlama dilleri alanında genç araştırmacıların olağanüstü katkılarını kabul eder. Ödül, bilgisayar bilimcisinin adını almıştır Robin Milner.[9]

SİGPLAN Doktora Tezi Ödülü

Bu ödülün tam adı, bilgisayar bilimcisi tarafından verilen John C. Reynolds Doktora Tezi Ödülü'dür. John C. Reynolds. "Programlama Dilleri alanındaki seçkin doktora tezinin yazarına her yıl sunulur".[10]

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

SİGPLAN Üstün Hizmet Ödülü

En Etkili PLDI Bildiri Ödülü

  • 2017 (2007 için): Valgrind: ağır dinamik ikili enstrümantasyon için bir çerçeve, Nicholas Nethercote, Julian Seward
  • 2016 (2006 için): DieHard: güvenli olmayan diller için olasılıksal bellek güvenliği, Zımpara Berger Benjamin Zorn
  • 2015 (2005 için): Pin: dinamik enstrümantasyonla özelleştirilmiş program analiz araçları oluşturma, Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi ve Kim Hazelwood
  • 2014 (2004 için): Ölçeklenebilir Kilitsiz Dinamik Bellek Tahsisi, Maged M. Michael
  • 2013 (2003 için): NesC dili: Ağa bağlı gömülü sistemlere bütünsel bir yaklaşım, David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric Brewer ve David E. Culler
  • 2012 (2002 için): Java için Genişletilmiş Statik Denetim, Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe ve Raymie Stata
  • 2011 (2001 için): C programlarının otomatik yüklem soyutlaması, Thomas Ball, Rupak Majumdar, Todd Millstein ve Sriram K. Rajamani
  • 2010 (2000 için): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
  • 2009 (1999 için): Hızlı Fourier Dönüşümü Derleyicisi, Matteo Frigo
  • 2008 (1998 için): Cilk-5 çok iş parçacıklı dilin uygulanması, Matteo Frigo, Charles E. Leiserson, Keith H. Randall
  • 2007 (1997 için): Akış ve bağlama duyarlı profil oluşturma ile donanım performans sayaçlarından yararlanma, Glenn Ammons, Thomas Ball ve James R. Larus
  • 2006 (1996 için): TIL: ML için Tipe Yönelik Optimize Edici Bir Derleyici, David Tarditi, Greg Morrisett, Perry Cheng Christopher Stone, Robert Harper, ve Peter Lee
  • 2005 (1995 için): Nesne Yönelimli Diller için Seçici Uzmanlık, Jeffrey Dean, Craig Chambers, ve David Grove
  • 2004 (1994 için): ATOM: özelleştirilmiş program analiz araçları oluşturmak için bir sistem, Amitabh Srivastava ve Alan Eustace
  • 2003 (1993 için): Alan Verimli Muhafazakar Çöp Toplama, Hans Boehm
  • 2002 (1992 için): Lazy Code Motion, Jens Knoop, Oliver Rüthing, Bernhard Steffen
  • 2001 (1991 için): Bir veri yerelliği optimizasyon algoritması, Michael E. Wolf ve Monica S. Lam
  • 2000 (1990 için): Profil yönlendirmeli kod konumlandırma, Karl Pettis ve Robert C. Hansen

En Etkili POPL Bildiri Ödülü

  • 2018 (2008 için): Çok partili asenkron oturum türleri, Kohei Honda, Nobuko Yoshida, Marco Carbone
  • 2017 (2007 için): Tarayıcı Güvenliği için JavaScript Enstrümantasyonu, Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
  • 2016 (2006 için): Bir derleyicinin arka ucunun resmi sertifikası veya: bir derleyiciyi bir prova asistanıyla programlama, Xavier Leroy
  • 2015 (2005 için): Çift Yönlü Ağaç Dönüşümleri için Birleştiriciler: Görünüm Güncelleme Problemine Dilsel Bir Yaklaşım, Nate Foster Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
  • 2014 (2004 için): İspatlardan soyutlamalar, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth McMillan
  • 2013 (2003 için): Düşük ek yük ve tutarlı kullanıma sahip gerçek zamanlı bir çöp toplayıcı, David F. Bacon, Perry Cheng, VT Rajan
  • 2012 (2002 için): CCured: Eski Kodun Tip Güvenli Güçlendirilmesi, George C.Necula, Scott McPeak ve Westley Weimer
  • 2011 (2001 için): Değişken Veri Yapıları için Bir İddia Dili olarak BI, Samin Ishtiaq ve Peter W. O'Hearn
  • 2010 (2000 için): Her Zaman, Her Yerde: Mobil Ortamlar için Modal Mantık, Luca Cardelli ve Andrew D. Gordon
  • 2009 (1999 için): JFlow: Pratik Çoğunlukla Statik Bilgi Akışı Kontrolü, Andrew C. Myers
  • 2008 (1998 için): System F'den Typed Assembly Language'e, Greg Morrisett, David Walker, Karl Crary ve Neal Glew
  • 2007 (1997 için): Proof-Carry Code, George Necula
  • 2006 (1996 için): Neredeyse Doğrusal Zamanda Analiz Edilecek Noktalar, Bjarne Steensgaard
  • 2005 (1995 için): Dağıtılmış Kapsamı Olan Bir Dil, Luca Cardelli
  • 2004 (1994 için): Bir Bölgeler Yığını Kullanılarak Değere Göre Çağrı lambda-hesaplamasının uygulanması, Mads Tofte ve Jean-Pierre Talpin
  • 2003 (1993 için): Zorunlu işlevsel programlama, Simon Peyton Jones ve Philip Wadler

En Etkili OOPSLA Bildiri Ödülü

  • 2017 (2007 için): İstatistiksel Olarak Titiz Java Performans Değerlendirmesi, Andy Georges, Dries Buytaert, Lieven Eeckhout
  • 2016 (2006 için): DaCapo kriterleri: Java kıyaslama geliştirme ve analizi, 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 (2005 için): X10: Tek Tip Olmayan Küme Hesaplamaya Nesne Odaklı Yaklaşım, Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun ve Vivek Sarkar
  • 2014 (2004 için): Aynalar: Nesne Yönelimli Programlama Dillerinin Meta Düzey Tesisleri için Tasarım İlkeleri, Gilad Bracha ve David Ungar
  • 2013 (2003 için): Hafif İşlemler için Dil Desteği, Tim Harris ve Keir Fraser
  • 2012 (2002 için): Özel Bellek Tahsisini Yeniden Değerlendirme, Emery D. Berger, Benjamin G. Zorn ve Kathryn S. McKinley
  • 2010 (2000 için): Jalapeño JVM'de Uyarlamalı Optimizasyon, Matthew Arnold, Stephen Fink, David Grove, Michael Hind ve Peter F. Sweeney
  • 2009 (1999 için): Jalapeño'nun Java'da uygulanması, Bowen Alpern, C.R. Attanasio, John J. Barton, Anthony Cocchi, Susan Flynn Hummel, Derek Lieber, Ton Ngo, Mark Mergen, Janice C. Shepherd ve Stephen Smith
  • 2008 (1998 için): Esnek Takma Ad Koruması için Sahiplik Türleri, David G. Clarke, John M. Potter ve James Noble
  • 2007 (1997 için): Nesne Yönelimli Dillerde Çağrı Grafiği Oluşturma, David Grove, Greg DeFouw, Jeffrey Dean ve Craig Chambers
  • 2006 (1986–1996 için):
    • Konu Odaklı Programlama: Saf Nesnelerin Bir Eleştirisi, William Harrison ve Harold Ossher
    • Hesaplamalı Yansımada Kavramlar ve Deneyler, Pattie Maes
    • Benlik: Sadeliğin Gücü, David Ungar ve Randall B. Smith

En Etkili ICFP Bildiri Ödülü

  • 2009 (1999 için): Haskell ve XML: Genel birleştiriciler mi yoksa tür tabanlı çeviri mi ?, Malcolm Wallace ve Colin Runciman
  • 2008 (1998 için): Cayenne - bağımlı türleri olan bir dil, Lennart Augustsson
  • 2007 (1997 için): Functional Reactive Animation, Conal Elliott ve Paul Hudak
  • 2006 (1996 için): Optimalite ve verimsizlik: lambda hesabının maliyet modeli nedir ?, Julia L. Lawall ve Harry G. Mairson

Ayrıca bakınız

Referanslar

  1. ^ "Scala programlama dili SIGPLAN ödülünü kazandı". Alındı 2019-06-25.
  2. ^ a b c d "Programlama Dilleri Yazılım Ödülü". www.sigplan.org. Alındı 2018-12-02.
  3. ^ 2013: Coq geçirmez yardımcısı Arşivlendi 2013-07-03 de Wayback Makinesi. Sigplan. Erişim tarihi: 2013-08-20.
  4. ^ 2012: Jikes Araştırma Sanal Makinesi (RVM) Arşivlendi 2013-07-03 de Wayback Makinesi. Sigplan. Erişim tarihi: 2013-08-20.
  5. ^ 2011: Simon Peyton Jones ve Simon Marlow. Sigplan. Erişim tarihi: 2013-08-20.
  6. ^ 2010: Chris Lattner. Sigplan. Erişim tarihi: 2013-08-20.
  7. ^ 2010 yılında ACM SIGPLAN Programlama Dilleri Yazılım Ödülü üzerindeki çalışmaları nedeniyle LLVM.
  8. ^ "SİGPLAN Programlama Dilleri Başarı Ödülü". ACM SİGPLAN. Arşivlenen orijinal 2014-05-18 tarihinde.
  9. ^ "SIGPLAN Robin Milner Genç Araştırmacı Ödülü". www.sigplan.org. ACM SİGPLAN. Alındı 2018-03-12.
  10. ^ "John C. Reynolds Doktora Tezi Ödülü". www.sigplan.org. Alındı 2017-01-16.

Dış bağlantılar