Специальная группа по интересам Ассоциации вычислительной техники (ACM)
SIGPLAN — это специальная группа интересов (SIG) Ассоциации вычислительной техники по языкам программирования . Эта группа изучает концепции и инструменты языков программирования, уделяя особое внимание проектированию, реализации, практике и теории. Ее членами являются разработчики языков программирования, преподаватели, реализаторы, исследователи, теоретики и пользователи.
Конференции
Ассоциированные журналы
Информационные бюллетени
- Уведомления ACM SIGPLAN - ISSN 1558-1160 ISSN 0362-1340 - Домашняя страница на ACM
- Форум Фортрана - ISSN 1061-7264 ISSN 1931-1311
- Lisp Pointers (последний выпуск 1995 г.) - ISSN 1045-3563
- OOPS Messenger (1990–1996) - ISSN 1558-0253 ISSN 1055-6400
Награды
Премия за достижения в области языков программирования
Присуждается отдельному лицу или лицам, внесшим значительный и долгосрочный вклад в область языков программирования. [2] [3]
Премия Робина Милнера для молодых исследователей
Присуждается за выдающийся вклад молодых исследователей в области языков программирования. [5] Премия названа в честь компьютерного учёного Робина Милнера .
- 2024: Армандо Солар-Лезама
- 2023: Нейт Фостер
- 2022: Виктор Вафеиадис
- 2021: Эмина Торлак
- 2020: Эран Яхав
- 2019: Мартин Вечев
- 2018: Ранджит Джхала
- 2017: Дерек Дрейер
- 2016: Стефани Вайрих
- 2015: Дэвид Уокер
- 2014: Сумит Гулвани
- 2013: Ларс Биркедал
- 2012: Шрирам Кришнамурти
Премия за лучшее программное обеспечение для языков программирования
Вручается учреждению или отдельному лицу(ам) в знак признания разработки программной системы, которая оказала значительное влияние на исследования, реализации и инструменты языков программирования. [6]
Премия SIGPLAN за докторскую диссертацию
Полное название этой награды — Премия за докторскую диссертацию имени Джона К. Рейнольдса, в честь ученого-компьютерщика Джона К. Рейнольдса . Она «ежегодно вручается автору выдающейся докторской диссертации в области языков программирования». [17]
- 2018: Джастин Хсу и Дэвид Менендес
- 2017: Рамана Кумар
- 2016: Шахар Ицхаки и Вильгельм Шёберг
- 2015: Марк Бэтти
- 2014: Аарон Турон
- 2013: Патрик Рондон
- 2012: Дэн Марино
- 2010: Роберт Л. Боккино
- 2009: Акаш Лай и Уильям Тис
- 2008: Майкл Бонд и Виктор Вафеиадис
- 2007: Сварат Чаудхури
- 2006: Сянюй Чжан
- 2005: Сумит Гулвани
- 2003: Годмар Бэк
- 2002: Майкл Хикс
- 2001: Растислав Бодик
Премия SIGPLAN за выдающиеся заслуги
Премия PLDI за самую влиятельную работу
- 2017 (за 2007 г.): Valgrind: фреймворк для тяжелого динамического бинарного инструментирования, Николас Нетеркот, Джулиан Сьюард
- 2016 (за 2006 год): DieHard: вероятностная безопасность памяти для небезопасных языков, Эмери Бергер, Бенджамин Зорн
- 2015 (за 2005 год): Pin: создание настраиваемых инструментов анализа программ с использованием динамического инструментария, Чи-Кунг Люк, Роберт Кон, Роберт Мут, Хариш Патил, Артур Клаузер, Джефф Лоуни, Стивен Уоллес, Виджай Джанапа Редди и Ким Хейзелвуд
- 2014 (для 2004): Масштабируемое динамическое распределение памяти без блокировок, Магед М. Майкл
- 2013 (за 2003 год): Язык nesC: целостный подход к сетевым встроенным системам, Дэвид Гей, Филип Левис, Дж. Роберт фон Берен, Мэтт Уэлш, Эрик Брюэр и Дэвид Э. Каллер
- 2012 (для 2002): Расширенная статическая проверка для Java, Кормак Фланаган, К. Растан М. Лейно, Марк Лиллибридж, Грег Нельсон, Джеймс Б. Сакс и Рэйми Стата
- 2011 (за 2001 г.): Автоматическая абстракция предикатов программ на языке C, Томас Болл, Рупак Маджумдар, Тодд Миллстайн и Шрирам К. Раджамани
- 2010 (за 2000 г.): Dynamo: прозрачная система динамической оптимизации, Васант Бала, Эвелин Дюстервальд, Санджив Банерджи
- 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 для обеспечения безопасности браузера, Дачуан Ю, Аджай Чандер, Найем Ислам, Игорь Сериков
- 2016 (за 2006 год): Формальная сертификация бэкэнда компилятора или: программирование компилятора с помощником по доказательству, Ксавье Лерой
- 2015 (за 2005 г.): Комбинаторы для двунаправленных преобразований деревьев: лингвистический подход к проблеме обновления представления, Нейт Фостер, Майкл Б. Гринвальд, Джонатан Т. Мур, Бенджамин К. Пирс , Алан Шмитт
- 2014 (за 2004 год): Абстракции от доказательств, Томас Хензингер, Ранджит Джала, Рупак Маджумдар, Кеннет Макмиллан.
- 2013 (для 2003): Сборщик мусора в режиме реального времени с низкими накладными расходами и постоянным использованием, Дэвид Ф. Бэкон, Перри Ченг, В. Т. Раджан
- 2012 (для 2002): CCured: типобезопасная модернизация устаревшего кода, Джордж К. Некула, Скотт Макпик и Уэстли Ваймер
- 2011 (за 2001 г.): BI как язык утверждений для изменяемых структур данных, Самин Иштиак и Питер У. О'Хирн
- 2010 (для 2000): В любое время, в любом месте: модальные логики для мобильных окружений, Лука Карделли и Эндрю Д. Гордон
- 2009 (за 1999 г.): JFlow: практическое управление преимущественно статическим информационным потоком, Эндрю К. Майерс
- 2008 (за 1998 год): От System F к типизированному языку ассемблера, Грег Моррисетт, Дэвид Уокер, Карл Крэри и Нил Глю
- 2007 (за 1997 г.): Кодекс доказательной базы, Джордж Некула
- 2006 (за 1996 год): Анализ точек к почти линейному времени, Бьерн Стинсгаард
- 2005 (за 1995 г.): Язык с распределенной областью действия, Лука Карделли
- 2004 (для 1994): Реализация типизированного лямбда-исчисления Call-by-Value с использованием стека регионов, Мадс Тофте и Жан-Пьер Талпин
- 2003 (по 1993): Императивное функциональное программирование, Саймон Пейтон Джонс и Филип Уодлер
Премия OOPSLA за самую влиятельную работу
- 2017 (за 2007 г.): Статистически строгая оценка производительности Java, Энди Джорджес, Дрис Байтаерт , Ливен Экхаут
- 2016 (за 2006 год): Тесты производительности DaCapo: разработка и анализ тестов производительности Java, Стивен М. Блэкберн, Робин Гарнер, Крис Хоффманн, Асджад М. Хан, Кэтрин С. МакКинли, Ротем Бенцур, Амер Диван, Дэниел Файнберг, Дэниел Фрэмптон, Сэмюэл З. Гайер, Мартин Хирцель, Энтони Хоскинг, Мария Джамп, Хан Ли, Дж. Элиот Б. Мосс, Аашиш Фансалкар, Дарко Стефанович, Томас ВанДрунен, Дэниел фон Динклаге, Бен Видерманн
- 2015 (за 2005 г.): X10: объектно-ориентированный подход к неоднородным кластерным вычислениям, Филипп Шарль, Кристиан Гротхофф, Виджай Сарасват, Кристофер Донава, Аллан Кильстра, Кемаль Эбчиоглу, Кристоф фон Праун и Вивек Саркар
- 2014 (за 2004 год): Зеркала: принципы проектирования метауровневых средств объектно-ориентированных языков программирования, Гилад Браха и Дэвид Унгар
- 2013 (для 2003): Языковая поддержка для облегченных транзакций, Тим Харрис и Кейр Фрейзер
- 2012 (за 2002 год): Пересмотр индивидуального распределения памяти, Эмери Д. Бергер, Бенджамин Г. Зорн и Кэтрин С. МакКинли
- 2010 (для 2000 г.): Адаптивная оптимизация в виртуальной машине Jalapeño, Мэтью Арнольд, Стивен Финк, Дэвид Гроув, Майкл Хайнд и Питер Ф. Суини
- 2009 (за 1999 г.): Внедрение халапеньо на Яве, Боуэн Альперн, CR Аттанасио, Джон Дж. Бартон, Энтони Кокки, Сьюзан Флинн Хаммел, Дерек Либер, Тон Нго, Марк Мерген, Дженис С. Шепард и Стивен Смит
- 2008 (за 1998 г.): Типы собственности для гибкой защиты псевдонимов, Дэвид Г. Кларк, Джон М. Поттер и Джеймс Нобл
- 2007 (за 1997 г.): Построение графа вызовов в объектно-ориентированных языках, Дэвид Гроув, Грег ДеФоу, Джеффри Дин и Крейг Чемберс
- 2006 (за 1986–1996 гг.):
- Субъектно-ориентированное программирование: критика чистых объектов, Уильям Гаррисон и Гарольд Осшер
- Концепции и эксперименты в области вычислительного отражения, Патти Мэйс
- Я: Сила простоты, Дэвид Унгар и Рэндалл Б. Смит
Премия за самую влиятельную работу ICFP
- 2019 (для 2009): Поддержка многоядерного Haskell во время выполнения: Саймон Марлоу, Саймон Пейтон Джонс и Сатнам Сингх
- 2009 (за 1999 г.): Haskell и XML: универсальные комбинаторы или перевод на основе типов?, Малкольм Уоллес и Колин Рансиман
- 2008 (за 1998 год): Cayenne — язык с зависимыми типами, Леннарт Аугустссон
- 2007 (за 1997 год): Функциональная реактивная анимация, Конал Эллиотт и Пол Хадак
- 2006 (за 1996 г.): Оптимальность и неэффективность: что не является моделью стоимости лямбда-исчисления?, Джулия Л. Лоуэлл и Гарри Г. Мейрсон
Смотрите также
Ссылки
- ^ «Премия за достижения в области языков программирования SIGPLAN». ACM SIGPLAN.
- ^ По этой ссылке можно узнать о всех награжденных. [1]
- ^ "Премия за достижения в области языков программирования SIGPLAN". ACM SIGPLAN. Архивировано из оригинала 22.02.2024.
- ^ "Премия SIGPLAN Робина Милнера для молодых исследователей". www.sigplan.org . ACM SIGPLAN . Получено 08.07.2024 .
- ^ По этой ссылке можно узнать о всех награжденных. [4]
- ^ "SIGPLAN Programming Languages Software Award". ACM SIGPLAN. Архивировано из оригинала 2024-06-05.
- ^ "Премия за лучшее программное обеспечение для языков программирования" . Получено 12 июля 2024 г.
- ^ "Премия за лучшее программное обеспечение для языков программирования" . Получено 2022-10-27 .
- ^ ab "Programming Languages Software Award" . Получено 2021-10-05 .
- ^ Лютербахер, Селия (25 июня 2019 г.). «Язык программирования Scala получает награду SIGPLAN» . Получено 25 июня 2019 г.
- ^ abcd "Programming Languages Software Award". www.sigplan.org . Получено 2018-12-02 .
- ^ 2013: Помощник по доказательству Coq Архивировано 03.07.2013 на Wayback Machine . SIGPLAN. Получено 20.08.2013.
- ^ 2012: Jikes Research Virtual Machine (RVM) Архивировано 03.07.2013 на Wayback Machine . SIGPLAN. Получено 20.08.2013.
- ↑ 2011: Саймон Пейтон Джонс и Саймон Марлоу. SIGPLAN. Получено 20 августа 2013 г.
- ↑ 2010: Крис Латтнер. SIGPLAN. Получено 20 августа 2013 г.
- ^ Премия ACM SIGPLAN Programming Languages Software Award 2010 в знак признания его работы над LLVM .
- ^ "Премия за докторскую диссертацию имени Джона К. Рейнольдса". www.sigplan.org . Получено 16.01.2017 .
Внешние ссылки
- Домашняя страница SIGPLAN
