From 84bf86e127e37184be2af63e17044b68fb80b82e Mon Sep 17 00:00:00 2001 From: grammarware Date: Sun, 29 Jul 2012 00:37:47 +0200 Subject: [PATCH] submission details; topics of interests --- MoDELS.wiki | 18 +++++++++++++++++- PLDI.wiki | 22 ++++++++++++++++++++-- SLE.wiki | 16 +++++++++++++++- 3 files changed, 52 insertions(+), 4 deletions(-) diff --git a/MoDELS.wiki b/MoDELS.wiki index 9e6e48c..e9f6c32 100644 --- a/MoDELS.wiki +++ b/MoDELS.wiki @@ -2,8 +2,24 @@ * Перевод: '''Международная конференция по модельной разработке языков и систем''' * Статус: [[International Conference|международная конференция]] +== Детали == +* Анонимное рецензирование (рецензентам видны авторы, авторам виден только список всех рецензентов) +* Возможность ответить рецензентам до вынесения вердикта (не больше 500 слов) +* Стиль оформления — LNCS (одна колонка, большие поля) +* Предельный объём — 17 страниц + == Тематика == -* … +* Разработка и использование предметно-ориентированных языков моделирования +* Развитие языков моделирования широкого профиля +* Определение синтаксиса и семантики языков моделирования +* Инструменты и мета-инструменты для языков моделирования и модельной разработки +* Определение и использование модельных трансформаций и порождающих подходов +* Новые методологии, платформы и процессы модельной разработки +* Разработка концепций проектирования систем и моделирования-в-большом +* Предложения новых техник оценки качества моделей +* Интеграция модельных языков и инструментов +* Новые парадигмы и формализмы моделирования +* Моделирование в облаке и для облака == Архив == * MoDELS 2012 (Австрия, Иннсбрук) diff --git a/PLDI.wiki b/PLDI.wiki index e54af30..b45db74 100644 --- a/PLDI.wiki +++ b/PLDI.wiki @@ -1,9 +1,27 @@ * Название: '''Conference on Programming Language Design and Implementation''' -* Перевод: '''Конференция по проектированию и реализации языков программирования''' +* Перевод: '''Конференция по разработке и реализации языков программирования''' * Статус: [[International Conference|международная конференция]] +== Детали == +* Двойное слепое рецензирование (рецензенты анонимно оценивают анонимизированные статьи) +* Стиль оформления — ACM (две колонки, девятый шрифт) +* Предельный объём — 10 страниц + == Тематика == -* … +* Разработка языков и языковых расширений +* Статический и динамический анализ программ +* Предметно-ориентированные языки и инструменты +* Типизация и логика +* Преобразование и оптимизация программ +* Проверка и улучшение безопасности и корректности программ +* Управление памятью +* Паралеллизм, явный и неявный +* Анализ и оценка производительности +* Инновационные модели программирования +* Техники и инструменты отладки +* Понимание программ +* Взаимодействие компиляторов и сред выполнения с системами поддержки +* Синтезирование программ == Архив == * PLDI 2013 (США, Сиэтл): diff --git a/SLE.wiki b/SLE.wiki index 4979ef4..501af5a 100644 --- a/SLE.wiki +++ b/SLE.wiki @@ -2,8 +2,22 @@ * Перевод: '''Международная конференция по проектированию компьютерных языков''' * Статус: [[International Conference|международная конференция]] +== Детали == +* Анонимное рецензирование (рецензентам видны авторы, авторам виден только список всех рецензентов) +* Стиль оформления — LNCS (одна колонка, большие поля) +* Предельный объём — 20 страниц + == Тематика == -* … +* Формализмы для определения языков (грамматики, схемы, онтологии, метамодели) и инструменты их анализа +* Техники реализации языков (генераторы парсеров, атрибутные грамматики, библиотеки комбинаторов) +* Инструменты преобразования программ и моделей (рефакторинг, аспекты, метамоделирование) +* Инструменты совмещения, интегрирования, отображения разных представлений одного языка +* Преобразования и языки преобразования языков и моделей +* Развитие языков, расширяемые языки +* Подходы к выделению, заданию и проверке условий, предъявляемых к компьютерным языкам +* Подходы, методологии, техники, инструменты и примеры проектирования языков +* Проблемы проектирования компьютерных языков +* Применение инноваторских предметно-ориентированных или «малых» языков == Архив == * SLE 2012 (Германия, Дрезден)