Die denkwürdigsten CS-Papiertitel

Nach einer fruchtbaren Frage in MO dachte ich, dass es sich lohnen würde, einige bemerkenswerte Papiernamen in CS zu diskutieren.

Es ist ziemlich klar, dass die meisten von uns vielleicht dazu angezogen werden, einen Artikel mit einem interessanten Titel zu lesen (oder zumindest einen Blick darauf zu werfen) (zumindest tue ich dies jedes Mal, wenn ich eine Liste von Artikeln in einer Konferenz durchgreife) oder es zu vermeiden, schlecht zu lesen benannte Artikel.

An welche Papiere erinnern Sie sich wegen ihrer Titel (und nicht unbedingt wegen des Inhalts)?

Mein Favorit, obwohl kein richtiges TCS-Papier, ist "Das relationale Modell ist tot, SQL ist tot und ich fühle mich selbst nicht so gut." .

Ich habe vor einiger Zeit auf Twitter eine Umfrage darüber durchgeführt, die Ergebnisse hier . Einige meiner Favoriten:

• Parametrischer Polymorphismus durch Laufzeitversiegelung oder Sätze für niedrige, niedrige Preise! von Jacob Matthews und Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• F-ing Module von Andreas Rossberg, Claudio Russo und Derek Dreyer, TLDI 2010

• Nachteile sollten nicht cons seine Argumente und Cheney auf dem MTA , beide von Henry Baker, Hinweise SIGPLAN 1992 und 1995. Baker viele andere große Papier Titel hat, auch.

• So rollen Sie einen Join: Asynchrone inkrementelle Ansichtspflege von Salem, Beyer und Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Ein sehr modales Modell eines modernen, allgemeinen Hauptsystems von Appel, Mellies, Richards und Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Clowns links von mir, Joker rechts von mir, Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Lineare Typen können die Welt verändern! , Phil Wadler, Programming Concepts and Methods 1990 (beachten Sie, dass das! Von Bedeutung ist)

Früher mochte ich skurrile Titel, als ich in der Informatik anfing, aber irgendwann langweilte ich mich. Einige Autoren schaffen es, Titel zu schreiben, die clever, einprägsam und relevant sind, aber die meisten Versuche, lustige Titel zu schreiben, führen zu unnötig langen, uninformativen und klobigen Phrasen, an die ich mich nur schwer erinnern und nachschlagen kann.

Es gibt Artikel wie Pnuelis The Temporal Logic of Programs aus dem Jahr 1977, die absolut unkompliziert sind, an die ich mich aber leicht erinnern kann. Ich nehme an, Sie meinten nicht, in diesem Sinne denkwürdig zu sein.

Leslie Lamport hat mehrere Artikel mit denkwürdigen Titeln, die mir nicht so komisch vorkommen. Es gibt zahlreiche Titel der von Ihnen gewünschten Art, und ich halte es nicht für möglich, eine aus der Ferne umfassende Liste zu haben, auch nicht von Artikeln, die ich gelesen und in Erinnerung behalten habe, oder von Artikeln, die als bedeutend eingestuft werden. Lassen Sie mich dennoch ein paar davon in Gruppen zusammenfassen.

Die Schriften von Leslie Lamport

Lamport beschreibt die Geschichte hinter verschiedenen Papieren hier . Er hat viele denkwürdige Titel, obwohl nicht alle Titel (oder die Zeitungen) gut aufgenommen wurden.

• Zeit, Uhren und die Reihenfolge von Ereignissen in einem verteilten System , Lamport, 1978, ein klassischer Artikel in verteilten Systemen. Der Titel ruft Bilder der Diagramme in der Arbeit hervor, die an spezielle Relativitätsdiagramme erinnern.

• "Irgendwann" ist manchmal "nicht nie" , Lamport, 1980. Wenn ich das lese, arbeite ich sofort die zeitlichen Logiksätze aus, auf die hingewiesen wird.

• Das byzantinische Generalproblem , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Bemerkenswert, weil nur Dijkstra EWDs geschrieben hat.
• Wie man ein Programm von einem Automobil erzählt , 1996
• The Part-Time Parliament , Lamport, 1998. Besser bekannt als Paxos. Auf seiner Seite finden Sie die Geschichte dieses Papiers und den darin enthaltenen Algorithmus.

Papiertitel als schädlich eingestuft (danke an @Bakuriu und @ Kaj_Sotala, deren Kommentare mich dazu gebracht haben, diesen Punkt zu erweitern)

Edsger Dijkstra reichte einen Fall gegen die Goto-Erklärung (auch EWD 215) bei der ACM ein, und der endgültige Titel wurde vom Herausgeber Niklaus Wirth in den unten angegebenen Titel geändert. Dieser Titel brachte eine Reihe von Antworten hervor. Derartige Titel gab es bereits im Journalismus, wie in diesem Artikel zum Sprachenprotokoll ausgeführt . Insbesondere können rekursive Antworten auf "X als schädlich" mit "X als schädlich" als schädlich "bereits in den 1950er Jahren gefunden werden ( Sprachprotokoll , A Roguish Chrestomathy ). In diesem speziellen Fall haben wir diese Titel erhalten.

• Gehen Sie zu Aussage als schädlich , 1968

• Strukturierte Programmierung mit go to Statements , Knuth, 1974, ein ruhig geschriebener, schöner Artikel. Er zitiert Dijkstras persönliche Mitteilung:

  "Fallen Sie bitte nicht in die Falle, zu glauben, dass ich in Bezug auf [die Go-to-Aussage] furchtbar dogmatisch bin. Ich habe das unangenehme Gefühl, dass andere eine Religion daraus machen, als könnten die konzeptuellen Probleme der Programmierung durch gelöst werden ein einziger Trick, durch eine einfache Form der Kodierungsdisziplin! " - Edsger Dijkstra, 1973

  "Auf dem IFIP-Kongress 1971 hatte ich das Vergnügen, Dr. Eiichi Goto aus Japan zu treffen, der sich freudig darüber beklagte, dass er immer beseitigt werde." - Knuth

• "Goto als schädlich eingestuft" als schädlich eingestuft , Rubin, 1987

• "" GOTO als schädlich eingestuft "als schädlich eingestuft" als schädlich eingestuft? " , eine Sammlung von Antworten von Moore, Musciano, Liebhaber, Lott und Starr, veröffentlicht 1987.

• In einer etwas enttäuschenden Korrespondenz , Dijkstra, 1987, die damit endet:

  Offensichtlich werden meine Prioritäten nicht von allen geteilt, denn Rubins Brief und die meisten der fünf Reaktionen, die er hervorrief, wurden stattdessen in Bezug auf alle Arten von „Programmiersprachenfunktionen“ ausgeführt, die eher ignoriert als ausgenutzt zu werden scheinen. Die gesamte Korrespondenz wurde auf einer Ebene durchgeführt, die mich lebhaft an das intellektuelle Klima von vor zwanzig Jahren erinnerte, als ob Stagnation das Hauptmerkmal des Computerberufs wäre, und das war eine Enttäuschung. - Dijkstra, 1987

Seitdem wurden zahlreiche "X als schädlich eingestufte" Titel veröffentlicht (siehe Google Scholar ).

Logik, Programmiersprachen und Semantik

Dies sind verschiedene Artikel in Logik und Semantik mit einprägsamen Titeln. Ich werde auf sie eingehen, sobald ich Zeit finde.

• Die nächsten 700 Programmiersprachen , Landin, 1966
• Scott ist nicht immer nüchtern , Johnstone, 1981
• Unparteilichkeit, Gerechtigkeit und Fairness: Die Ethik der gleichzeitigen Kündigung , Lehmann, Pnueli, Stavi, 1981
• Warum Leute denken, dass Computer nicht können , Minsky, 1990
• Die Vorteile einer entspannten Pünktlichkeit , Alur, Feder, Henzinger, 1991
• Funktionale Programmierung mit Bananen, Linsen, Umschlägen und Stacheldraht , Meijer, Fokkinga, Paterson, 1991
• Ein für alle Mal , Kupferman und Pnueli, 1995
• Es war einmal ein Typ , Turner, Wadler, Mossin, 1995
• Synthese mit Incomplete Informatio , Kupferman und Vardi, 1997 (fehlende Notiz 'n')
• Die Freuden der Bisimulation , Stirling, 1998
• Von der prähistorischen bis zur postmodernen symbolischen Modellprüfung , Henzinger, Kupferman, Qadeer, 1998
• Es war einmal ein polymorpher Typ , Wansborough und Peyton Jones, 1999
• Faule Abstraktion , Henzinger, Jhala, Majumdar, Sutre, 2002
• Skizzen eines Elefanten: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
• Staubsaugen CTL Formulas , Purandare und Somenzi, 2002
• Co-Buching sie alle , Kupferman und Böker, 2011
• Alles zum Preis von wenigen , Abdulla, Haziza, Holik, 2013

Mihai Patrascu und Liam Roditty. "Distanz-Orakel jenseits der Thorup-Zwick-Grenze." Grundlagen der Informatik (FOCS), 2010 51. jährliches IEEE-Symposium zum Thema. IEEE, 2010.

" How to Grow Your Balls " war der ursprüngliche Titel, obwohl die Autoren gebeten wurden, ihn zu ändern . Ich habe die Zeitung gelesen und bin der Meinung, dass der alte Titel wirklich zu Ihrer Meinung über den Algorithmus passt.

Es ist eine neuere Veröffentlichung, aber mir fällt oft der Titel ein:

Giovanni Viglietta: Spielen ist ein harter Job, aber jemand muss es tun! Theory Comput. Syst. 54 (4): 595-621 (2014)

Viglietta stellt einige Metatheoreme vor, mit denen die Komplexität von Videospielen mithilfe allgemeiner Elemente wie zerstörbarer Pfade, Schlüssel, Türen usw. untersucht werden kann. Unter den Ergebnissen wendet er diese Metatheoreme an, um die NP-Härte von Pac-Man zu beweisen .

Ein Titel, der sowohl einprägsam als auch beschreibend ist, ist Mihai Patrascus Succincter .

Sicheres Schnüffeln von Inhalten für Webbrowser oder Verhindern, dass sich Papiere selbst überprüfen

Barth, A.; UC Berkeley, Berkeley, CA, USA; Caballero, J.; Song, D. 2009 30. IEEE-Symposium für Sicherheit und Datenschutz. DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra und Heribert Vollmer. " The Satanic Notations: Zählen von Klassen jenseits von #P und anderen definierten Abenteuern. " Newsletter ACM SIGACT, Band 26, Ausgabe 1, März 1995. Seiten 2 - 13.

Cycle Killer ... Was ist das? Zur vergleichenden Approximierbarkeit der Hybridisierungszahl und des Vertexsatzes für gerichtete Rückkopplung - SIAM J. Discrete Math., 26 (4)

(Verweis auf sprechende Köpfe - Psycho-Killer (qu'est-ce que c'est))

Research, Re: Search & Re-Search von Aske Platt. Ich bin auf diese Arbeit gestoßen, als ich etwas über AI-Suchalgorithmen gelernt habe, und der Titel hat mir immer gut gefallen.

"Die Geometrie von unschuldigem Fleisch auf dem Knochen: Return-in-Libc ohne Funktionsaufrufe (auf dem x86)"

Der Verweis bezieht sich auf Bob Dylans Lied "Tombstone Blues". Es geht um 64-Bit-Pufferüberläufe, aber es ruft Bilder hervor, in denen unschuldige Programme in zwei Teile geteilt werden. Also Metall.

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

Ich mag immer noch den Klassiker " Mick Gets Some (die Chancen stehen auf seiner Seite) "

Und das: " Lies das nicht "

Stoppen Sie nicht den BIBOP: Flexibles und effizientes Speichermanagement für dynamisch typisierte Sprachen von R. Kent Dybvig, David Eby und Carl Bruggeman

Ich bin keine Zahl - ich bin eine freie Variable von Conor McBride und James McKinna

Die anfängliche Algebra-Semantik ist genug! , von Neil Ghani und Patricia Johann

Es ist okay, dünn zu sein, wenn deine Freunde fett sind .

• Songrit Maneewongvatana, David M. Mount
  Veranstaltungsort: 4. jährlicher Workshop zu Computational Geometry.

Wie man einen Toten vom Schießen abhält.

Die meisten Papiertitel von Conor McBride sind sehr einprägsam. Ich kann sagen, dass seine Aufsatztitel ein Grund sind, warum ich so viele Aufsätze über Theorie abhängiger Typen gelesen habe. Einige besonders denkwürdige sind:

• "Do be do be do", S. Lindley, C. McBride und C. McLaughlin, POPL 2017;
• "Clowns links von mir, Joker rechts (Perle): Zerlegen von Datenstrukturen", C. McBride, POPL 2008;
• "Die Ansicht von links", C. McBride & J. McKinna, JFP 14 (1) (2004);
• "Eliminierung mit einem Motiv", C. McBride, TYPES 2000.

Viele der im ICFP und im JFP veröffentlichten "funktionalen Perlen" haben interessante Titel, ganz im Sinne von "funktionalen Perlen", die lehrreich, prägnant und interessant zu lesen sind. Zu diesem Zweck arbeiten die Autoren intensiv an interessanten Titeln. Einige neue Nominierte:

• "Was Sie über Yoneda wissen müssen: Profunctor Optics und das Yoneda-Lemma", G. Boisseau & J. Gibbons, ICFP 2018;
• "Oh Herr, bitte lass Verträge nicht missverstanden werden", C. Dimoulas, M. New, R. Findler & M. Felleisen, ICFP 2016;
• "Zwei können ein Geheimnis für sich behalten, wenn einer von ihnen Haskell benutzt", A. Russo, ICFP 2015.

Durch das Labyrinth
findet die Evolution einen Weg:
Ein Silicon Ridge

• Inman Harvey & Adrian Thompson, Proceedings der Ersten Internationalen Konferenz über Evolvable Systems, 1996.

Aus der Mathematikwelt habe ich immer gedacht, dass On Starshaped Fuzzy Sets irgendwie bezaubernd sind .

J. van der Hoeven. Entspannen Sie sich, aber seien Sie nicht zu faul . J. Symb. Comput., 34: 479–542, 2002.

„Die magischen Worte SIND zimperlich ossifrage“ Link

$129$