SIGPLAN
Специальная группа по интересам Ассоциации вычислительной техники (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] Премия названа в честь компьютерного учёного Робина Милнера .

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

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

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

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

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

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

Премия PLDI за самую влиятельную работу

  • 2024 (за 2014 год): FlowDroid: точный анализ контекста, потока, поля, объектов и жизненного цикла приложений Android, Стивен Арцт, Зигфрид Растофер, Кристиан Фриц, Эрик Бодден, Александр Бартель, Жак Кляйн, Ив Ле Траон, Дэмиен Окто, Патрик Макдэниел
  • 2023 (за 2013 г.): Halide: язык и компилятор для оптимизации параллелизма, локальности и представления в конвейерах обработки изображений Джонатана Рагана-Келли, Коннелли Барнса, Эндрю Адамса, Сильвена Париса, Фредо Дюрана и Самана Амарасингхе
  • 2022 (за 2012 г.): Сокращение числа тестовых случаев для ошибок компилятора C, авторы Джон Регер, Ян Чен, Паскаль Куок, Эрик Эйде, Чаки Эллисон, Сюэцзюнь Ян
  • 2021 (за 2011 год): Поиск и понимание ошибок в компиляторах C, авторы Сюэцзюнь Ян, Ян Чен, Эрик Эйде и Джон Регер
  • 2020 (за 2010 г.): Зеленый: структура поддержки энергосберегающего программирования с использованием контролируемой аппроксимации, авторы Вунгки Бэк и Тришул М. Чилимби
  • 2019 (за 2009 год): FastTrack: эффективное и точное динамическое обнаружение гонок, авторы Кормак Фланаган и Стивен Н. Фройнд
  • 2018 (за 2008 г.): Практический автоматический многогранный распараллеливатель и оптимизатор локальности, авторы Удай Бондхугула, Альберт Хартоно, Дж. Рамануджам и П. Садаяппан
  • 2017 (за 2007 г.): Valgrind: фреймворк для тяжеловесного динамического двоичного инструментирования Николаса Нетеркота, Джулиана Сьюарда
  • 2016 (за 2006 год): DieHard: Вероятностная безопасность памяти для небезопасных языков , Эмери Бергер, Бенджамин Зорн
  • 2015 (за 2005 г.): Pin: Создание специализированных инструментов анализа программ с использованием динамического инструментария, авторы: Чи-Кенг Люк, Роберт Кон, Роберт Мут, Хариш Патил, Артур Клаузер, Джефф Лоуни, Стивен Уоллес, Виджай Джанапа Редди и Ким Хейзелвуд
  • 2014 (для 2004): Масштабируемое динамическое распределение памяти без блокировок, автор Maged M. Michael
  • 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): Ленивый код движения Йенса Кнопа, Оливера Рютинга, Бернхарда Штеффена
  • 2001 (для 1991 г.): Алгоритм оптимизации локальности данных Майкла Э. Вольфа и Моники С. Лэм
  • 2000 (для 1990 г.): Позиционирование кода с профилированием Карла Петтиса и Роберта К. Хансена

Премия за самую влиятельную работу POPL

  • 2024 (на 2014 г.): CakeML: проверенная реализация машинного обучения Рамана Кумара, Магнуса Майрина, Майкла Норриша, Скотта Оуэнса
  • 2023 (за 2013 г.): Просмотры: Композиционное обоснование для параллельных программ Томаса Динсдейла-Янга, Ларса Биркедала, Филиппы Гарднер, Мэтью Паркинсона, Хонсока Янга
  • 2022 (за 2012 год): Многогранность динамического потока информации Томаса Х. Остина и Кормака Фланагана
  • 2021 (за 2011 г.): Автоматизация обработки строк в электронных таблицах с использованием примеров ввода-вывода , Сумит Гулвани
  • 2020 (за 2010 год): От проверки программы к синтезу программы Саурабха Шриваставы, Сумита Гулвани, Джеффри Фостера* 2019 (за 2009 год): Анализ композиционной формы с помощью биабдукции Кристиано Кальканьо, Дино Дистефано, Питера В. О'Херна, Хонсока Янга
  • 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 год): От System F к типизированному языку ассемблера Грега Моррисетта, Дэвида Уокера, Карла Крэри и Нила Глю
  • 2007 (за 1997 г.): Кодекс доказательства Джорджа Некулы
  • 2006 (за 1996 год): Анализ точек к почти линейному времени Бьярна Стинсгаарда.
  • 2005 (за 1995 г.): Язык с распределенной областью действия Луки Карделли
  • 2004 (для 1994 г.): Реализация типизированного лямбда-исчисления Call-by-Value с использованием стека регионов Мадса Тофте и Жана-Пьера Талпена
  • 2003 (по 1993): Императивное функциональное программирование Саймона Пейтона Джонса и Филипа Уодлера

Премия OOPSLA за самую влиятельную работу

  • 2024 (на 2014 год): Адаптивный анализ LL(*): сила динамического анализа Теренса Парра, Сэма Харвелла и Кэтлин Фишер
  • 2023 (за 2013 год): Эмпирический анализ внедрения языков программирования , авторы Лео Мейерович и Ариэль Рабкин
  • 2022 (для 2012 года): GPUVerify: верификатор для ядер графических процессоров, созданный Адамом Беттсом, Натаном Чонгом, Аластером Дональдсоном, Шазом Кадиром и Полом Томсоном
  • 2021 (за 2011 г.): SugarJ: синтаксическое расширение языка на основе библиотеки, авторы Себастьян Эрдвег, Тильманн Рендель, Кристиан Кестнер и Клаус Остерманн
  • 2020 (за 2010 год): Языковая среда spoofax: правила декларативной спецификации языков и IDE Леннарта К. Л. Каца и Элко Виссера
  • 2019 (за 2009 год): Flapjax: язык программирования для приложений Ajax, авторы: Лео А. Мейерович, Арджун Гуха, Джейкоб Баскин, Грегори Х. Купер, Майкл Гринберг, Алекс Бромфилд, Шрирам Кришнамурти
  • 2018 (за 2008 год): jStar: на пути к практической верификации для Java Дино Дистефано и Мэтью Паркинсона
  • 2017 (за 2007 год): Статистически строгая оценка производительности Java , Энди Джорджес, Дрис Байтаерт , Ливен Экхаут
  • 2016 (за 2006 год): Тесты производительности DaCapo: разработка и анализ тестов производительности Java Стивеном М. Блэкберном, Робином Гарнером, Крисом Хоффманном, Асджадом М. Ханом, Кэтрин С. МакКинли, Ротемом Бенцуром, Амером Диваном, Дэниелом Файнбергом, Дэниелом Фрэмптоном, Сэмюэлем З. Гайером, Мартином Хирцелем, Энтони Хоскингом, Марией Джамп, Ханом Ли, Дж. Элиотом Б. Моссом, Аашишем Фансалкаром, Дарко Стефановичем, Томасом ВанДруненом, Дэниелом фон Динклаге, Беном Видерманном
  • 2015 (за 2005 год): X10: объектно-ориентированный подход к неоднородным кластерным вычислениям Филиппа Шарля, Кристиана Гротхоффа , Виджая Сарасвата, Кристофера Донавы, Аллана Кильстры, Кемаля Эбчиоглу, Кристофа фон Прауна и Вивека Саркара
  • 2014 (за 2004 год): Зеркала: принципы проектирования метауровневых средств объектно-ориентированных языков программирования, авторы Гилад Браха и Дэвид Унгар
  • 2013 (для 2003 года): Языковая поддержка для облегченных транзакций, авторы Тим Харрис и Кейр Фрейзер
  • 2012 (за 2002 год): Переосмысление индивидуального распределения памяти Эмери Д. Бергера, Бенджамина Г. Зорна и Кэтрин С. МакКинли
  • 2010 (для 2000 г.): Адаптивная оптимизация в виртуальной машине Jalapeño Мэтью Арнольда, Стивена Финка, Дэвида Гроува, Майкла Хайнда и Питера Ф. Суини
  • 2009 (за 1999 г.): Реализация халапеньо на языке Java, авторы Боуэн Альперн, К. Р. Аттанасио, Джон Дж. Бартон, Энтони Кокки, Сьюзан Флинн Хаммел, Дерек Либер, Тон Нго, Марк Мерген, Дженис К. Шепард и Стивен Смит
  • 2008 (за 1998 г.): Типы собственности для гибкой защиты псевдонимов , Дэвид Г. Кларк, Джон М. Поттер и Джеймс Ноубл
  • 2007 (за 1997 г.): Построение графа вызовов в объектно-ориентированных языках Дэвида Гроува, Грега ДеФоу, Джеффри Дина и Крейга Чемберса
  • 2006 (за 1986–1996 гг.):
    • Субъектно-ориентированное программирование: критика чистых объектов Уильяма Гаррисона и Гарольда Осшера
    • Концепции и эксперименты в области вычислительной рефлексии Пэтти Мэйс
    • «Самость: сила простоты» Дэвида Унгара и Рэндалла Б. Смита

Премия за самую влиятельную работу ICFP

  • 2024 (для 2014 г.): Типы уточнения для Haskell , Ники Вазу, Эрик Л. Сейдель, Ранджит Джала, Димитриос Витиниотис, Саймон Пейтон-Джонс
  • 2023 (для 2013 года): Handlers in Action Охада Каммара, Сэма Линдли и Николя Ури
  • 2022 (за 2012 г.): Решение проблемы скрытых каналов завершения и синхронизации в системах параллельных потоков информации, авторы Деян Стефан, Алехандро Руссо, Пабло Буирас, Амит Леви, Джон К. Митчелл и Дэвид Мазьер
  • 2021 (за 2011 год): Frenetic: язык сетевого программирования Нейта Фостера, Роба Харрисона, Майкла Фридмана, Кристофера Монсанто, Дженнифер Рексфорд, Алекса Стори и Дэвида Уокера
  • 2020 (за 2010 год): «Абстрагирование абстрактных машин» Дэвида Ван Хорна и Мэтью Майта
  • 2019 (для 2009): Runtime Support for Multicore Haskell, авторы Саймон Марлоу, Саймон Пейтон Джонс и Сатнам Сингх
  • 2018 (за 2008 г.): Параметрический абстрактный синтаксис высшего порядка для механизированной семантики, автор Адам Члипала
  • 2017 (за 2007 год): Ott: Effective Tool Support for the Working Semanticist , Питер Сьюэлл, Франческо Заппа Нарделли, Скотт Оуэнс, Жиль Пескин, Томас Ридж, Сасмит Саркар и Рок Стрниша
  • 2016 (за 2006 год): Простой вывод типов на основе унификации для GADT, авторы Саймон Пейтон Джонс, Димитриос Витиниотис, Стефани Вайрих и Джеффри Уошберн
  • 2015 (за 2005 г.): Ассоциированные синонимы типов Мануэля М. Т. Чакраварти, Габриэля Келлера и Саймона Пейтона Джонса
  • 2014 (за 2004 год): Scrap More Boilerplate: Reflection, Zips и Generalised Casts Ральфа Лэммеля и Саймона Пейтона Джонса
  • 2013 (за 2003 год): MLF: Возведение ML в степень Системы F Дидье Ле Ботлана и Дидье Реми
  • 2012 (за 2002 г.): Контракты для функций высшего порядка Роберта Финдлера и Маттиаса Феллейзена
  • 2011 (для 2001): Рекурсивные структуры для стандартного ML Клаудио Руссо
  • 2010 (для 2000): Quickcheck: легковесный инструмент для случайного тестирования программ на языке Haskell, авторы Koen Claessen и John Hughes
  • 2009 (за 1999 г.): Haskell и XML: универсальные комбинаторы или перевод на основе типов? Малкольм Уоллес и Колин Рансимен
  • 2008 (за 1998 год): Cayenne — Язык с зависимыми типами Леннарта Аугустссона
  • 2007 (для 1997): Функциональная реактивная анимация Конала Эллиотта и Пола Хадака
  • 2006 (за 1996 г.): Оптимальность и неэффективность: что не является моделью стоимости лямбда-исчисления? Джулия Л. Лоуолл и Гарри Г. Мейрсон

Смотрите также

Ссылки

  1. ^ «Премия за достижения в области языков программирования SIGPLAN». ACM SIGPLAN.
  2. ^ По этой ссылке можно узнать о всех лауреатах. [1]
  3. ^ "Премия за достижения в области языков программирования SIGPLAN". ACM SIGPLAN. Архивировано из оригинала 22.02.2024.
  4. ^ "Премия SIGPLAN Робина Милнера для молодых исследователей". www.sigplan.org . ACM SIGPLAN . Получено 08.07.2024 .
  5. ^ Эта ссылка предоставляет информацию обо всех награжденных. [4]
  6. ^ "SIGPLAN Programming Languages ​​Software Award". ACM SIGPLAN. Архивировано из оригинала 2024-06-05.
  7. ^ "Премия за лучшее программное обеспечение для языков программирования" . Получено 12 июля 2024 г.
  8. ^ "Премия за лучшее программное обеспечение для языков программирования" . Получено 2022-10-27 .
  9. ^ ab "Programming Languages ​​Software Award" . Получено 2021-10-05 .
  10. ^ Лютербахер, Селия (25 июня 2019 г.). «Язык программирования Scala получает награду SIGPLAN» . Получено 25 июня 2019 г.
  11. ^ abcd "Programming Languages ​​Software Award". www.sigplan.org . Получено 2018-12-02 .
  12. ^ 2013: Помощник по доказательству Coq Архивировано 03.07.2013 на Wayback Machine . SIGPLAN. Получено 20.08.2013.
  13. ^ 2012: Jikes Research Virtual Machine (RVM) Архивировано 03.07.2013 на Wayback Machine . SIGPLAN. Получено 20.08.2013.
  14. ↑ 2011: Саймон Пейтон Джонс и Саймон Марлоу. SIGPLAN. Получено 20 августа 2013 г.
  15. ↑ 2010: Крис Латтнер. SIGPLAN. Получено 20 августа 2013 г.
  16. ^ Премия ACM SIGPLAN Programming Languages ​​Software Award 2010 в знак признания его работы над LLVM .
  17. ^ "Премия за докторскую диссертацию имени Джона К. Рейнольдса". www.sigplan.org . Получено 16.01.2017 .
  • Домашняя страница SIGPLAN
Взято с "https://en.wikipedia.org/w/index.php?title=SIGPLAN&oldid=1259868158"