ПЛАН СИГНАЛА

SIGPLAN — это Ассоциации вычислительной техники специальная группа по языкам программирования .

Конференции

• Принципы языков программирования (POPL)
• Проектирование и реализация языков программирования (PLDI)
• Международный симпозиум по управлению памятью (ISMM)
• Языки, компиляторы и инструменты для встраиваемых систем (LCTES)
• Симпозиум по принципам и практике параллельного программирования (PPoPP)
• Международная конференция по функциональному программированию (ICFP)
• Системы, программирование, языки и приложения: программное обеспечение для человечества (SPLASH)
• Объектно-ориентированное программирование, системы, языки и приложения (OOPSLA)
• История языков программирования (HOPL)
• Симпозиум по динамическим языкам (DLS)

Связанные журналы

• Транзакции ACM по оптимизации архитектуры и кода
• Транзакции ACM в языках и системах программирования
• Труды ACM по языкам программирования

Информационные бюллетени

• Уведомления SIGPLAN - ISSN   1558-1160 ISSN   0362-1340 — Домашняя страница ACM .
• Фортран Форум - ISSN   1061-7264 ISSN   1931-1311
• Указатели Lisp (последний выпуск 1995 г.) - ISSN   1045-3563
• УПС Мессенджер (1990–1996) - ISSN   1558-0253 ISSN   1055-6400

Награды

Премия в области программного обеспечения для языков программирования

Вручается учреждению или частному лицу в знак признания разработки программной системы, которая оказала значительное влияние на исследования, реализации и инструменты языков программирования.

• 2024: Rust (язык программирования)
• 2023: ОКамл
• 2022: КомпСерт
• 2021: ВебСборка
• 2020: Пин (компьютерная программа)
• 2019: Scala (язык программирования)
• 2018: Ракетка (язык программирования)
• 2016: V8 (движок JavaScript)
• 2015: Средство доказательства теорем Z3
• 2014: Коллекция компиляторов GNU (GCC)
• 2013: Coq Помощник по доказательству
• 2012: Виртуальная машина Jikes Research (RVM)
• 2011: Саймон Пейтон Джонс и Саймон Марлоу ( компилятор Glasgow Haskell )
• 2010: Крис Лэттнер ( LLVM )

Премия за достижения в языках программирования

Отмечает человека или людей, внесших значительный и продолжительный вклад в область языков программирования.

• 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: Гай Стил

Премия Робина Милнера молодому исследователю

Отмечает выдающийся вклад молодых исследователей в области языков программирования. Премия названа в честь ученого-компьютерщика Робина Милнера .

• 2024: Армандо Солар-Лезама
• 2023: Нейт Фостер
• 2022: Виктор Вафеиадис
• 2021: Эмина Торлак
• 2020: Эран Яхав
• 2019: Мартин Вечев
• 2018: Ранджит Джала
• 2017: Дерек Дрейер
• 2016: Стефани Вейрих
• 2015: Дэвид Уокер
• 2014: Сумит Гулвани
• 2013: Ларс Биркедал
• 2012: Шрирам Кришнамурти

Премия за докторскую диссертацию SIGPLAN

Полное название этой награды — Премия Джона К. Рейнольдса за докторскую диссертацию, в честь ученого-компьютерщика Джона К. Рейнольдса . Он «ежегодно вручается автору выдающейся докторской диссертации в области языков программирования».

• 2018: Джастин Сюй и Дэвид Менендес
• 2017: Рамана Кумар
• 2016: Шачар Ицхаки и Вильхельм Шёберг
• 2015: Марк Бэтти
• 2014: Аарон Туррон
• 2013: Патрик Рондон
• 2012: Дэн Марино
• 2010: Роберт Л. Боккино
• 2009: Акаш Лай и Уильям Тис
• 2008: Майкл Бонд и Виктор Вафейадис
• 2007: Сварат Чаудхури
• 2006: Сянъюй Чжан
• 2005: Сумит Гулвани
• 2003: Годмар вернулся
• 2002: Майкл Хикс
• 2001: Растислав Бодик

Награда SIGPLAN за выдающиеся заслуги

• 2016: Фил Уодлер
• 2015: Дэн Гроссман
• 2014: Саймон Пейтон Джонс
• 2013: Кэтлин Фишер
• 2012: Йенс Палсберг
• 2011: Кэтрин С. МакКинли
• 2010: Джек В. Дэвидсон
• 2009: Мамдух Ибрагим
• 2008: Майкл Берк
• 2007: Линда М. Нортроп
• 2006: Ганс Бём
• 2005: награда не вручена
• 2004: Рон Сайтрон
• 2003: Мэри Лу Соффа
• 2002: Эндрю Аппель
• 2001: Барбара Дж. Райдер
• 2000: Дэвид Уайз
• 1999: Лорен Мейснер
• 1998: Брент Хэйлперн
• 1997: ЯН Ли и Джин Э. Саммет
• 1996: Дик Вексельблат и Джон Ричардс

Самая влиятельная награда PLDI Paper

• 2017 (на 2007 год): Valgrind: основа для тяжеловесного динамического двоичного инструментария, Николас Нетеркот, Джулиан Сьюард
• 2016 (на 2006 год): DieHard: вероятностная безопасность памяти для небезопасных языков, Эмери Бергер , Бенджамин Цорн
• 2015 (на 2005 год): Значок: создание индивидуальных инструментов анализа программ с использованием динамического инструментария, Чи-Кеунг Лук, Роберт Кон, Роберт Мут, Хариш Патил, Артур Клаузер, Джефф Лоуни, Стивен Уоллес, Виджай Джанапа Редди и Ким Хейзелвуд.
• 2014 (на 2004 год): Масштабируемое динамическое распределение памяти без блокировки, Магед М. Майкл
• 2013 (за 2003 год): Язык nesC: целостный подход к сетевым встроенным системам, Дэвид Гей, Филип Левис, Дж. Роберт фон Берен, Мэтт Уэлш, Эрик Брюэр и Дэвид Э. Каллер.
• 2012 (на 2002 год): Расширенная статическая проверка для Java, Кормак Фланаган , К. Рустан М. Лейно, Марк Лиллибридж, Грег Нельсон, Джеймс Б. Сакс и Рэйми Стата.
• 2011 (на 2001 год): Автоматическая абстракция предикатов программ на языке C, Томас Болл, Рупак Маджумдар, Тодд Миллштейн и Шрирам К. Раджамани.
• 2010 (на 2000 год): «Динамо: прозрачная система динамической оптимизации», Васант Бала, Эвелин Дустервальд, Санджив Банерджи.
• 2009 (за 1999 год): Компилятор быстрого преобразования Фурье, Маттео Фриго.
• 2008 (на 1998 год): реализация многопоточного языка Cilk-5, Маттео Фриго, Чарльз Э. Лейзерсон, Кейт Х. Рэндалл.
• 2007 (на 1997 год): Использование аппаратных счетчиков производительности с потоко- и контекстно-зависимым профилированием, Гленн Аммонс, Томас Болл и Джеймс Р. Ларус.
• 2006 (за 1996 год): TIL: A Type-Directed Optimizing Compiler for ML, Дэвид Тардити , Грег Моррисетт , Перри Ченг , Кристофер Стоун, Роберт Харпер и Питер Ли
• 2005 (на 1995 год): Выборочная специализация по объектно-ориентированным языкам, Джеффри Дин , Крейг Чемберс и Дэвид Гроув.
• 2004 (на 1994 год): ATOM: система для создания индивидуальных инструментов анализа программ, Амитабх Шривастава и Алан Юстас.
• 2003 (на 1993 год): Экономичный консервативный сбор мусора, Ганс Бём
• 2002 (на 1992 год): Lazy Code Motion, Йенс Кнуп , Оливер Рютинг , Бернхард Штеффен
• 2001 (на 1991 год): Алгоритм оптимизации локальности данных, Майкл Э. Вольф и Моника С. Лам.
• 2000 (на 1990 год): Позиционирование кода на основе профиля, Карл Петтис и Роберт К. Хансен.

Награда за самую влиятельную бумагу POPL

• 2018 (на 2008 год): типы многосторонних асинхронных сеансов, Кохей Хонда, Нобуко Ёсида, Марко Карбоне.
• 2017 (за 2007 год): Инструментарий JavaScript для обеспечения безопасности браузера, Дачуан Ю, Аджай Чандер, Наим Ислам, Игорь Сериков
• 2016 (на 2006 год): Официальная сертификация серверной части компилятора или: программирование компилятора с помощью помощника по доказательству Ксавье Леруа.
• 2015 (на 2005 год): Комбинаторы для двунаправленных преобразований деревьев: лингвистический подход к проблеме обновления представления, Нейт Фостер , Майкл Б. Гринвальд, Джонатан Т. Мур, Бенджамин К. Пирс , Алан Шмитт
• 2014 (за 2004 год): Абстракции от доказательств, Томас Хенцингер, Ранджит Джала , Рупак Маджумдар, Кеннет Макмиллан.
• 2013 (на 2003 год): Сборщик мусора в реальном времени с низкими накладными расходами и стабильным использованием, Дэвид Ф. Бэкон, Перри Ченг, В.Т. Раджан.
• 2012 (на 2002 год): CCured: Type-Safe Retrofitting of Legacy Code, Джордж К. Некула, Скотт МакПик и Уэстли Веймер.
• 2011 (на 2001 год): BI как язык утверждений для изменяемых структур данных, Самин Иштиак и Питер В. О'Хирн.
• 2010 (на 2000 год): В любое время и в любом месте: модальная логика для мобильной среды, Лука Карделли и Эндрю Д. Гордон
• 2009 (за 1999 год): JFlow: Практическое управление преимущественно статическим информационным потоком, Эндрю К. Майерс.
• 2008 (за 1998 год): От системы F к типизированному ассемблеру, Грег Моррисетт, Дэвид Уокер, Карл Крэри и Нил Глю.
• 2007 (на 1997 год): Кодекс доказательств, Джордж Некула.
• 2006 (за 1996 год): Анализ точек к почти линейному времени, Бьерн Стинсгаард
• 2005 (за 1995 год): Язык с распределенной областью действия, Лука Карделли.
• 2004 (за 1994 год): Реализация типизированного лямбда-исчисления с вызовом по значению с использованием стека регионов, Мэдса Тофте и Жан-Пьера Тальпена.
• 2003 (на 1993 год): Императивное функциональное программирование, Саймон Пейтон Джонс и Филип Уодлер.

Награда за самую влиятельную бумагу OOPSLA

• 2017 (за 2007 год): Статистически строгая оценка производительности Java, Энди Джорджес, Дрис Байтаерт , Ливен Экхаут
• 2016 (на 2006 год): Тесты DaCapo: разработка и анализ тестов Java, Стивен М. Блэкберн, Робин Гарнер, Крис Хоффманн, Асджад М. Хан, Кэтрин С. МакКинли, Ротем Бенцур, Амер Диван, Дэниел Файнберг, Дэниел Фрэмптон, Сэмюэл З. Гайер, Мартин Хирзель, Энтони Хоскинг, Мария Джамп, Хан Ли, Дж. Элиот Б. Мосс, Аашиш Фансалкар, Дарко Стефанович, Томас Ван Друнен, Дэниел фон Динклэйдж, Бен Видерманн
• 2015 (на 2005 год): X10: Объектно-ориентированный подход к неоднородным кластерным вычислениям, Филипп Шарль, Кристиан Гротхофф, Виджай Сарасват, Кристофер Донава, Аллан Килстра, Кемаль Эбчиоглу, Кристоф фон Праун и Вивек Саркар
• 2014 (на 2004 год): Зеркала: принципы проектирования средств метауровня объектно-ориентированных языков программирования, Гилад Брача и Дэвид Унгар
• 2013 г. (на 2003 г.): Языковая поддержка облегченных транзакций, Тим Харрис и Кейр Фрейзер.
• 2012 (на 2002 год): Пересмотр произвольного распределения памяти, Эмери Д. Бергер, Бенджамин Г. Зорн и Кэтрин С. МакКинли.
• 2010 (на 2000 год): Адаптивная оптимизация в JVM Халапеньо, Мэтью Арнольд, Стивен Финк, Дэвид Гроув, Майкл Хинд и Питер Ф. Суини.
• 2009 (за 1999 год): внедрение халапеньо на Яве, Боуэн Альперн, Ч.Р. Аттанасио, Джон Дж. Бартон, Энтони Кокки, Сьюзен Флинн Хаммел, Дерек Либер, Тон Нго, Марк Мерген, Дженис С. Шеперд и Стивен Смит
• 2008 г. (на 1998 г.): Типы собственности для гибкой защиты псевдонимов, Дэвид Г. Кларк, Джон М. Поттер и Джеймс Ноубл.
• 2007 (за 1997 год): Построение графа вызовов на объектно-ориентированных языках, Дэвид Гроув, Грег ДеФау, Джеффри Дин и Крейг Чемберс.
• 2006 г. (за 1986–1996 гг.):
  • Субъектно-ориентированное программирование: критика чистых объектов, Уильям Харрисон и Гарольд Осшер
  • Концепции и эксперименты в области вычислительного отражения, Патти Мэйс
  • Я: Сила простоты, Дэвид Ангар и Рэндалл Б. Смит

Самая влиятельная бумажная награда ICFP

• 2019 (на 2009 год): Поддержка многоядерного Haskell во время выполнения: Саймон Марлоу, Саймон Пейтон Джонс и Сатнам Сингх
• 2009 (за 1999 год): Haskell и XML: общие комбинаторы или перевод на основе типов?, Малкольм Уоллес и Колин Рансиман
• 2008 (за 1998 год): Кайенский язык — язык с зависимыми типами, Леннарт Аугустссон
• 2007 (на 1997 год): Функциональная реактивная анимация, Конал Эллиотт и Пол Худак.
• 2006 (на 1996 год): Оптимальность и неэффективность: чем не является стоимостная модель лямбда-исчисления?, Джулия Л. Лоуэлл и Гарри Г. Мейрсон.

См. также

• Список наград в области информатики

Внешние ссылки

• Домашняя страница SIGPLAN