Títulos de papel CS mais memoráveis

Após uma pergunta proveitosa no MO , pensei que valeria a pena discutir alguns nomes de papel notáveis ​​no CS.

É bastante claro que a maioria de nós pode se sentir atraída por ler (ou pelo menos dar uma olhada) em um artigo com um título interessante (pelo menos, sempre que leio uma lista de artigos em uma conferência), ou evitar ler mal. artigos nomeados.

De quais artigos você se lembra por causa de seus títulos (e, não necessariamente, do conteúdo)?

Meu favorito, embora não seja um documento adequado do TCS, é "O modelo relacional está morto, o SQL está morto e eu também não me sinto tão bem". .

Eu fiz uma pesquisa no Twitter sobre isso há algum tempo, resultados aqui . Alguns dos meus favoritos:

• Polimorfismo paramétrico através de selagem em tempo de execução ou teoremas para preços baixos e baixos! por Jacob Matthews e Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Módulos F-ing de Andreas Rossberg, Claudio Russo e Derek Dreyer, TLDI 2010

• Os contras não devem contrariar seus argumentos e Cheney no MTA , ambos de Henry Baker, SIGPLAN Notices 1992 e 1995. Baker também possui muitos outros títulos excelentes em papel.

• Como rolar uma junção: Manutenção de vista incremental assíncrona por Salem, Beyer e Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Um modelo muito modal de um sistema moderno, principal e de tipo geral de Appel, Mellies, Richards e Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Palhaços à esquerda de mim, Jokers à direita , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Tipos lineares podem mudar o mundo! , Phil Wadler, Conceitos e Métodos de Programação 1990 (observe que o! É significativo)

Eu gostava de títulos peculiares quando comecei na ciência da computação, mas fiquei entediado eventualmente. Alguns autores conseguem escrever títulos que são inteligentes, memoráveis ​​e relevantes, mas a maioria das tentativas de títulos engraçados resulta em frases desnecessariamente longas, desinformativas e desajeitadas que acho difícil de lembrar e procurar.

Existem documentos como The Temporal Logic of Programs, de Pnueli, de 1977, que são absolutamente diretos, mas fáceis de lembrar. Acho que você não quis dizer memorável nesse sentido.

Leslie Lamport tem vários artigos com títulos memoráveis ​​que não me parecem engraçados. Os títulos do tipo que você deseja são numerosos e não acho viável ter uma lista remotamente abrangente, mesmo de artigos que li e lembrei ou mesmo daqueles que são considerados significativos. No entanto, deixe-me lembrar alguns, agrupando-os quando apropriado.

Os Escritos de Leslie Lamport

Lamport descreve a história por trás de vários artigos aqui . Ele tem muitos títulos memoráveis, embora nem todos os títulos (ou jornais) tenham sido bem recebidos.

• Tempo, relógios e ordenação de eventos em um sistema distribuído , Lamport, 1978, um artigo clássico em sistemas distribuídos. O título evoca imagens dos diagramas no artigo, que lembram diagramas especiais de relatividade.

• "Às vezes" é às vezes "não nunca" , Lamport, 1980. Lendo isso, imediatamente elaborei os teoremas da lógica temporal que estão sendo sugeridos.

• O Problema dos Generais Bizantinos , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Notável porque apenas Dijkstra escreveu EWDs.
• Como distinguir um programa de um automóvel , 1996
• O Parlamento a tempo parcial , Lamport, 1998. Mais conhecido como Paxos. Veja a página dele para a história deste artigo e o algoritmo que ele contém.

Título do artigo considerado prejudicial (obrigado a @Bakuriu e @ Kaj_Sotala, cujos comentários me levaram a expandir esse ponto)

Edsger Dijkstra enviou A Case Against the Goto (também EWD 215) às Comunicações da ACM e o título final foi modificado pelo editor Niklaus Wirth para o famoso título abaixo. Este título gerou uma série de respostas. Esses títulos já existiam no jornalismo, como apontado neste artigo de log do idioma . Em particular, respostas recursivas a "X considerado prejudicial" com "X considerado prejudicial", considerado prejudicial "podem ser encontradas desde a década de 1950 ( Log de idiomas , A Roguish Chrestomathy ). Nesse caso específico, obtivemos esses títulos.

• Ver declaração considerada prejudicial , 1968

• Programação Estruturada com ir para Statements , Knuth, 1974, que é um artigo bonito, calmo e escrito. Ele cita a comunicação pessoal de Dijkstra:

  "Por favor, não caia na armadilha de acreditar que sou terrivelmente dogmático sobre [a declaração ir]. Tenho a sensação desconfortável de que outras pessoas estão criando uma religião a partir dela, como se os problemas conceituais da programação pudessem ser resolvidos com a um único truque, por uma forma simples de disciplina de codificação! " - Edsger Dijkstra, 1973

  "No Congresso da IFIP, em 1971, tive o prazer de conhecer o Dr. Eiichi Goto, do Japão, que reclamou alegremente que estava sempre sendo eliminado". - Knuth

• "Goto Considerado Prejudicial" considerado prejudicial , Rubin, 1987

• "" "GOTO Considerado Prejudicial" Considerado Prejudicial "Considerado Prejudicial?" , uma coleção de respostas de Moore, Musciano, Liebhaber, Lott e Starr publicada em 1987.

• Em uma correspondência um tanto decepcionante , Dijkstra, 1987, que termina com isso:

  Evidentemente, minhas prioridades não são compartilhadas por todos, pois a carta de Rubin e a maioria das cinco reações que evocou foram conduzidas em termos de todos os tipos de "recursos da linguagem de programação" que parecem mais ignorados do que explorados. Toda a correspondência foi realizada em um nível que me lembrou vividamente o clima intelectual de vinte anos atrás, como se a estagnação fosse a principal característica da profissão de computação, e isso foi uma decepção. - Dijkstra, 1987

Existem inúmeros títulos "X considerados prejudiciais" desde então (consulte o Google Scholar ).

Lógica, Linguagens de Programação e Semântica

São vários trabalhos sobre lógica e semântica, com títulos memoráveis. Vou expandi-los à medida que encontrar tempo.

• As próximas 700 linguagens de programação , Landin, 1966
• Scott nem sempre é sóbrio , Johnstone, 1981
• Imparcialidade, justiça e justiça: a ética do término simultâneo , Lehmann, Pnueli, Stavi, 1981
• Por que as pessoas pensam que os computadores não podem , Minsky, 1990
• Os benefícios de relaxar a pontualidade , Alur, Feder, Henzinger, 1991
• Programação Funcional com Bananas, Lentes, Envelopes e Arame Farpado , Meijer, Fokkinga, Paterson, 1991
• Uma vez por todas , Kupferman e Pnueli, 1995
• Era uma vez um tipo , Turner, Wadler, Mossin, 1995
• Síntese com Informação incompleta , Kupferman e Vardi, 1997 (falta de notificação 'n')
• As alegrias da bisimulação , Stirling, 1998
• Da verificação do modelo simbólico pré-histórico ao pós-moderno , Henzinger, Kupferman, Qadeer, 1998
• Era uma vez um tipo polimórfico , Wansborough e Peyton Jones, 1999
• Abstração preguiçosa , Henzinger, Jhala, Majumdar, Sutre, 2002
• Esboços de um elefante: um compêndio de teoria de Topos vol. 1 , Johnstone, 2002
• Fórmulas CTL para limpeza a vácuo , Purandare e Somenzi, 2002
• Co-Buching All , Kupferman e Boker, 2011
• Tudo pelo preço de poucos , Abdulla, Haziza, Holik, 2013

Mihai Patrascu e Liam Roditty. "Distância de oráculos além do limite de Thorup-Zwick." Foundations of Computer Science (FOCS), 2010 51º Simpósio Anual do IEEE em. IEEE, 2010.

" Como fazer crescer suas bolas " era o título original, embora os autores tenham sido solicitados a alterá- lo. Li o artigo e realmente acho que o título antigo realmente se encaixa na maneira como você pensa sobre o algoritmo.

É um artigo recente, mas seu título geralmente vem à minha mente:

Giovanni Viglietta: Jogar é um trabalho difícil, mas alguém precisa fazê-lo! Teoria Comput. Syst. 54 (4): 595-621 (2014)

Viglietta apresenta alguns metateoremas que podem ser usados ​​para estudar a complexidade computacional de jogos de vídeo usando elementos comuns como caminhos destrutíveis, chaves, portas e assim por diante; Entre os resultados, ele aplica esses metateoremas para provar a dureza NP do Pac-Man .

Um título memorável e descritivo é Succincter de Mihai Patrascu .

Detecção de Conteúdo Seguro para Navegadores da Web ou Como Impedir que os Documentos Se Revisem

Barth, A.; UC Berkeley, Berkeley, CA, EUA; Caballero, J.; Song, D. 2009 30º Simpósio IEEE sobre Segurança e Privacidade. DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra e Heribert Vollmer. " As Notações Satânicas: Contando Classes Além do P e Outras Aventuras Definicionais. " Boletim ACM SIGACT Volume 26 Edição 1, março de 1995. Páginas 2 - 13.

Ciclo assassino ... Qu'est-ce que c'est? Sobre a Aproximabilidade Comparativa do Número de Hibridação e Conjunto de Vértices de Feedback Direto - SIAM J. Math Discrete., 26 (4)

(referência a Talking heads - Psycho killer (qu'est-ce que c'est))

Research, Re: Search & Re-Search por Aske Platt. Encontrei este artigo quando estava aprendendo sobre algoritmos de pesquisa de IA e o título sempre ficou comigo.

"A geometria da carne inocente no osso: retorno à libc sem chamadas de função (no x86)"

A referência é à música de Bob Dylan, "Tombstone Blues". Trata-se de estouros de buffer de 64 bits, mas evoca imagens de segmentar programas inocentes em dois. Tão metal.

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

Eu ainda gosto do clássico " Mick Gets Some (as probabilidades estão do lado dele) "

E isto: " Não leia isto "

Não pare o BIBOP: gerenciamento de armazenamento flexível e eficiente para idiomas de tipo dinâmico , por R. Kent Dybvig, David Eby e Carl Bruggeman

Não sou um número - sou uma variável livre , de Conor McBride e James McKinna

A semântica inicial da álgebra é suficiente! , por Neil Ghani e Patricia Johann

Não há problema em ser magro, se seus amigos são gordos .

• Songrit Maneewongvatana, David M. Mount
  Local: 4º Workshop Anual em Geometria Computacional.

Como impedir que um homem morto atire.

A maioria dos títulos em papel de Conor McBride é muito memorável. Posso dizer que os títulos de seus artigos são uma das razões pelas quais li tantos artigos sobre a teoria dos tipos dependentes. Alguns especialmente memoráveis ​​são:

• "Faça, faça, faça", S. Lindley, C. McBride e C. McLaughlin, POPL 2017;
• "Palhaços à minha esquerda, palhaços à direita (pérola): dissecando estruturas de dados", C. McBride, POPL 2008;
• "A vista da esquerda", C. McBride & J. McKinna, JFP 14 (1) (2004);
• "Eliminação por motivo", C. McBride, TIPOS 2000.

Muitas das "pérolas funcionais" publicadas no ICFP e no JFP têm títulos interessantes, no próprio espírito das "pérolas funcionais", que devem ser instrutivas, concisas e interessantes de ler. Para esse fim, os autores trabalham arduamente para criar títulos interessantes. Alguns candidatos recentes:

• "O que você precisa saber sobre a Yoneda: Profunctor Optics e o Yoneda Lemma", G. Boisseau & J. Gibbons, ICFP 2018;
• "Oh Senhor, por favor, não deixe que os contratos sejam mal interpretados", C. Dimoulas, M. Novo, R. Findler e M. Felleisen, ICFP 2016;
• "Dois podem manter um segredo, se um deles usa Haskell", A. Russo, ICFP 2015.

Através do labirinto, a
evolução encontra um caminho:
um cume de silício

• Inman Harvey e Adrian Thompson, Anais da Primeira Conferência Internacional sobre Sistemas Evolutivos, 1996.

Do mundo da matemática, eu sempre achei que On Starshaped Fuzzy Sets é meio adorável.

J. van der Hoeven. Relaxe, mas não seja preguiçoso . J. Symb. Comput., 34: 479-542, 2002.

Link "AS PALAVRAS MÁGICAS SÃO OSSIFRAGE ESQUEAMÁTICAS"

Atkins, Graff, Lenstra e Leyland descrevem o esforço de fatorar o número de dígitos de Rivest usando computadores do início dos anos 90 com algoritmos de fatoração do início dos anos 90, enquanto colaboravam na internet do início dos anos 90.$129$