Najbardziej pamiętne tytuły papierowe CS

Po owocnym pytaniu w MO pomyślałem, że warto przedyskutować kilka znaczących nazw artykułów w CS.

Oczywiste jest, że większość z nas może być zainteresowana przeczytaniem (lub przynajmniej spojrzeniem) artykułu o interesującym tytule (przynajmniej robię to za każdym razem, gdy przeglądam listę artykułów na konferencji) lub unikam słabego czytania nazwane artykuły.

Jakie artykuły pamiętasz ze względu na ich tytuły (i niekoniecznie treść)?

Moim ulubionym, choć nie jest to właściwy artykuł TCS, jest „Model relacyjny nie żyje, SQL nie żyje, a ja sam nie czuję się tak dobrze”. .

Niedawno przeprowadziłem na ten temat ankietę na Twitterze, wyniki tutaj . Kilka moich ulubionych:

• Polimorfizm parametryczny poprzez uszczelnianie w czasie wykonywania lub twierdzenia o niskich, niskich cenach! autorzy: Jacob Matthews i Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Moduły F-ing autorstwa Andreasa Rossberga, Claudio Russo i Dereka Dreyera, TLDI 2010

• Wady nie powinny przekonywać swoich argumentów i Cheneya o MTA , zarówno Henry Baker, SIGPLAN Notices 1992 i 1995. Baker ma również wiele innych świetnych tytułów papierowych.

• Jak rzutować złączenie : Asynchroniczna obsługa przyrostowego widoku przez Salem, Beyer i Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Bardzo modalny model nowoczesnego, większego, ogólnego systemu typów firmy Appel, Mellies, Richards i Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Klauni po lewej ode mnie, Jokery po prawej , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Typy liniowe mogą zmienić świat! , Phil Wadler, Programming Concepts and Methods 1990 (zauważ, że! Jest sygnalizujący)

Kiedy zaczynałem informatykę, lubiłem dziwaczne tytuły, ale w końcu się nudziłem. Niektórym autorom udaje się pisać tytuły, które są sprytne, zapadające w pamięć i odpowiednie, ale większość prób uzyskania zabawnych tytułów prowadzi do niepotrzebnie długich, niedorzecznych i niewyraźnych zwrotów, które trudno mi zapamiętać i podnieść.

Są prace takie jak The Temporal Logic of Pnueli z 1977 r., Która jest absolutnie prosta, ale łatwo mi ją zapamiętać. Zgaduję, że nie miałeś na myśli niezapomnianego pod tym względem.

Leslie Lamport ma kilka artykułów z niezapomnianymi tytułami, które nie wydają mi się śmieszne. Tytuły, których szukasz, są liczne i nie wydaje mi się możliwe, aby mieć zdalnie obszerną listę, nawet tych, które przeczytałem i zapamiętałem, a nawet tych, które są uważane za znaczące. Niemniej jednak przypomnę kilka, grupując je w razie potrzeby.

Pisma Leslie Lamport

Lamport opisuje kulisy różnych gazetach tutaj . Ma wiele niezapomnianych tytułów, choć nie wszystkie (lub artykuły) zostały dobrze przyjęte.

• Czas, zegary i kolejność zdarzeń w systemie rozproszonym , Lamport, 1978, klasyczny artykuł w systemach rozproszonych. Tytuł przywołuje obrazy diagramów w artykule, które same przypominają specjalne diagramy względności.

• „Czasami” to czasami „Nie nigdy” , Lamport, 1980. Czytając to, od razu opracowuję wskazane twierdzenia o logice czasowej.

• The Byzantine Generals Problem , Lamport, Pease, Shostak, 1982

• „EWD 1013” , 1988. Godne uwagi, ponieważ tylko Dijkstra napisała EWD.
• How to Tell a Program from a Automobile , 1996
• The Part-Time Parliament , Lamport, 1998. Lepiej znany jako Paxos. Zobacz jego stronę, aby zapoznać się z historią tego artykułu i zawartym w nim algorytmem.

Tytuł referatu uznany za szkodliwy (dzięki @Bakuriu i @ Kaj_Sotala, których komentarze skłoniły mnie do rozwinięcia tego punktu)

Edsger Dijkstra przekazał komunikat „Case Against the Goto” (także EWD 215) do Communications of ACM, a ostateczny tytuł został zmodyfikowany przez redaktora Niklausa Wirtha do słynnego tytułu podanego poniżej. Ten tytuł zrodził serię odpowiedzi. Takie tytuły istniały już w dziennikarstwie, jak wskazano w tym artykule w Dzienniku językowym . W szczególności rekurencyjne odpowiedzi na „X uważane za szkodliwe” z „X uważane za szkodliwe”, uważane za szkodliwe ”można znaleźć już w latach 50. XX wieku ( Dziennik języka , Roguish Chrestomathy ). W tym konkretnym przypadku mamy te tytuły.

• Idź do oświadczenia uznanego za szkodliwe , 1968

• Programowanie strukturalne za pomocą go to Statement , Knuth, 1974, który jest spokojnie napisanym, pięknym artykułem. Cytuje osobistą komunikację Dijkstry:

  „Proszę nie wpaść w pułapkę przekonania, że ​​jestem strasznie dogmatyczny w kwestii [przejdź do wypowiedzi]. Mam niewygodne wrażenie, że inni tworzą z tego religię, jakby koncepcyjne problemy programowania można rozwiązać przez jedna sztuczka, poprzez prostą formę kodowania dyscypliny! ” - Edsger Dijkstra, 1973

  „Na kongresie IFIP w 1971 roku miałem przyjemność spotkać się z japońskim dr Eiichi Goto, który z radością narzekał, że zawsze był eliminowany”. - Knuth

• „Goto uważane za szkodliwe” uważane za szkodliwe , Rubin, 1987

• „” „GOTO Uważany za szkodliwy” Uważany za szkodliwy „Uważany za szkodliwy?” , zbiór odpowiedzi Moore, Musciano, Liebhaber, Lott i Starr opublikowany w 1987 r.

• W nieco rozczarowującej korespondencji Dijkstra, 1987, która kończy się następująco:

  Najwyraźniej moje priorytety nie są podzielane przez wszystkich, ponieważ list Rubina i większość z pięciu wywołanych przez niego reakcji zostało przeprowadzonych w kategoriach wszelkiego rodzaju „cech języka programowania”, które wydają się lepiej ignorowane niż wykorzystywane. Całą korespondencję prowadzono na poziomie, który żywo przypomniał mi klimat intelektualny sprzed dwudziestu lat, jak gdyby stagnacja była główną cechą zawodu informatyki, i to było rozczarowanie. - Dijkstra, 1987

Od tego czasu pojawiło się wiele tytułów „X uważanych za szkodliwe” (patrz Google Scholar ).

Logika, języki programowania i semantyka

Są to różne artykuły z logiki i semantyki z niezapomnianymi tytułami. Rozwinę je, jak tylko znajdę czas.

• Kolejnych 700 języków programowania , Landin, 1966
• Scott nie zawsze jest trzeźwy , Johnstone, 1981
• Bezstronność, sprawiedliwość i uczciwość: etyka równoczesnego rozwiązania umowy , Lehmann, Pnueli, Stavi, 1981
• Dlaczego ludzie myślą, że komputery nie potrafią , Minsky, 1990
• Korzyści płynące z relaksującej punktualności , Alur, Feder, Henzinger, 1991
• Programowanie funkcjonalne z bananami , soczewkami, kopertami i drutem kolczastym , Meijer, Fokkinga, Paterson, 1991
• Raz na zawsze , Kupferman i Pnueli, 1995
• Pewnego razu , Turner, Wadler, Mossin, 1995
• Synthesis with Incomplete Informatio , Kupferman i Vardi, 1997 (brak powiadomienia „n”)
• The Joys of Bisimulation , Stirling, 1998
• Od prehistorycznego do postmodernistycznego symbolicznego sprawdzania modelu , Henzinger, Kupferman, Qadeer, 1998
• Once Upon a Polymorphic Type , Wansborough and Peyton Jones, 1999
• Lazy Abstraction , Henzinger, Jhala, Majumdar, Sutre, 2002
• Szkice słonia: kompendium teorii toposu vol. 1 , Johnstone, 2002
• Odkurzanie formuł CTL , Purandare i Somenzi, 2002
• Co-Buching Them All , Kupferman and Boker, 2011
• Wszystko za cenę niewielu , Abdulla, Haziza, Holik, 2013

Mihai Patrascu i Liam Roditty. „Wyrocznie na odległość poza granicami Thorup-Zwick”. Podstawy informatyki (FOCS), 51. doroczne sympozjum IEEE 2010. IEEE, 2010.

„ How to Grow Your Balls ” było oryginalnym tytułem, choć autorzy zostali poproszeni o jego zmianę . Czytam gazetę i myślę, że stary tytuł naprawdę pasuje do tego, jak myślisz o algorytmie.

Jest to najnowszy artykuł, ale jego tytuł często przychodzi mi na myśl:

Giovanni Viglietta: Granie to ciężka praca, ale ktoś musi to zrobić! Teoria Oblicz. Syst. 54 (4): 595–621 (2014)

Viglietta przedstawia kilka metateoretów, które można wykorzystać do badania złożoności obliczeniowej gier wideo przy użyciu wspólnych elementów, takich jak zniszczalne ścieżki, klucze, drzwi i tak dalej; wśród wyników stosuje te metateoretyczne dowody na twardość NP Pac-Mana .

Tytuł, który jest zarówno niezapomniany i opisowe jest Mihai PATRASCU za Succincter .

Bezpieczne wąchanie zawartości w przeglądarkach internetowych lub zapobieganie recenzowaniu dokumentów

Barth, A.; UC Berkeley, Berkeley, Kalifornia, USA; J. Caballero; Song, D. 2009 30. sympozjum IEEE na temat bezpieczeństwa i prywatności. DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra i Heribert Vollmer. „ Notacje satanistyczne: liczenie klas poza #P i inne definicyjne przygody. ” Biuletyn ACM SIGACT Tom 26 Numer 1, marzec 1995 r. Strony 2–13.

Cycle Killer ... Qu'est-ce que c'est? O porównawczej przybliżalności liczby hybrydyzacji i zestawu wierzchołków z ukierunkowanym sprzężeniem zwrotnym - SIAM J. Discrete Math., 26 (4)

(odniesienie do Talking heads - Psycho killer (qu'est-ce que c'est))

Research, Re: Search & Re-Search by Aske Platt. Natknąłem się na ten artykuł, gdy uczyłem się o algorytmach wyszukiwania AI, a tytuł zawsze mi odpowiadał.

„Geometria niewinnego ciała na kości: powrót do libc bez wywołań funkcji (na x86)”

Nawiązuje do piosenki Boba Dylana „Tombstone Blues”. Jest to około 64-bitowe przepełnienie bufora, ale wywołuje obrazy rozdzielania niewinnych programów na dwie części. Więc metal.

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

Nadal podoba mi się klasyczny „ Mick dostaje trochę (szanse są po jego stronie) ”

I to: „ Nie czytaj tego ”

Nie zatrzymuj BIBOP: elastyczne i wydajne zarządzanie pamięcią masową dla języków dynamicznie typowanych , autor: R. Kent Dybvig, David Eby i Carl Bruggeman

Nie jestem liczbą - jestem zmienną swobodną , Conor McBride i James McKinna

Wstępna semantyka algebry jest wystarczająca! , przez Neila Ghaniego i Patricię Johann

Dobrze być szczupłym, jeśli twoi przyjaciele są grubi .

• Songrit Maneewongvatana, David M. Mount
  Venue: 4. doroczne warsztaty nt. Geometrii obliczeniowej.

Jak powstrzymać zmarłego przed strzelaniem.

Większość tytułów papierowych Conora McBride'a jest bardzo niezapomniana. Mogę powiedzieć, że jego tytuły są jednym z powodów, dla których przeczytałem tak wiele artykułów na temat teorii typów zależnych. Niektóre szczególnie niezapomniane to:

• „Be be be be be be”, S. Lindley, C. McBride i C. McLaughlin, POPL 2017;
• „Klauni po lewej stronie, żarty po prawej (perła): analizowanie struktur danych”, C. McBride, POPL 2008;
• „Widok z lewej strony”, C. McBride i J. McKinna, JFP 14 (1) (2004);
• „Eliminacja za pomocą motywu”, C. McBride, TYPES 2000.

Wiele „funkcjonalnych pereł” opublikowanych w ICFP i JFP ma ciekawe tytuły, w duchu „funkcjonalnych pereł”, które mają być pouczające, zwięzłe i interesujące do przeczytania. W tym celu autorzy ciężko pracują, aby wymyślić ciekawe tytuły. Niektórzy ostatnio nominowani:

• „Co musisz wiedzieć o Yoneda: Profunctor Optics and Yoneda Lemma”, G. Boisseau i J. Gibbons, ICFP 2018;
• „Och, Panie, nie pozwól, aby kontrakty zostały źle zrozumiane”, C. Dimoulas, M. New, R. Findler i M. Felleisen, ICFP 2016;
• „Dwie potrafią zachować tajemnicę, jeśli jeden z nich używa Haskella”, A. Russo, ICFP 2015.

W Labiryntowej
Ewolucji znajduje się droga:
Grzbiet Krzemu

• Inman Harvey i Adrian Thompson, Proceedings of the First International Conference on Evolvable Systems, 1996.

Ze świata matematyki zawsze myślałem, że zestawy rozmyte w kształcie gwiazdy są urocze.

J. van der Hoeven. Zrelaksuj się, ale nie bądź zbyt leniwy . J. Symb. Comput., 34: 479–542, 2002.

Link „MAGICZNE SŁOWA SQUEAMISH OSSIFRAGE” link

$129$