СИГПЛАН

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален.
Найти источники: «SIGPLAN» - новости · газеты · книги · ученый · JSTOR ( август 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

SIGPLAN является в Ассоциации вычислительной техники «s Special Interest Group по языкам программирования .

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

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

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

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

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

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

Награда за программное обеспечение языков программирования [ править ]

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

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

Признание человека или лиц, которые внесли значительный и продолжительный вклад в сферу языков программирования. ^[8]

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

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

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

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

Премия SIGPLAN за докторскую диссертацию [ править ]

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

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 год): Scalable Lock-Free Dynamic Memory Allocation, Maged M. Michael
2013 (на 2003 год): Язык nesC: целостный подход к встроенным сетевым системам, Дэвид Гей, Филип Левис, Дж. Роберт фон Берен, Мэтт Уэлш, Эрик Брюэр и Дэвид Э. Каллер
2012 (на 2002 год): Расширенная статическая проверка для Java, Кормак Фланаган , К. Рустан М. Лейно, Марк Лиллибридж, Грег Нельсон, Джеймс Б. Сакс и Рэйми Стата
2011 (на 2001 год): Автоматическая абстракция предикатов программ на C, Томас Болл, Рупак Маджумдар, Тодд Миллштейн и Шрирам К. Раджамани
2010 (на 2000 год): Dynamo: A Transparent Dynamic Optimization System, Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerji
2009 (для 1999): Компилятор быстрого преобразования Фурье, Маттео Фриго
2008 (на 1998 год): Реализация многопоточного языка Cilk-5, Маттео Фриго, Чарльз Э. Лейзерсон, Кейт Х. Рэндалл
2007 (на 1997 год): использование аппаратных счетчиков производительности с профилированием с учетом потока и контекста, Гленн Аммонс, Томас Болл и Джеймс Р. Ларус
2006 (на 1996 год): TIL: оптимизирующий компилятор для машинного обучения , ориентированный на типы , Дэвид Тардити , Грег Моррисетт , Перри Ченг , Кристофер Стоун, Роберт Харпер и Питер Ли.
2005 (на 1995 год): выборочная специализация по объектно-ориентированным языкам, Джеффри Дин , Крейг Чемберс и Дэвид Гроув
2004 (на 1994 год): ATOM: система для создания специализированных инструментов анализа программ, Амитабх Шривастава и Алан Юстас
2003 (на 1993 год): Экономичный консервативный сборщик мусора, Ханс Бём
2002 (для 1992): Lazy Code Motion, Йенс Кноп , Оливер Рютинг , Бернхард Штеффен
2001 (на 1991 год): алгоритм оптимизации местоположения данных, Майкл Э. Вольф и Моника С. Лам
2000 (на 1990 год): позиционирование кода на основе профиля, Карл Петтис и Роберт К. Хансен

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

2018 (на 2008 год): Типы многосторонних асинхронных сеансов, Кохей Хонда, Нобуко Йошида, Марко Карбоне
2017 (на 2007 год): JavaScript Instrumentation for Browser Security, Дачуан Ю, Аджай Чандер, Наим Ислам, Игорь Сериков
2016 (на 2006 год): Официальная сертификация серверной части компилятора или: программирование компилятора с помощником по проверке , Ксавье Лерой.
2015 (на 2005 год): Комбинаторы для двунаправленных преобразований деревьев: лингвистический подход к проблеме обновления представления, Нейт Фостер , Майкл Б. Гринвальд, Джонатан Т. Мур, Бенджамин К. Пирс , Алан Шмитт
2014 (на 2004 год): Abstractions from proofs, Thomas Henzinger, Ranjit Jhala , Rupak Majumdar, Kenneth McMillan
2013 (на 2003 год): сборщик мусора в реальном времени с низкими накладными расходами и стабильным использованием, Дэвид Ф. Бэкон, Перри Ченг, В. Т. Раджан
2012 (на 2002 год): CCured: Type-Safe Retrofitting Legacy Code, Джордж К. Некула, Скотт Макпик и Уэстли Веймер
2011 (на 2001 год): BI как язык утверждений для изменяемых структур данных, Самин Иштиак и Питер У. О'Хирн
2010 (на 2000 год): Anytime, Anywhere: Modal Logics for Mobile Ambients, Лука Карделли и Эндрю Д. Гордон
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 Jalapeño, Мэтью Арнольд, Стивен Финк, Дэвид Гроув, Майкл Хинд и Питер Ф. Суини
2009 (на 1999 год): Внедрение Jalapeño на Яве, Боуэн Алперн, CR Attanasio, Джон Дж. Бартон, Энтони Кокки, Сьюзан Флинн Хаммель, Дерек Либер, Тон Нго, Марк Мерген, Дженис С. Шеперд и Стивен Смит
2008 (на 1998 год): Типы собственности для гибкой защиты псевдонимов, Дэвид Г. Кларк, Джон М. Поттер и Джеймс Ноубл
2007 (на 1997 год): Построение графа вызовов на объектно-ориентированных языках, Дэвид Гроув, Грег ДеФоу, Джеффри Дин и Крейг Чемберс
2006 г. (за 1986–1996 гг.):
- Предметно-ориентированное программирование: критика чистых объектов, Уильям Харрисон и Гарольд Ошер
- Концепции и эксперименты в области вычислительной рефлексии, Патти Мэйс
- Я: Сила простоты, Дэвид Ангар и Рэндалл Б. Смит

Самая влиятельная бумажная премия ICFP [ править ]

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

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

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

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

^ «Язык программирования Scala получает награду SIGPLAN» . Проверено 25 июня 2019 .
^ a b c d "Премия за программное обеспечение в области языков программирования" . www.sigplan.org . Проверено 2 декабря 2018 .
^ 2013: Помощник доказательства Coq. Архивировано 3 июля 2013 г. в Wayback Machine . Sigplan. Проверено 20 августа 2013.
^ 2012: Виртуальная машина Jikes Research (RVM). Архивировано 3 июля 2013 г. на Wayback Machine . Sigplan. Проверено 20 августа 2013.
^ 2011: Саймон Пейтон Джонс и Саймон Марлоу . Sigplan. Проверено 20 августа 2013.
^ 2010: Крис Латтнер . Sigplan. Проверено 20 августа 2013.
^ ACM SIGPLAN Programming Languages Software Award в 2010 году в знак признания его работы над LLVM .
^ "Премия за достижения в области языков программирования SIGPLAN" . ACM SIGPLAN. Архивировано из оригинала на 2014-05-18.
^ "Премия молодого исследователя Робина Милнера SIGPLAN" . www.sigplan.org . ACM SIGPLAN . Проверено 12 марта 2018 .
^ "Премия Джона К. Рейнольдса за докторскую диссертацию" . www.sigplan.org . Проверено 16 января 2017 .

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

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

[1] «Язык программирования Scala получает награду SIGPLAN» . Проверено 25 июня 2019 .

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

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

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

[5] 2011: Саймон Пейтон Джонс и Саймон Марлоу . Sigplan. Проверено 20 августа 2013.

[6] 2010: Крис Латтнер . Sigplan. Проверено 20 августа 2013.

[7] ACM SIGPLAN Programming Languages Software Award в 2010 году в знак признания его работы над LLVM .

[8] "Премия за достижения в области языков программирования SIGPLAN" . ACM SIGPLAN. Архивировано из оригинала на 2014-05-18.

[9] "Премия молодого исследователя Робина Милнера SIGPLAN" . www.sigplan.org . ACM SIGPLAN . Проверено 12 марта 2018 .

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