最难忘的CS论文标题

50

在MO中提出了一个富有成果的问题后，我认为有必要在CS中讨论一些著名的论文名称。

很明显，我们大多数人可能会被吸引去阅读（或至少看一眼）标题有趣的论文（至少每次我在会议中浏览论文列表时都会这样做），或者避免阅读不佳命名文章。

您记得哪些论文是因为它们的标题（以及不必要的内容）？

我最喜欢的虽然不是适当的TCS论文，但“关系模型已失效，SQL已失效，而我自己也感觉不太好。” 。

soft-question  big-list 
— R B
source
5
— 詹妮弗·伍
6
关于MO的问题很早以前就已经结束，这个问题也应该解决。它纯粹是基于意见的，只是一个很大的清单。
— David Richerby 2014年
3
嗯，据我所知，MO的问题仅在活动9个月后才结束，因为大名单太大了，从而降低了信噪比。
— EmilJeřábek'14
6
如果这成为愚蠢的双关语或书名的集合，而这些双关语或书名的引用仅与本文的主题很少相关，我不会太高兴。IMO应该有一些“质量”标准，例如标题实际上应该具有非零信息内容。
— 2014年
7
mathoverflow网站上的答案之一就是指向此链接：www2.tcs.ifi.lmu.de/~jjohanns/cute.html，其标题为“ 理论计算机科学”中随机附有可爱标题的论文清单。
— 2014年

Answers:

37

不久前，我在Twitter上进行了一项调查，结果在这里。我的一些最爱：

— Sam Tobin-Hochstadt
source
9
菲利普·沃德勒（Philip Wadler）的任何头衔几乎都令人难忘。我最喜欢的是他的论文“精疲力尽比懒惰”，以及杰里米·西克（Jeremy Siek）撰写的POPL论文“三人一组，有或没有责备”。
— 哈克·贝内特
30

当我刚进入计算机科学时，我曾经喜欢古怪的标题，但最终感到无聊。一些作者设法写出了聪明，令人难忘且相关的标题，但大多数尝试使用有趣的标题都会导致不必要的冗长，缺乏信息性和晦涩难懂的短语，我很难记住和查找它们。

诸如Pnueli 于1977年出版的《程序的时序逻辑》之类的论文，绝对是直截了当的，但我很容易记住。我猜你在这个意义上并不意味着令人难忘。

莱斯利·兰伯特（Leslie Lamport）的几篇论文都带有令人难忘的标题，但我并不想因为想变得有趣而感到震惊。您想要的那种标题很多，而且我认为拥有一个远程全面的列表是不可行的，即使是我已阅读并记住的论文，甚至是那些被认为很重要的论文。尽管如此，让我记得一些，将它们适当地分组。

莱斯利·兰伯特的著作

兰珀特在这里描述了各种报纸背后的故事。他拥有许多令人难忘的头衔，尽管并非所有头衔（或论文）都广受好评。

论文标题被认为有害 （感谢@Bakuriu和@ Kaj_Sotala，他们的评论使我扩展了这一点）

Edsger Dijkstra向ACM通讯部门提交了反对Goto案的陈述（也为EWD 215），最终标题由编辑Niklaus Wirth修改为下面给出的著名标题。这个标题产生了一系列的答复。如此语言日志文章所指出的，这样的标题已经存在于新闻业中。特别是，早在1950年代就发现了对“ X被认为有害”和“'X被认为有害”被认为有害的递归响应（Language log，A Roguish Chrestomathy）。在这种情况下，我们获得了这些标题。

  • 转到被认为有害的陈述，1968年

  • 1974年Knuth的结构化编程，转到go语句，这是一篇冷静而优美的文章。他引用了迪杰斯特拉的个人通讯：

    “请不要陷入相信我对[go to statement]格格不入的教条。我感到不舒服的是，其他人正在从中发扬宗教，好像编程的概念性问题可以通过以下方式解决一个简单的技巧，通过简单的编码规则形式！” 埃德斯·迪克斯特拉（Edsger Dijkstra），1973年

    “在1971年的IFIP大会上，我很高兴见到日本的后藤荣一博士，他高兴地抱怨说他一直被淘汰。” -努斯

  • 鲁宾，1987年的“被认为有害”，鲁宾（Rubin），1987年

  • “”“ GOTO被认为有害”被认为有害“被认为有害吗？” ，该书由Moore，Musciano，Liebhaber，Lotte和Starr于1987年出版。

  • 迪杰斯特拉（Dijkstra），1987年，在一个令人失望的书信中，结尾是：

    显然，我的优先级并不是每个人都共享的，因为鲁宾的信和它引起的五个反应中的大部分反应都是根据似乎比被利用更好的各种“编程语言功能”来进行的。整个通信的执行水平使我想起了二十年前的知识环境，好像停滞是计算机行业的主要特征，这真令人失望。迪克斯特拉（Dijkstra），1987年

从那以后，已经有许多“ X被认为是有害的”标题（请参阅Google Scholar）。

逻辑，编程语言和语义

这些是各种带有令人难忘的标题的逻辑和语义论文。我会在找时间的时候继续介绍它们。

— Vijay D
source
既然你提到“转到认为是有害的说法”，一个还需要提及的反应 “” GOTO有害“有害”，并收集反响应考虑的标题下贴有“‘‘GOTO有害’是有害的’有害？”。
— Kaj_Sotala 2014年
1
既然你提到了“转到认为是有害的声明”还应当指出的是，Dijkstra算法并没有选择标题。是他的编辑强行更改了它（请阅读Wikipedia）。最初的标题是：反对Goto声明的案例，它要温和得多。
— Bakuriu 2014年
13

Mihai Patrascu和Liam Roditty。“远方神谕超出了Thorup-Zwick的界限。” 计算机科学基金会（FOCS），2010年第51届IEEE年度研讨会。IEEE，2010年。

最初的标题为“ How to Grow Your Balls ”，尽管要求作者对其进行更改。我读了这篇论文，实际上认为旧标题确实适合您对算法的看法。

— Thatchaphol
source
7

Lane A. Hemaspandra和Heribert Vollmer。“ 撒旦符号：超越#P和其他定义性冒险的类。 ”通讯ACM SIGACT第26卷，第1期，1995年3月。第2-13页。

— Tayfun Pay
source
4

Conor McBride的大部分论文标题都令人难忘。我可以说他的论文标题是我读过这么多有关依赖类型理论的论文的原因之一。一些特别令人难忘的是：

  • S. Lindley，C。McBride和C. McLaughlin，POPL 2017；
  • “我左边的小丑，右边的小丑（珍珠）：剖析数据结构，” C。McBride，POPL 2008；
  • C. McBride＆J. McKinna，JFP 14（1）（2004年）；“从左边看”。
  • “消除动机”，C。McBride，TYPES 2000。

在ICFP和JFP上发布的许多“功能性珍珠”，都以“功能性珍珠”的精神而具有有趣的标题，这些标题具有启发性，简洁性和趣味性。为此，作者努力工作，以期提出有趣的标题。最近的一些提名者：

  • “您需要了解的Yoneda：Puncunctor Optics和Yoneda Lemma，” G。Boisseau和J. Gibbons，ICFP 2018；
  • C. Dimoulas，M。New，R。Findler和M. Felleisen，ICFP，“哦，上帝，请不要误会合同”。
  • “如果两个人中的一个使用Haskell，则两个人可以保守秘密”，A。Russo，ICFP 2015。
— r
source
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.