ПЛАН СИГНАЛА

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

Конференции [ править ]

Связанные журналы [ править ]

Информационные бюллетени [ править ]

Уведомления 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

Награды [ править ]

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

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

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

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

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

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

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

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

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

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

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 » Премия «

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 год): Оптимальность и неэффективность: чем не является стоимостная модель лямбда-исчисления?, Джулия Л. Лоуолл и Гарри Г. Мейрсон.

См. также [ править ]

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

Ссылки [ править ]

^ «Награда за программное обеспечение в области языков программирования» . Проверено 27 октября 2022 г.
^ Перейти обратно: ^а ^б «Награда за программное обеспечение в области языков программирования» . Проверено 05 октября 2021 г.
^ Лютербахер, Селия (25 июня 2019 г.). «Язык программирования Scala получил награду SIGPLAN» . Проверено 25 июня 2019 г.
^ Перейти обратно: ^а ^б ^с ^д «Награда за программное обеспечение в области языков программирования» . www.sigplan.org . Проверено 2 декабря 2018 г.
^ 2013: Помощник по проверке доказательств Coq. Архивировано 3 июля 2013 г. в Wayback Machine . СИГПЛАН. Проверено 20 августа 2013 г.
^ 2012: Виртуальная машина Jikes Research (RVM). Архивировано 3 июля 2013 г. в Wayback Machine . СИГПЛАН. Проверено 20 августа 2013 г.
^ 2011: Саймон Пейтон Джонс и Саймон Марлоу . СИГПЛАН. Проверено 20 августа 2013 г.
^ 2010: Крис Лэттнер . СИГПЛАН. Проверено 20 августа 2013 г.
^ Премия ACM SIGPLAN в области программного обеспечения для языков программирования в 2010 году в знак признания его работы над LLVM .
^ «Награда SIGPLAN за достижения в области языков программирования» . СИГПЛАН АСМ. Архивировано из оригинала 18 мая 2014 г.
^ «Премия молодого исследователя Робина Милнера SIGPLAN» . www.sigplan.org . ACM СИГПЛАН . Проверено 12 марта 2018 г.
^ «Премия Джона К. Рейнольдса за докторскую диссертацию» . www.sigplan.org . Проверено 16 января 2017 г.

Внешние ссылки [ править ]

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

[1] «Награда за программное обеспечение в области языков программирования» . Проверено 27 октября 2022 г.

[sigplan.org-2] Перейти обратно: ^а ^б «Награда за программное обеспечение в области языков программирования» . Проверено 05 октября 2021 г.

[3] Лютербахер, Селия (25 июня 2019 г.). «Язык программирования Scala получил награду SIGPLAN» . Проверено 25 июня 2019 г.

[:0-4] Перейти обратно: ^а ^б ^с ^д «Награда за программное обеспечение в области языков программирования» . www.sigplan.org . Проверено 2 декабря 2018 г.

[5] 2013: Помощник по проверке доказательств Coq. Архивировано 3 июля 2013 г. в Wayback Machine . СИГПЛАН. Проверено 20 августа 2013 г.

[6] 2012: Виртуальная машина Jikes Research (RVM). Архивировано 3 июля 2013 г. в Wayback Machine . СИГПЛАН. Проверено 20 августа 2013 г.

[7] 2011: Саймон Пейтон Джонс и Саймон Марлоу . СИГПЛАН. Проверено 20 августа 2013 г.

[8] 2010: Крис Лэттнер . СИГПЛАН. Проверено 20 августа 2013 г.

[9] Премия ACM SIGPLAN в области программного обеспечения для языков программирования в 2010 году в знак признания его работы над LLVM .

[10] «Награда SIGPLAN за достижения в области языков программирования» . СИГПЛАН АСМ. Архивировано из оригинала 18 мая 2014 г.

[11] «Премия молодого исследователя Робина Милнера SIGPLAN» . www.sigplan.org . ACM СИГПЛАН . Проверено 12 марта 2018 г.

[12] «Премия Джона К. Рейнольдса за докторскую диссертацию» . www.sigplan.org . Проверено 16 января 2017 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Базы данных авторитетного контроля
International	ISNI VIAF
National	France BnF data Catalonia Germany Israel United States Australia
Academics	CiNii
Other	IdRef