Самые запоминающиеся названия CS-бумаги

После плодотворного вопроса в МО , я подумал, что стоит обсудить некоторые заметные названия статей в CS.

Совершенно очевидно, что большинству из нас может быть интересно прочитать (или хотя бы взглянуть) статью с интересным названием (по крайней мере, я делаю это каждый раз, когда просматриваю список докладов на конференции), или избегать плохого чтения именные статьи.

Какие документы вы помните из-за их названий (и, необязательно, содержимого)?

Мой любимый, хотя и не совсем правильный документ TCS, «Реляционная модель мертва, SQL мертва, и я сам себя не очень хорошо чувствую». ,

Я провел опрос в Твиттере об этом некоторое время назад, результаты здесь . Несколько из моих любимых:

• Параметрический полиморфизм через запечатывание во время выполнения или теоремы для низких, низких цен! Джейкоб Мэтьюз и Амаль Ахмед, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Модули F-ing Андреаса Россберга, Клаудио Руссо и Дерека Дрейера, TLDI 2010

• Не Cons должны минусы своих аргументов и Чейни на MTA , как Генри Бейкер, SIGPLAN Замечания 1992 и 1995. Бейкер имеет много других больших бумажные титулы тоже.

• Как выполнить объединение: обслуживание асинхронного инкрементного представления, выполненное Салемом, Бейером и Линдси, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Очень модальная модель современной, крупной, общей системы типов по Аппелю, Мелли, Ричардсу и Вуйону, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Клоуны слева от меня, Джокеры справа , Конор МакБрайд, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Линейные типы могут изменить мир! Фил Уодлер, Концепции и методы программирования 1990 (обратите внимание, что! Имеет значение)

Мне нравились причудливые названия, когда я начинал с информатики, но в конце концов мне стало скучно. Некоторым авторам удается писать умные, запоминающиеся и релевантные названия, но большинство попыток смешных названий приводят к излишне длинным, неинформативным и глупым фразам, которые мне трудно запомнить и найти.

Есть такие статьи, как «Временная логика программ» Пнуэли 1977 года, которые абсолютно просты, но для меня легко запомнить. Я предполагаю, что вы не имели в виду памятные в этом смысле.

У Лесли Лэмпорта есть несколько газет с запоминающимися названиями, которые не кажутся мне забавными. Названий, которые вы хотите, многочисленно, и я не думаю, что возможно иметь удаленно полный список, даже статей, которые я прочитал и запомнил, или даже тех, которые считаются значимыми. Тем не менее, позвольте мне вспомнить некоторые из них, сгруппировав их в соответствующих случаях.

Писания Лесли Лампорта

Лампорт описывает историю, стоящую за различными бумагами здесь . У него много памятных названий, хотя не все названия (или статьи) были хорошо приняты.

• Время, часы и порядок событий в распределенной системе , Лампорт, 1978, классическая статья о распределенных системах. Название вызывает изображения диаграмм в статье, которые сами по себе напоминают специальные диаграммы относительности.

• «Иногда» - иногда «Не никогда» , Лампорт, 1980. Читая это, я сразу же прорабатываю теоремы о временной логике, на которые намекают.

• Проблема византийских генералов , Лампорт, Пиз, Шостак, 1982

• "EWD 1013" , 1988. Известно, потому что только Дейкстра написал EWD.
• Как отличить программу от автомобиля , 1996
• Парламент с частичной занятостью , Лампорт, 1998 год. Более известный как Паксос. См. Его страницу для истории этой статьи и алгоритма, который она содержит.

Название статьи считается опасным (спасибо @Bakuriu и @ Kaj_Sotala, чьи комментарии заставили меня расширить этот вопрос)

Эдсгер Дейкстра подал в Комиссию АСМ заявление «Дело против Гото» (также EWD 215), и окончательный заголовок редактора Никлауса Вирта был изменен на знаменитый заголовок, приведенный ниже. Этот заголовок породил серию ответов. Такие заголовки уже существовали в журналистике, как указано в этой статье журнала языка . В частности, рекурсивные ответы на «X, считающийся вредным» на «X, считающийся вредным», считающийся вредным », можно найти еще в 1950-х годах ( Журнал языков , Roguish Chrestomathy ). В этом конкретном случае мы получили эти названия.

• Перейти к заявлению, признанному вредным , 1968

• Структурное программирование с go to Statements , Кнут, 1974, спокойная, красивая статья. Он цитирует личное сообщение Дейкстры:

  «Пожалуйста, не попадайтесь в ловушку веры в то, что я ужасно догматичен в отношении [перехода к утверждению]. У меня неприятное ощущение, что другие делают из этого религию, как будто концептуальные проблемы программирования могут быть решены один трюк, простой формой дисциплины кодирования! " - Эдсгер Дейкстра, 1973

  «На конгрессе IFIP в 1971 году я имел удовольствие встретиться с д-ром Эйити Гото из Японии, который весело жаловался, что его всегда устраняли». - Кнут

• "Goto считать вредным" считается вредным , Рубин, 1987

• "" "GOTO Считается вредным" Считается вредным "Считается вредным?" коллекция ответов Мура, Мусиано, Либхабера, Лотта и Старра, опубликованная в 1987 году.

• На несколько разочаровывающей переписке , Dijkstra, 1987, которая заканчивается этим:

  Очевидно, мои приоритеты не разделяются всеми, для письма Рубина, и большинство из пяти вызванных им реакций были проведены вместо этого с точки зрения всевозможных «функций языка программирования», которые кажутся лучше игнорируемыми, чем эксплуатируемыми. Вся переписка велась на уровне, который ярко напомнил мне об интеллектуальном климате двадцатилетней давности, как будто стагнация была главной характеристикой компьютерной профессии, и это было разочарованием. - Дейкстра, 1987

С тех пор появилось множество названий «X считается вредным» (см. Google Scholar ).

Логика, языки программирования и семантика

Это различные статьи по логике и семантике с запоминающимися названиями. Я расскажу о них, когда найду время.

• Следующие 700 языков программирования , Ландин, 1966
• Скотт не всегда трезв , Джонстон, 1981
• Беспристрастность, справедливость и справедливость: этика одновременного прекращения , Lehmann, Pnueli, Stavi, 1981
• Почему люди думают, что компьютеры не могут , Минский, 1990
• Преимущества расслабляющей пунктуальности , Alur, Feder, Henzinger, 1991
• Функциональное программирование с помощью бананов, линз, конвертов и колючей проволоки , Мейер, Фоккинга, Патерсон, 1991
• Раз и навсегда, Купферман и Пнуэли, 1995
• Однажды тип , Тернер, Вадлер, Моссин, 1995
• Синтез с Incomplete Informatio , Купферман и Варди, 1997 (замечание отсутствует 'n')
• Радости бисимуляции , Стерлинг, 1998
• От доисторической до постмодернистской проверки символической модели , Хензингер, Купферман, Кадир, 1998
• Однажды полиморфный тип , Wansborough and Peyton Jones, 1999
• Ленивая Абстракция , Хензингер, Джала, Мажумдар, Сутре, 2002
• Эскизы слона: сборник теорий топос. 1 , Джонстон, 2002
• Пылесос CTL Formulas , Purandare и Somenzi, 2002
• Co-Buching Them All , Купферман и Бокер, 2011
• Все по цене нескольких , Абдулла, Хазиза, Холик, 2013

Михай Патраску и Лиам Родитты. «Расстояние оракулов за пределы Торупа-Цвика». Основы информатики (FOCS), 2010 51-й ежегодный симпозиум IEEE. IEEE, 2010.

« Как вырастить свои шары » было оригинальным названием, хотя авторов попросили изменить его. Я читаю газету и на самом деле думаю, что старый заголовок действительно соответствует тому, как вы думаете об алгоритме.

Это недавняя статья, но ее название часто приходит мне в голову:

Джованни Виглиетта: Игры - тяжелая работа, но кто-то должен это делать! Теория вычислений. Сист. 54 (4): 595-621 (2014)

Viglietta представляет некоторые метатеоремы, которые можно использовать для изучения вычислительной сложности видеоигр с использованием общих элементов, таких как разрушаемые пути, ключи, двери и т. Д .; среди результатов он применяет эти метатеоремы, чтобы доказать NP-твердость Pac-Man .

Название, которое является одновременно запоминающимся и описательным - Succincter Михая Патраску .

Безопасный анализ содержимого для веб-браузеров, или Как не допустить рецензирования статей

Барт А.; Калифорнийский университет в Беркли, Беркли, Калифорния, США; Caballero, J.; Song, D. 2009 30-й симпозиум IEEE по безопасности и конфиденциальности. DOI 10.1109 / SP.2009.3

Лейн А. Хемаспандра и Гериберт Фольмер. « Сатанинские нотации: подсчет классов за пределами #P и других описательных приключений». Информационный бюллетень ACM SIGACT, том 26, выпуск 1, март 1995 года. Страницы 2–13.

Cycle Killer ... Qu'est-ce que c'est? О сравнительной аппроксимируемости числа гибридизации и набора вершин с направленной обратной связью - SIAM J. Discrete Math., 26 (4)

(ссылка на Говорящие головы - Психо-убийца (qu'est-ce que c'est))

Research, Re: Поиск и повторный поиск от Aske Platt. Я наткнулся на эту статью, когда узнал об алгоритмах поиска AI, и заголовок всегда был при мне.

«Геометрия невинной плоти на кости: возврат в libc без вызовов функций (на x86)»

Ссылка на песню Боба Дилана "Tombstone Blues". Это примерно 64-битное переполнение буфера, но оно вызывает образы невинных программ, разбитых на две части. Итак, металл.

https://dl.acm.org/citation.cfm?doid=1315245.1315313

Мне все еще нравится классика " Мик получает некоторые (шансы на его стороне) "

И это: « Не читайте это »

Не останавливайте BIBOP: гибкое и эффективное управление хранилищем для динамически типизированных языков , Р. Кент Дибвиг, Дэвид Эби и Карл Бруггеман

Я не число - я свободная переменная , Конор МакБрайд и Джеймс МакКинна

Семантика начальной алгебры достаточно! Нил Гани и Патриция Иоганн

Можно быть худым, если твои друзья толстые .

• Songrit Maneewongvatana, David M. Mount
  Место проведения: 4-й ежегодный семинар по вычислительной геометрии.

Как удержать мертвецов от стрельбы.

Большинство статей Конора МакБрайда очень запоминаются. Я могу сказать, что названия его статей - одна из причин, почему я прочитал так много статей по теории зависимых типов. Некоторые особенно запоминающиеся из них:

• «Делай, будь, делай, делай», С. Линдли, С. Макбрайд и К. Маклафлин, POPL 2017;
• «Клоуны слева от меня, шутники справа (жемчужина): рассекающие структуры данных», C. McBride, POPL 2008;
• «Вид слева», C. McBride & J. McKinna, JFP 14 (1) (2004);
• «Исключение с мотивом», C. McBride, TYPES 2000.

Многие из «функциональных жемчужин», опубликованных в ICFP и в JFP, имеют интересные названия в духе «функциональных жемчужин», которые должны быть поучительными, лаконичными и интересными для чтения. С этой целью авторы прилагают все усилия, чтобы придумать интересные названия. Некоторые недавние кандидаты:

• «Что вам нужно знать о Йонеде: профессор оптики и лемма Йонеды», G. Boisseau & J. Gibbons, ICFP 2018;
• «О Боже, пожалуйста, не позволяйте неправильно понимать контракты», К. Димулас, М. Нью, Р. Финдлер и М. Феллайзен, ICFP 2016;
• «Двое могут хранить секрет, если один из них использует Haskell», А. Руссо, ICFP 2015.

Через Лабиринт
Эволюция находит путь:
Силиконовый Хребет

• Инман Харви и Адриан Томпсон, Материалы Первой Международной конференции по развивающимся системам, 1996.

Из мира математики я всегда думал, что « Звездообразные нечеткие наборы» очаровательны.

Дж. Ван дер Хувен. Расслабься, но не ленись . J. Symb. Comput., 34: 479–542, 2002.

Ссылка "ВОЛШЕБНЫЕ СЛОВА ЯВЛЯЕТСЯ ОССИФРАЖОМ" ссылка

$129$