Titres de papier CS les plus mémorables

50

Après une question fructueuse dans MO , j’ai pensé qu’il serait intéressant de discuter de noms de papier notables dans CS.

Il est clair que la plupart d’entre nous pourraient être attirés par la lecture (ou au moins jeter un coup d’œil sur un article avec un titre intéressant) (du moins je le fais à chaque fois que je passe en revue une liste d’articles dans une conférence), ou bien évitez de lire mal articles nommés.

De quels papiers vous souvenez-vous à cause de leurs titres (et pas nécessairement de leur contenu)?

Mon préféré, bien que n'étant pas un document approprié du TCS, est le suivant: "Le modèle relationnel est mort, SQL est mort et je ne me sens pas aussi bien." .

R B
la source
5
En quelque sorte liée: cstheory.stackexchange.com/questions/3111/…
Jennifer Ng
6
La question sur MO était fermée depuis longtemps et celle-ci devrait l'être également. C'est purement basé sur l'opinion et juste une grande liste.
David Richerby
3
Pour autant que je sache, la question sur MO n'a été fermée qu'après 9 mois d'activité, car la grande liste devenait trop longue, ce qui diminuait le rapport signal / bruit.
Emil Jeřábek soutient Monica
6
Je ne serais pas trop heureux si cela devenait une collection de jeux de mots stupides ou de titres qui ne sont que des citations marginalement liées au sujet du document. OMI, il devrait y avoir un critère de "qualité", par exemple, le titre devrait avoir un contenu d'information non nul.
Sasho Nikolov
7
Une des réponses sur le site mathoverflow a indiqué le lien suivant: www2.tcs.ifi.lmu.de/~jjohanns/cute.html , intitulé Voici une liste aléatoire d'articles dans Théoretical Computer Science, avec de jolis titres.
imallett

Réponses:

37

J'ai fait une enquête sur Twitter il y a quelque temps, les résultats ici . Quelques-uns de mes favoris:

Sam Tobin-Hochstadt
la source
9
À peu près tout titre de Philip Wadler est mémorable. Mes favoris sont sa thèse, "L'insomnie vaut mieux que la paresse" et un article de POPL avec Jeremy Siek, "La partouze, avec et sans reproche".
Huck Bennett
30

J'avais l'habitude d'aimer les titres bizarres quand j'ai débuté en informatique mais je me suis ennuyé par la suite. Certains auteurs parviennent à écrire des titres intelligents, mémorables et pertinents, mais la plupart des tentatives de titres amusants aboutissent à des phrases inutilement longues, peu informatives et compliquées que je trouve difficile de retenir et de regarder.

Il existe des articles tels que La logique temporelle des programmes de Pnueli, datant de 1977, qui sont tout à fait simples, mais dont je me souviens facilement. Je suppose que vous ne vouliez pas dire mémorable en ce sens.

Leslie Lamport a plusieurs articles avec des titres mémorables qui ne me paraissent pas vouloir être drôle. Les titres du genre que vous voulez sont nombreux et je ne pense pas qu'il soit possible d'avoir une liste exhaustive, même des articles que j'ai lus et dont je me souviens, ou même de ceux qui sont considérés comme importants. Néanmoins, permettez-moi de rappeler quelques-uns, en les regroupant le cas échéant.

Les écrits de Leslie Lamport

Lamport décrit l'histoire qui se cache derrière divers papiers ici . Il a beaucoup de titres mémorables, même si tous les titres (ou journaux) n'ont pas été bien reçus.

Titre du document considéré comme nuisible (merci à @Bakuriu et @ Kaj_Sotala, dont les commentaires m'ont amené à développer ce point)

Edsger Dijkstra a soumis aux communications de l'ACM une déclaration relative à l' affaire Goto (également EWD 215) et le titre final a été modifié par l'éditeur Niklaus Wirth au titre célèbre mentionné ci-dessous. Ce titre a engendré une série de réponses. De tels titres existaient déjà dans le journalisme, comme indiqué dans cet article du journal linguistique . On peut trouver dès les années 1950 des réponses récursives à "X considéré comme nuisible" avec "" X considéré nuisible ", considéré dès le début des années 1950 ( Journal des langues , A Chrestomathy Roguish ). Dans ce cas précis, nous avons eu ces titres.

  • Aller à la déclaration considérée comme nuisible , 1968
  • Programmation structurée avec go to Statements , Knuth, 1974, qui est un bel article écrit avec sérénité. Il cite la communication personnelle de Dijkstra:

    "S'il vous plaît, ne tombez pas dans le piège de croire que je suis terriblement dogmatique à propos de [la déclaration aller à]. J'ai le sentiment inconfortable que d'autres en font une religion, comme si les problèmes conceptuels de la programmation pourraient être résolus par une astuce, par une simple forme de discipline de codage! " - Edsger Dijkstra, 1973

    "Lors du congrès de l'IFIP en 1971, j'ai eu le plaisir de rencontrer le Dr Eiichi Goto, du Japon, qui s'est plaint avec enthousiasme qu'il était toujours éliminé." - Knuth

  • "Goto Considered Harmful" considéré comme nuisible , Rubin, 1987

  • "" "GOTO considéré comme nocif" considéré comme nuisible "Considéré comme nuisible?" , une collection de réponses de Moore, Musciano, Liebhaber, Lott et Starr publiées en 1987.

  • Sur une correspondance quelque peu décevante , Dijkstra, 1987, qui se termine par ceci:

    Évidemment, mes priorités ne sont pas partagées par tout le monde, car la lettre de Rubin et la plupart des cinq réactions évoquées l'ont été sous la forme de toutes sortes de «fonctionnalités de langage de programmation» qui semblent mieux ignorées qu'exploitées. Toute la correspondance a été réalisée à un niveau qui me rappelait vivement le climat intellectuel d’il ya vingt ans, comme si la stagnation était la principale caractéristique de la profession d’informatique, ce qui était décevant. - Dijkstra, 1987

Depuis, de nombreux titres "X ont été jugés nuisibles" (voir Google Scholar ).

Logique, Langages de Programmation et Sémantique

Ce sont divers articles de logique et de sémantique avec des titres mémorables. Je vais les développer au fur et à mesure que je trouve le temps.

Vijay D
la source
Puisque vous avez mentionné "Aller à la déclaration considérée comme nuisible", il faut également mentionner la réponse "" GOTO considérée comme nuisible "Considérée comme nuisible", ainsi que la collection de contre-réponses postées sous le titre "'" GOTO considéré comme nuisible "Considéré comme néfaste" Considéré Nocif?".
Kaj_Sotala
1
Puisque vous mentionnez la "déclaration considérée comme nuisible", il convient également de noter que Dijkstra n'a pas choisi ce titre. C'est son éditeur qui l'a changé de force (il suffit de lire Wikipédia ). Le titre original était: Un cas contre la déclaration Goto , ce qui est beaucoup plus doux.
Bakuriu
13

Mihai Patrascu et Liam Roditty. "Distance des oracles au-delà de la liaison Thorup-Zwick." Fondations de l'informatique (FOCS), 2010 51ème symposium annuel de l'IEEE sur. IEEE, 2010.

" Comment faire pousser vos boules " était le titre original, bien que les auteurs aient été invités à le changer . J'ai lu le journal et je pense en fait que l'ancien titre correspond vraiment à votre façon de penser à l'algorithme.

Thatchaphol
la source
11

C'est un article récent, mais son titre me vient souvent à l'esprit:

Giovanni Viglietta: Le jeu est un travail difficile, mais quelqu'un doit le faire! Théorie Comput. Syst. 54 (4): 595-621 (2014)

Viglietta présente quelques métathéorèmes qui peuvent être utilisés pour étudier la complexité informatique des jeux vidéo en utilisant des éléments communs tels que des chemins, des clés, des portes, etc., destructibles. parmi les résultats, il applique ces métathéorèmes pour prouver la dureté NP de Pac-Man .

Marzio De Biasi
la source
7

Lane A. Hemaspandra et Heribert Vollmer. " Les notations sataniques: Compter les classes au-delà de #P et d’autres aventures de définition. " Bulletin ACM SIGACT, volume 26, numéro 1, mars 1995. Pages 2 à 13.

Tayfun Pay
la source
7

Cycle Killer ... Qu'est-ce que c'est? Comparaison de l'approximabilité du nombre d'hybridation et de l'ensemble de sommets à rétroaction dirigée - SIAM J. Discrete Math., 26 (4)

(référence à Talking heads - Psycho killer (qu'est-ce que c'est))

Olf
la source
5

"La géométrie de la chair innocente sur l'os: return-in-libc sans appels de fonction (sur le x86)"

La référence est à la chanson de Bob Dylan, "Tombstone Blues". Il s’agit d’un débordement de mémoire tampon de 64 bits, mais il évoque en deux des images de programmes innocents clivants. Donc métal.

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

Ohnana
la source
4

La plupart des titres papier de Conor McBride sont très mémorables. Je peux dire que ses titres d'articles sont l'une des raisons pour lesquelles j'ai lu tant d'articles sur la théorie des types dépendants. Certains sont particulièrement mémorables:

  • "Faites, faites, faites," S. Lindley, C. McBride et C. McLaughlin, POPL 2017;
  • "Clowns à gauche de moi, jokers à droite (pearl): structures de données disséquantes", C. McBride, POPL 2008;
  • "La vue de gauche", C. McBride et J. McKinna, JFP 14 (1) (2004);
  • "Élimination avec un motif", C. McBride, TYPES 2000.

Beaucoup de "perles fonctionnelles" publiées à l'ICFP et dans JFP ont des titres intéressants, dans l'esprit même de "perles fonctionnelles", qui doivent être instructifs, concis et intéressants à lire. À cette fin, les auteurs travaillent dur pour proposer des titres intéressants. Quelques nominés récents:

  • "Ce que vous devez savoir sur Yoneda: Optique Profunctor et le lemme de Yoneda", G. Boisseau & J. Gibbons, ICFP 2018;
  • "Oh Seigneur, s'il te plaît, ne laisse pas les contrats mal interprétés", C. Dimoulas, M. New, R. Findler et M. Felleisen, ICFP 2016;
  • "Deux personnes peuvent garder un secret, si l'une d'entre elles utilise Haskell", A. Russo, ICFP 2015.
XRQ
la source
1

"LES MOTS MAGIQUES SONT UN OSSIFRAGE SQUEAMISH" link

129

Des notes
la source