Titres de papier CS les plus mémorables

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." .

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

• Polymorphisme paramétrique par scellage à l'exécution, ou théorèmes à bas prix! par Jacob Matthews et Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Modules F-ing par Andreas Rossberg, Claudio Russo et Derek Dreyer, TLDI 2010

• Contre ne devrait pas contre ses arguments et Cheney sur le MTA , tous deux de Henry Baker, SIGPLAN Notices 1992 et 1995. Baker a beaucoup d'autres excellents titres sur papier.

• Procédure de lancement d'une jointure: maintenance d'une vue incrémentielle asynchrone par Salem, Beyer et Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Un modèle très modal d'un système de types général, majeur et moderne par Appel, Mellies, Richards et Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Clowns à gauche de moi, Jokers à droite , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Les types linéaires peuvent changer le monde! , Phil Wadler, Concepts et méthodes de programmation, 1990 (notez que le! Est important)

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.

• Le temps, les horloges et la commande d'événements dans un système distribué , Lamport, 1978, est un document classique dans les systèmes distribués. Le titre évoque des images des diagrammes de l'article, qui font penser à des diagrammes de relativité restreinte.

• «Parfois» est parfois «pas jamais» , Lamport, 1980. En lisant cela, je travaille immédiatement sur les théorèmes de la logique temporelle auxquels on fait allusion.

• Le problème des généraux byzantins , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Remarquable parce que seul Dijkstra a écrit les EWD.
• Comment distinguer un programme d'une automobile , 1996
• Le Parlement à temps partiel , Lamport, 1998. Mieux connu sous le nom de Paxos. Voir sa page pour l'histoire de cet article et l'algorithme qu'il contient.

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.

• Les 700 prochains langages de programmation , Landin, 1966
• Scott n'est pas toujours sobre , Johnstone, 1981
• Impartialité, justice et équité: l'éthique de la résiliation simultanée , Lehmann, Pnueli, Stavi, 1981
• Pourquoi les gens pensent que les ordinateurs ne peuvent pas , Minsky, 1990
• Les avantages de la ponctualité relaxante , Alur, Feder, Henzinger, 1991
• Programmation fonctionnelle avec bananes, lentilles, enveloppes et fil barbelé , Meijer, Fokkinga, Paterson, 1991
• Une fois pour toutes , Kupferman et Pnueli, 1995
• Il était une fois un type , Turner, Wadler, Mossin, 1995
• Synthèse avec information incomplète , Kupferman et Vardi, 1997 (notice 'n' manquante)
• Les joies de la bisimulation , Stirling, 1998
• Vérification de modèle symbolique préhistorique à post-moderne , Henzinger, Kupferman, Qadeer, 1998
• Il était une fois un type polymorphe , Wansborough et Peyton Jones, 1999
• Abstraction paresseuse , Henzinger, Jhala, Majumdar, Sutre, 2002
• Esquisses d'un éléphant: Compendium de la théorie des topos, vol. 1 , Johnstone, 2002
• Nettoyage par aspiration des formules CTL , Purandare et Somenzi, 2002
• Tous ensemble , Kupferman et Boker, 2011
• Tout pour le prix du peu , Abdulla, Haziza, Holik, 2013

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.

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 .

Un titre à la fois mémorable et descriptif est Succincter de Mihai Patrascu .

Sécuriser le contenu pour les navigateurs Web ou empêcher les articles de se réviser

Barth, A.; UC Berkeley, Berkeley, Californie, États-Unis; Caballero, J.; Song, D. 2009 30e Symposium IEEE sur la sécurité et la confidentialité. DOI 10.1109 / SP.2009.3

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.

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))

Recherche, recherche: recherche et recherche par Aske Platt. J'ai parcouru cet article lorsque j'étais en train d'apprendre sur les algorithmes de recherche d'intelligence artificielle et le titre m'a toujours collé.

"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

J'aime toujours le classique " Mick Gets Some (les chances sont de son côté) "

Et ceci: " ne pas lire ceci "

N'arrêtez pas le BIBOP: gestion de stockage flexible et efficace pour les langages à typage dynamique , par R. Kent Dybvig, David Eby et Carl Bruggeman

Je ne suis pas un nombre, je suis une variable libre , de Conor McBride et James McKinna

La sémantique de l'algèbre initiale est suffisante! , par Neil Ghani et Patricia Johann

C'est bien d'être maigre, si vos amis sont gros .

• Songrit Maneewongvatana, David M. Mount
  Lieu: 4ème atelier annuel sur la géométrie computationnelle.

Comment empêcher un homme mort de tirer.

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.

À travers le labyrinthe, l'
évolution trouve son chemin:
une arête de silicium

• Inman Harvey & Adrian Thompson, Actes de la première conférence internationale sur les systèmes évolutifs, 1996.

Dans le monde des mathématiques, j'ai toujours pensé que les ensembles fuzzy en forme d'étoile étaient plutôt adorables.

J. van der Hoeven. Détendez-vous, mais ne soyez pas trop paresseux . J. Symb. Comput., 34: 479-542, 2002.

"LES MOTS MAGIQUES SONT UN OSSIFRAGE SQUEAMISH" link

$129$