سيغبلان

تُمنح هذه الجائزة لشخص أو مجموعة أشخاص قدموا إسهاماً كبيراً ودائماً في مجال لغات البرمجة. ^{[ 2 ] [ 3 ]}

• مارتن أوديرسكي 2025
• 2024: كيشاف بينغالي
• 2023: كاثرين إس. ماكينلي
• 2022: خافيير ليروي
• 2021: بوب هاربر
• 2020: هانز-ج. بوهم
• 2019: أليكس أيكن
• 2017: توماس دبليو. ريبس
• 2016: سيمون بيتون جونز
• 2015: لوكا كارديلي
• 2014: نيل د. جونز
• 2013: باتريك كوسو وراديا كوسو
• 2012: ماتياس فيليسين
• 2011: توني هوار
• 2010: غوردون بلوتكين
• 2009: رود بورستال
• 2008: باربرا ليسكوف
• 2007: نيكلاوس ويرث
• 2006: رون سيترون ، وجين فيرانتي ، وباري ك. روزن ، ومارك ويغمان ، وكينيث زاديك
• 2005: إريك جاما ، ريتشارد هيلم ، رالف جونسون ، جون فليسيدس
• 2004: جون باكوس
• 2003: جون سي. رينولدز
• 2002: جون مكارثي
• 2001: روبن ميلنر
• 2000: سوزان غراهام
• 1999: كين كينيدي
• 1998: فران ألين
• 1997: جاي ستيل

تُمنح هذه الجائزة تقديراً للمساهمات المتميزة للباحثين الشباب في مجال لغات البرمجة. ^{[ 5 ]} سُميت الجائزة تيمناً بعالم الحاسوب روبن ميلنر .

• 2025: داعش ديليغ
• 2024: أرماندو سولار ليزاما
• 2023: نيت فوستر
• 2022: فيكتور فافيديس
• 2021: إيمينا تورلاك
• 2020: إران ياهف
• 2019: مارتن فيتشيف
• 2018: رانجيت جالا
• 2017: ديريك دراير
• 2016: ستيفاني ويريتش
• 2015: ديفيد ووكر
• 2014: سوميت جولواني
• 2013: لارس بيركيدال
• 2012: شري رام كريشنامورثي

تُمنح هذه الجائزة لمؤسسة أو فرد أو أفراد تقديراً لتطوير نظام برمجي كان له تأثير كبير على أبحاث لغات البرمجة وتطبيقاتها وأدواتها. ^{[ 6 ]}

• 2025: تم منح جائزة Lean لكل من غابرييل إبنر، وسونهو كونغ، وليو دي مورا، وسيباستيان أولريش.
• 2024: مُنحت جائزة Rust لكل من : آرون تورون، وأليكس كريشتون، وبرايان أندرسون، وديف هيرمان، وفيليكس إس. كلوك الثاني، وغرايدون هوار، ومارين هافربيك، ونيكولاس دي. ماتساكيس، وباتريك والتون، وتيم شوفالييه، ويهودا كاتز، وجميع المساهمين في Rust السابقين والحاليين.
• 2023: تم منح OCaml إلى ديفيد ألسوب، فلوريان أنجيليتي، ستيفن دولان، داميان دوليجيز، آلان فريتش، جاك غاريغ، كزافييه ليروي، أنيل مادافابيدي، لوك مارانجيه، نيكولاس أوجيدا بار، غابرييل شيرير، كيه سي سيفاراماكريشنان، جيروم فويلون، وليو وايت.
• 2022: تم منح CompCert إلى Xavier Leroy، وSandrine Blazy، وZaynah Dargaye، وJacques-Henri Jourdan، وMichael Schmidt، وBernhard Schommer، وJean-Baptiste Tristan.
• 2021: مُنحت جائزة WebAssembly لكل من أندرياس روسبرغ، وديريك شوف، وبرادلي نيلسون، وجيه إف باستيان، وبن إل تيتزر.
• 2020: تم منح الدبوس لأرتور كلاوسر، جريج لوك، مارك تشارني، جيل ليونز، جيف لوني، عامر جليل، هاريش باتيل، فيجاي جانابا ريدي، كيم هازلوود، إس. بهارادواج يادافالي، راميش بيري، إيلينا ديميخوفسكي، آدي تال، موشيه باخ، أليكس سكاليتسكي، سي كيه لوك، ستيفن والاس، تيفي ديفور، روبرت موث، ونداف تشاشمون
• 2019: تم منح سكالا لمارتن أوديرسكي، وأدريان مورز، وألكسندر بروكوبيك، وهيذر ميلر، ويوليان دراغوس، وندى أمين، وفيليب هالر، وسيباستيان دوريان، وتيارك رومبف.
• 2018: مُنح المضرب إلى إيلي بارزيلاي، وماتياس فيليسن، وروبرت بروس فيندلر، وماثيو فلات، وشيررام كريشنامورثي، وجاي مكارثي، وسام توبين-هوششتات.
• 2016: V8
• 2015: برنامج إثبات النظريات Z3
• 2014: مجموعة مترجمات جنو (GCC)
• 2013: مساعد التدقيق اللغوي روك (كان يُعرف آنذاك باسم كوك )
• 2012: مُنحت جائزة Jikes Research Virtual Machine (RVM) لكل من : بوين ألبيرن، ماثيو أرنولد، كليمنت أتاناسيو، جون بارتون، ستيف بلاكبيرن، ماريا بوتريكو، بيري تشينغ، توني كوتشي، جوليان دولبي، بيتر دونالد، ستيفن فينك، دانيال فرامبتون، روبن غارنر، ديفيد غروف، مايكل هيند، ديريك ليبر، كاثرين ماكينلي، مارك ميرجن، إليوت موس، تون نغو، إيغور بيشانسكي، فيليب بيزلو، فينغ تشيان، إيان روجرز، فيفيك ساركار، ماوريسيو سيرانو، جانيس شيبرد، ستيفن سميث، بيتر إف. سويني، مارتن تراب، كريس فينسترمانز، وجون وايلي.
• 2011: مُنحت جائزة مُترجم لغة هاسكل في غلاسكو إلى سيمون بيتون جونز وسيمون مارلو
• 2010: مُنحت جائزة LLVM لكريس لاتنر

الاسم الكامل لهذه الجائزة هو جائزة جون سي. رينولدز لأطروحة الدكتوراه، نسبةً إلى عالم الحاسوب جون سي. رينولدز . تُمنح هذه الجائزة سنوياً لمؤلف أطروحة الدكتوراه المتميزة في مجال لغات البرمجة. ^{[ 7 ]}

• 2025: هاريسون غولدشتاين وراشيت نيغام
• 2024: بنيامين بيشيل
• 2023: سام ويستريك
• 2022: جاي بي. ليم، روتجرز وأوري ألون
• 2021: جاغانديب سينغ ورالف جونغ
• 2020: فيليب نيكسيك
• 2019: ريان بيكيت
• 2018: جاستن هسو وديفيد مينينديز
• 2017: رامانا كومار
• 2016: شاشار إتزهاكي وفيلهلم سيوبيرج
• 2015: مارك باتي
• 2014: آرون تورون
• 2013: باتريك روندون
• 2012: دان مارينو
• 2010: روبرت ل. بوتشينو
• 2009: أكاش لاي وويليام ثييس
• 2008: مايكل بوند وفيكتور فافيديس
• 2007: سوارات تشودري
• 2006: شيانغيو تشانغ
• 2005: سوميت جولواني
• 2003: عودة غودمار
• 2002: مايكل هيكس
• 2001: راستيسلاف بوديك

• 2024: إيمري بيرغر
• 2023: تاليا رينجر
• 2022: مايك هيكس
• 2021: بن زورن
• 2019: يان فيتيك
• 2018: زينا أريولا
• 2016: فيل وادلر
• 2015: دان غروسمان
• 2014: سيمون بيتون جونز
• 2013: كاثلين فيشر
• 2012: ينس بالسبيرغ
• 2011: كاثرين إس. ماكينلي
• 2010: جاك دبليو ديفيدسون
• 2009: ممدوح إبراهيم
• 2008: مايكل بيرك
• 2007: ليندا م. نورثروب
• 2006: هانز بوهم
• 2005: لم تُمنح أي جائزة
• 2004: رون سيترون
• 2003: ماري لو صوفا
• 2002: أندرو أبيل
• 2001: باربرا جي. رايدر
• 2000: ديفيد وايز
• 1999: لورين ميسنر
• 1998: برنت هايلبيرن
• 1997: جان لي وجان إي ساميت
• 1996: ديك ويكسلبلات وجون ريتشاردز

تُمنح هذه الجائزة لمؤلفي ورقة بحثية قُدّمت في مؤتمر PLDI قبل عشر سنوات من عام منح الجائزة، تقديراً لتأثيرها خلال العقد الماضي. ^{[ 8 ]}

• 2025 (لعام 2015): نموذج برمجة وتنفيذ أبسط وأكثر أمانًا للأنظمة المتقطعة، بقلم براندون لوسيا وبنيامين رانسفورد
• 2024 (لعام 2014): FlowDroid: تحليل دقيق للسمات الملوثة لتطبيقات أندرويد، مع مراعاة السياق والتدفق والحقول والكائنات ودورة الحياة، من تأليف ستيفن أرتز، وسيغفريد راستوفر، وكريستيان فريتز، وإريك بودن، وألكسندر بارتيل، وجاك كلاين، وإيف لو تراون، وداميان أوكتو، وباتريك ماكدانيال.
• 2023 (لعام 2013): هاليد: لغة ومترجم لتحسين التوازي والموقع والتمثيل في مسارات معالجة الصور، من تأليف جوناثان راجان كيلي، وكونيلي بارنز، وأندرو آدامز، وسيلفان باريس، وفريدو دوراند، وسامان أماراسينغ.
• 2022 (لعام 2012): تقليل حالات الاختبار لأخطاء مُترجم لغة C ، بقلم جون ريغير، ويانغ تشين، وباسكال كوك، وإريك إيدي، وتشاكي إليسون، وشويجون يانغ
• 2021 (لعام 2011): اكتشاف وفهم الأخطاء في مُجمِّعات لغة C، بقلم شوجون يانغ، ويانغ تشين، وإريك إيدي، وجون ريغير
• 2020 (بدلاً من 2010): الأخضر: إطار عمل لدعم البرمجة الواعية بالطاقة باستخدام التقريب المُتحكم به، من تأليف وونغكي بايك وتريشول م. تشيليمبي
• 2019 (لعام 2009): FastTrack: الكشف الديناميكي الفعال والدقيق عن التنافس بين الفئات، من تأليف كورماك فلانغان وستيفن ن. فرويند
• 2018 (لإصدار 2008): مُوازٍ متعدد السطوح آلي عملي ومُحسِّن موضعي من تأليف أوداي بوندهوغولا، وألبرت هارتونو، وج. رامانوجام، وب. سادايابان
• 2017 (لعام 2007): Valgrind: إطار عمل لأدوات التحليل الثنائي الديناميكي الثقيلة، من تأليف نيكولاس نذركوت وجوليان سيوارد
• 2016 (بدلاً من 2006): DieHard: Probabilistic Memory Safety for Unsafe Languages ​​من تأليف إيمري بيرغر وبنيامين زورن
• 2015 (لعام 2005): Pin: بناء أدوات تحليل برامج مخصصة باستخدام أدوات القياس الديناميكية، من تأليف تشي-كيونغ لوك، وروبرت كوهن، وروبرت موث، وهاريش باتيل، وأرتور كلاوزر، وجيوف لوني، وستيفن والاس، وفيجاي جانابا ريدي، وكيم هازلوود
• 2014 (لعام 2004): تخصيص الذاكرة الديناميكي القابل للتوسع والخالي من التأمين، بقلم ماجد م. مايكل
• 2013 (لعام 2003): لغة nesC: منهج شامل للأنظمة المدمجة الشبكية، من تأليف ديفيد جاي، وفيليب ليفيس، وج. روبرت فون بيرين، ومات ويلش، وإريك بروير، وديفيد إي. كولر
• 2012 (لإصدار 2002): التحقق الثابت الموسع للغة جافا من تأليف كورماك فلانغان ، وك. روستان م. لينو، ومارك ليليبريدج، وغريغ نيلسون، وجيمس ب. ساكس، ورايمي ستاتا
• 2011 (لعام 2001): التجريد التلقائي للمسندات في برامج لغة C من تأليف توماس بول، وروباك ماجومدار، وتود ميلستين، وسريرام ك. راجاماني
• 2010 (بدلاً من 2000): دينامو: نظام تحسين ديناميكي شفاف من تأليف فاسانث بالا، وإيفلين دويستروالد، وسانجيف بانيرجي
• 2009 (لعام 1999): مُجمِّع تحويل فورييه السريع من تأليف ماتيو فريجو
• 2008 (لعام 1998): تطبيق لغة Cilk-5 متعددة الخيوط من تأليف ماتيو فريجو، وتشارلز إي. ليسرسون، وكيث إتش. راندال
• 2007 (لعام 1997): استغلال عدادات أداء الأجهزة باستخدام تحليل التدفق والسياق، بقلم غلين أمونز، وتوماس بول، وجيمس ر. لاروس
• 2006 (لعام 1996): TIL: مُصرّف مُحسِّن مُوجَّه بالنوع للغة ML من تأليف ديفيد تارديتي ، وجريج موريسيت ، وبيري تشينغ ، وكريستوفر ستون، وروبرت هاربر ، وبيتر لي
• 2005 (بدلاً من 1995): التخصص الانتقائي للغات البرمجة الكائنية التوجه، بقلم جيفري دين ، وكريج تشامبرز ، وديفيد غروف
• 2004 (بدلاً من 1994): ATOM: نظام لبناء أدوات تحليل برامج مخصصة، من تأليف أميتاب سريفاستافا وآلان يوستاس
• 2003 (لعام 1993): جمع النفايات الموفر للمساحة والمحافظ عليه من تأليف هانز بوهم
• 2002 (لعام 1992): Lazy Code Motion من تأليف ينس كنوب ، وأوليفر روثينغ ، وبرنهارد ستيفن
• 2001 (لعام 1991): خوارزمية لتحسين موضع البيانات من تأليف مايكل إي. وولف ومونيكا إس. لام
• 2000 (لعام 1990): تحديد موضع الكود الموجه بالملف الشخصي بواسطة كارل بيتيس وروبرت سي. هانسن

تُمنح هذه الجائزة لمؤلفي ورقة بحثية قُدّمت في مؤتمر POPL قبل عشر سنوات من عام منح الجائزة، تقديراً لتأثيرها على مدى العقد الماضي. ^{[ 9 ]}

• 2025 (لعام 2015): Iris: Monoids and Invariants as a Orthogonal Base for Concurrent Reasoning بقلم رالف يونغ، ديفيد سويزي، فيليب سيكوفسكي، كاسبر بابول سفيندسن، آرون جوزيف تورون، لارس بيركيدال، ديريك دراير
• 2024 (لعام 2014): CakeML: تطبيق مُدقَّق للغة ML من تأليف رامانا كومار، وماغنوس ميرين، ومايكل نورش، وسكوت أوينز
• 2023 (لعام 2013): آراء: الاستدلال التركيبي للبرامج المتزامنة، بقلم توماس دينسديل-يونغ، ولارس بيركيدال، وفيليبا غاردنر، وماثيو باركنسون، وهونغسوك يانغ
• 2022 (لعام 2012): جوانب متعددة لتدفق المعلومات الديناميكي بقلم توماس إتش. أوستن وكورماك فلانغان
• 2021 (لعام 2011): أتمتة معالجة النصوص في جداول البيانات باستخدام أمثلة الإدخال والإخراج، بقلم سوميت جولواني
• 2020 (بدلاً من 2010): من التحقق من البرنامج إلى توليف البرنامج، بقلم سوراب سريفاستافا، سوميت جولواني، وجيفري فوستر*. 2019 (بدلاً من 2009): تحليل الشكل التركيبي باستخدام الاستدلال الثنائي ، بقلم كريستيانو كالكانيو، دينو ديستيفانو، بيتر دبليو. أوهيرن، وهونجسوك يانغ.
• 2018 (لـ 2008): أنواع الجلسات غير المتزامنة متعددة الأطراف من تأليف كوهي هوندا، ونوبوكو يوشيدا، وماركو كاربون
• 2017 (لإصدار 2007): أدوات جافا سكريبت لأمن المتصفح، بقلم داتشوان يو، وأجاي تشاندير، ونعيم إسلام، وإيغور سيريكوف
• 2016 (بدلاً من 2006): اعتماد رسمي لواجهة خلفية للمترجم أو: برمجة مترجم باستخدام مساعد إثبات بقلم خافيير ليروي
• 2015 (لعام 2005): مُركِّبات لتحويلات الأشجار ثنائية الاتجاه: منهج لغوي لمشكلة تحديث العرض، بقلم نيت فوستر ، ومايكل ب. غرينوالد، وجوناثان ت. مور، وبنيامين س. بيرس ، وآلان شميت.
• 2014 (لعام 2004): ملخصات من براهين توماس هينزينجر، ورانجيت جالا ، وروباك ماجومدار، وكينيث ماكميلان
• 2013 (لـ 2003): جامع قمامة يعمل في الوقت الفعلي مع تكلفة تشغيل منخفضة واستخدام ثابت، من تأليف ديفيد ف. بيكون، وبيري تشينغ، وفي تي راجان
• 2012 (لإصدار 2002): CCured: التحديث الآمن للأنواع للبرامج القديمة، بقلم جورج سي. نيكولا، وسكوت ماكبيك، وويستلي وايمر
• 2011 (بدلاً من 2001): BI كلغة تأكيد لهياكل البيانات القابلة للتغيير، بقلم سامين اشتياق وبيتر دبليو أوهيرن
• 2010 (بدلاً من 2000): في أي وقت، في أي مكان: المنطق المشروط للبيئات المتنقلة، بقلم لوكا كارديلي وأندرو د. جوردون
• 2009 (بدلاً من 1999): JFlow: التحكم العملي في تدفق المعلومات شبه الثابت، بقلم أندرو سي. مايرز
• 2008 (لعام 1998): من نظام F إلى لغة التجميع المكتوبة، بقلم جريج موريسيت، وديفيد ووكر، وكارل كراري، ونيل جلو
• 2007 (لعام 1997): شفرة تحمل البرهان من تأليف جورج نيكولا
• 2006 (لعام 1996): تحليل النقاط في الزمن الخطي تقريبًا بقلم بيارن ستينسجارد
• 2005 (بدلاً من 1995): لغة ذات نطاق موزع، بقلم لوكا كارديلي
• 2004 (لـ 1994): تطبيق حساب لامدا المكتوب بالقيمة باستخدام مكدس من المناطق بواسطة مادز توفت وجان بيير تالبين
• 2003 (لعام 1993): البرمجة الوظيفية الإجرائية بقلم سيمون بيتون جونز وفيليب وادلر

• 2024 (لعام 2014): تحليل LL(*) التكيفي: قوة التحليل الديناميكي، بقلم تيرينس بار، وسام هارفيل، وكاثلين فيشر
• 2023 (لعام 2013): تحليل تجريبي لاعتماد لغات البرمجة من قِبل ليو مايروفيتش وأرييل رابكين
• 2022 (لإصدار 2012): GPUVerify: أداة للتحقق من صحة نواة وحدة معالجة الرسومات (GPU) من تطوير آدم بيتس، وناثان تشونغ، وألاستير دونالدسون، وشاز قدير، وبول طومسون.
• 2021 (لعام 2011): SugarJ: قابلية توسيع اللغة النحوية القائمة على المكتبة، من تأليف سيباستيان إردويج، وتيلمان ريندل، وكريستيان كاستنر، وكلاوس أوسترمان
• 2020 (بدلاً من 2010): منصة عمل لغة Spoofax: قواعد للمواصفات التصريحية للغات وبيئات التطوير المتكاملة (IDEs) بقلم لينارت سي إل كاتس وإيلكو فيسر
• 2019 (لعام 2009): Flapjax: لغة برمجة لتطبيقات Ajax من تأليف ليو أ. مايروفيتش، وأرجون جوها، وجاكوب باسكن، وجريجوري هـ. كوبر، ومايكل جرينبيرج، وأليكس برومفيلد، وشري رام كريشنامورثي
• 2018 (لعام 2008): jStar: نحو التحقق العملي للغة جافا، بقلم دينو ديستيفانو وماثيو باركنسون
• 2017 (لعام 2007): تقييم أداء جافا إحصائيًا بدقة، بقلم آندي جورج، ودريس بويتايرت ، وليفين إيكهوت
• 2016 (لـ 2006): معايير DaCapo: تطوير وتحليل معايير أداء جافا بواسطة ستيفن إم. بلاكبيرن، روبن غارنر، كريس هوفمان، أسجد إم. خان، كاثرين إس. ماكينلي، روتيم بنتزور، عامر ديوان، دانيال فاينبرغ، دانيال فرامبتون، صموئيل زد. غاير، مارتن هيرزل، أنتوني هوسكينغ، ماريا جامب، هان لي، جيه. إليوت بي. موس، آشيش فانسالكار، داركو ستيفانوفيتش، توماس فاندرونين، دانيال فون دينكلاج، بن ويدرمان
• 2015 (لإصدار 2005): X10: منهج كائني التوجه للحوسبة العنقودية غير المتجانسة، من تأليف فيليب تشارلز، وكريستيان غروثوف، وفيجاي ساراسوات، وكريستوفر دوناوا، وآلان كيلسترا، وكمال إبسي أوغلو، وكريستوف فون براون، وفيفيك ساركار
• 2014 (بدلاً من 2004): المرايا: مبادئ تصميم تسهيلات المستوى الفوقي للغات البرمجة الكائنية التوجه، بقلم جلعاد براخا وديفيد أونجار
• 2013 (لعام 2003): دعم اللغة للمعاملات الخفيفة بقلم تيم هاريس وكير فريزر
• 2012 (لعام 2002): إعادة النظر في تخصيص الذاكرة المخصص بقلم إيمري د. بيرغر، وبنيامين ج. زورن، وكاثرين س. ماكينلي
• 2010 (بدلاً من 2000): التحسين التكيفي في JVM هالابينو ، بقلم ماثيو أرنولد، وستيفن فينك، وديفيد غروف، ومايكل هيند، وبيتر ف. سويني
• 2009 (لعام 1999): تطبيق لغة هالابينو في جافا من تأليف بوين ألبيرن، سي آر أتاناسيو، جون جيه بارتون، أنتوني كوتشي، سوزان فلين هوميل، ديريك ليبر، تون نجو، مارك ميرجن، جانيس سي شيبرد، وستيفن سميث
• 2008 (لعام 1998): أنواع الملكية لحماية الأسماء المستعارة المرنة، بقلم ديفيد ج. كلارك، وجون م. بوتر، وجيمس نوبل
• 2007 (بدلاً من 1997): بناء مخططات الاستدعاء في لغات البرمجة الكائنية التوجه، من تأليف ديفيد غروف، وغريغ ديفو، وجيفري دين، وكريغ تشامبرز.
• 2006 (للفترة من 1986 إلى 1996):
  • البرمجة الموجهة نحو الموضوعات: نقد الكائنات البحتة بقلم ويليام هاريسون وهارولد أوشر
  • مفاهيم وتجارب في التفكير الحسابي، بقلم باتي مايس
  • الذات: قوة البساطة، بقلم ديفيد أونجار وراندال ب. سميث

• 2024 (لعام 2014): أنواع التحسين للغة هاسكل، من تأليف نيكي فازو، وإريك إل. سايدل، ورانجيت جالا، وديميتريوس فيتينيوتيس، وسيمون بيتون جونز
• 2023 (لعام 2013): المدربون في الميدان ، بقلم أوهاد كامار، وسام ليندلي، ونيكولاس أوري
• 2022 (لعام 2012): معالجة الإنهاء الخفي وقنوات التوقيت في أنظمة تدفق المعلومات المتزامنة، بقلم ديان ستيفان، وأليخاندرو روسو، وبابلو بويراس، وأميت ليفي، وجون سي. ميتشل، وديفيد مازيير.
• 2021 (لعام 2011): Frenetic: A Network Programming Language من تأليف نيت فوستر، وروب هاريسون، ومايكل فريدمان، وكريستوفر مونسانتو، وجينيفر ريكسفورد، وأليكس ستوري، وديفيد ووكر
• 2020 (بدلاً من 2010): تجريد الآلات المجردة بقلم ديفيد فان هورن وماثيو مايت
• 2019 (لإصدار 2009): دعم وقت التشغيل للغة هاسكل متعددة النوى من تأليف سيمون مارلو، وسيمون بيتون جونز، وساتنام سينغ
• 2018 (لعام 2008): بناء الجملة المجرد ذو الرتبة العليا البارامتري للدلالات الآلية بقلم آدم تشليبالا
• 2017 (لإصدار 2007): Ott: دعم فعال للأدوات لعالم الدلالات العامل، من تأليف بيتر سيويل، وفرانشيسكو زابا نارديللي، وسكوت أوينز، وجيل بيسكين، وتوماس ريدج، وسوسميت ساركار، وروك سترنيشا.
• 2016 (لعام 2006): استدلال بسيط للأنواع قائم على التوحيد لأنواع البيانات الجبرية المعممة (GADTs) من تأليف سيمون بيتون جونز، وديميتريوس فيتينيوتيس، وستيفاني ويريتش، وجيفري واشبورن
• 2015 (لعام 2005): مرادفات الأنواع المرتبطة من تأليف مانويل إم تي تشاكرافارتي، وغابرييل كيلر، وسيمون بيتون جونز
• 2014 (بدلاً من 2004): التخلص من المزيد من القوالب الجاهزة: الانعكاس، والخطوط، والقوالب المعممة بقلم رالف لاميل وسيمون بيتون جونز
• 2013 (بدلاً من 2003): MLF: رفع مستوى التعلم الآلي إلى قوة النظام F بقلم ديدييه لو بوتلان وديدييه ريمي
• 2012 (بدلاً من 2002): عقود الدوال من الرتبة العليا، بقلم روبرت فيندلر وماتياس فيليسين
• 2011 (بدلاً من 2001): الهياكل المتكررة للغة ML القياسية، بقلم كلاوديو روسو
• 2010 (لعام 2000): Quickcheck: أداة خفيفة الوزن للاختبار العشوائي لبرامج Haskell من تأليف كوين كلايسن وجون هيوز
• 2009 (لعام 1999): هاسكل وXML: مُركِّبات عامة أم ترجمة قائمة على النوع؟ بقلم مالكولم والاس وكولين رونسيمان
• 2008 (بدلاً من 1998): كايين - لغة ذات أنواع تابعة، بقلم لينارت أوغستسون
• 2007 (بدلاً من 1997): الرسوم المتحركة التفاعلية الوظيفية من تأليف كونال إليوت وبول هوداك
• 2006 (لعام 1996): الأمثلية وعدم الكفاءة: ما الذي لا يُعد نموذج تكلفة لحساب لامدا؟ بقلم جوليا ل. لاوال وهاري ج. ميرسون