Los títulos en papel CS más memorables

Después de una fructífera pregunta en MO , pensé que valdría la pena discutir algunos nombres notables en papel en CS.

Está bastante claro que la mayoría de nosotros podría sentirse atraída por leer (o al menos mirar) un artículo con un título interesante (al menos lo hago cada vez que reviso una lista de artículos en una conferencia), o evitar leer mal Artículos nombrados.

¿Qué documentos recuerdas por sus títulos (y, no necesariamente, los contenidos)?

Mi favorito, aunque no es un documento de TCS adecuado, es "El modelo relacional está muerto, SQL está muerto y yo tampoco me siento tan bien". .

Hice una encuesta en Twitter sobre esto hace un tiempo, los resultados aquí . Algunos de mis favoritos:

• ¡Polimorfismo paramétrico a través del sellado en tiempo de ejecución o teoremas a precios bajos y bajos! por Jacob Matthews y Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

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

• Los contras no deberían ser contrarios a sus argumentos y a Cheney sobre el MTA , ambos por Henry Baker, SIGPLAN Notices 1992 y 1995. Baker también tiene muchos otros excelentes títulos en papel.

• Cómo rodar una unión: Mantenimiento asíncrono de vista incremental por Salem, Beyer y Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Un modelo muy modal de un sistema de tipos moderno, mayor y general de Appel, Mellies, Richards y Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Payasos a mi izquierda, bromistas a la derecha , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• ¡Los tipos lineales pueden cambiar el mundo! , Phil Wadler, Conceptos y métodos de programación 1990 (tenga en cuenta que el! Es significativo)

Me gustaban los títulos extravagantes cuando comencé en informática, pero finalmente me aburrí. Algunos autores logran escribir títulos que son inteligentes, memorables y relevantes, pero la mayoría de los intentos de obtener títulos divertidos resultan en frases innecesariamente largas, poco informativas y poco claras que encuentro difíciles de recordar y buscar.

Hay artículos como La Temporal Logic of Programs de Pnueli de 1977, que es absolutamente sencillo pero fácil de recordar. Supongo que no quiso decir memorable en ese sentido.

Leslie Lamport tiene varios documentos con títulos memorables que no me parecen divertidos. Los títulos del tipo que desea son numerosos y no creo que sea factible tener una lista remotamente completa, incluso de documentos que he leído y recordado o incluso de aquellos que se consideran significativos. No obstante, permítanme recordar algunos, agrupándolos cuando sea apropiado.

Los escritos de Leslie Lamport

Lamport describe la historia detrás de varios documentos aquí . Tiene muchos títulos memorables, aunque no todos los títulos (o los documentos) han sido bien recibidos.

• Time, Clocks and the Ordering of Events in a Distributed System , Lamport, 1978, un artículo clásico en sistemas distribuidos. El título evoca imágenes de los diagramas en el documento, que recuerdan a los diagramas de relatividad especiales.

• 'Sometime' es a veces 'Not Never' , Lamport, 1980. Al leer esto, inmediatamente deduzco los teoremas de lógica temporal que se insinúan.

• El problema de los generales bizantinos , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Notable porque solo Dijkstra escribió EWD.
• Cómo distinguir un programa de un automóvil , 1996
• El Parlamento a tiempo parcial , Lamport, 1998. Más conocido como Paxos. Vea su página para la historia de este artículo y el algoritmo que contiene.

Título del artículo considerado perjudicial (gracias a @Bakuriu y @ Kaj_Sotala, cuyos comentarios me llevaron a ampliar este punto)

Edsger Dijkstra presentó una declaración de A Case Against the Goto (también EWD 215) a las Comunicaciones de la ACM y el editor Niklaus Wirth modificó el título final al famoso título que figura a continuación. Este título generó una serie de respuestas. Dichos títulos ya existían en el periodismo como se señala en este artículo de registro de Language . En particular, las respuestas recursivas a "X considerado dañino" con "X considerado dañino", considerado dañino "se pueden encontrar ya en la década de 1950 ( Language log , A Roguish Chrestomathy ). En este caso específico, obtuvimos estos títulos.

• Ir a la declaración considerada perjudicial , 1968

• Programación estructurada con Go to Statements , Knuth, 1974, que es un hermoso artículo escrito con calma. Cita la comunicación personal de Dijkstra:

  "Por favor, no caigas en la trampa de creer que soy terriblemente dogmático sobre [la declaración de ir a]. Tengo la incómoda sensación de que otros están haciendo una religión de eso, como si los problemas conceptuales de la programación pudieran resolverse ¡un solo truco, mediante una forma simple de disciplina de codificación! " - Edsger Dijkstra, 1973

  "En el Congreso de la IFIP en 1971 tuve el placer de conocer al Dr. Eiichi Goto de Japón, quien se quejó alegremente de que siempre lo eliminaban". - Knuth

• "Goto Considerado Dañino" considerado dañino , Rubin, 1987

• "" "GOTO Considerado Dañino" Considerado Dañino "Considerado Dañino?" , una colección de respuestas de Moore, Musciano, Liebhaber, Lott y Starr publicadas en 1987.

• En una correspondencia algo decepcionante , Dijkstra, 1987, que termina con esto:

  Evidentemente, mis prioridades no son compartidas por todos, ya que la carta de Rubin y la mayoría de las cinco reacciones que evocó se llevaron a cabo en términos de todo tipo de "características del lenguaje de programación" que parecen más ignoradas que explotadas. Toda la correspondencia se llevó a cabo a un nivel que me recordó vívidamente el clima intelectual de hace veinte años, como si el estancamiento fuera la característica principal de la profesión informática, y eso fue una decepción. - Dijkstra, 1987

Desde entonces, ha habido numerosos títulos "X considerados perjudiciales" (consulte Google Scholar ).

Lógica, Lenguajes de Programación y Semántica

Estos son varios artículos en lógica y semántica con títulos memorables. Los ampliaré a medida que encuentre tiempo.

• Los siguientes 700 lenguajes de programación , Landin, 1966
• Scott no siempre es sobrio , Johnstone, 1981
• Imparcialidad, justicia y equidad: la ética de la terminación concurrente , Lehmann, Pnueli, Stavi, 1981
• Por qué la gente piensa que las computadoras no pueden , Minsky, 1990
• Los beneficios de la puntualidad relajante , Alur, Feder, Henzinger, 1991
• Programación funcional con plátanos, lentes, sobres y alambre de púas , Meijer, Fokkinga, Paterson, 1991
• De una vez por todas , Kupferman y Pnueli, 1995
• Érase una vez un tipo , Turner, Wadler, Mossin, 1995
• Síntesis con información incompleta , Kupferman y Vardi, 1997 (aviso que falta 'n')
• Las alegrías de la bisimulación , Stirling, 1998
• De la verificación de modelos simbólicos prehistóricos a posmodernos, Henzinger, Kupferman, Qadeer, 1998
• Érase una vez un tipo polimórfico , Wansborough y Peyton Jones, 1999
• Abstracción perezosa , Henzinger, Jhala, Majumdar, Sutre, 2002
• Sketches of an Elephant: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
• Aspiración CTL Formulas , Purandare y Somenzi, 2002
• Co-Buching Them All , Kupferman y Boker, 2011
• Todo por el precio de unos pocos , Abdulla, Haziza, Holik, 2013

Mihai Patrascu y Liam Roditty. "Distancia de oráculos más allá del límite de Thorup-Zwick". Fundamentos de Ciencias de la Computación (FOCS), 51º Simposio Anual IEEE 2010 sobre. IEEE, 2010.

" Cómo hacer crecer tus bolas " era el título original, aunque se pidió a los autores que lo cambiaran . Leí el documento y realmente creo que el título anterior realmente se ajusta a cómo piensas sobre el algoritmo.

Es un artículo reciente, pero su título a menudo me viene a la mente:

Giovanni Viglietta: ¡ Jugar es un trabajo difícil, pero alguien tiene que hacerlo! Teoría de la Computación. Syst. 54 (4): 595-621 (2014)

Viglietta presenta algunos metateoremas que pueden usarse para estudiar la complejidad computacional de los videojuegos utilizando elementos comunes como caminos destruibles, llaves, puertas, etc. Entre los resultados, aplica esos metateoremas para demostrar la dureza NP de Pac-Man .

Un título que es a la vez memorable y es descriptiva de Mihai Patrascu Succincter .

Detección segura de contenido para navegadores web o cómo evitar que los documentos se revisen

Barth, A.; UC Berkeley, Berkeley, CA, Estados Unidos; Caballero, J.; Song, D. 30º Simposio IEEE 2009 sobre seguridad y privacidad. DOI 10.1109 / SP.2009.3

Carril A. Hemaspandra y Heribert Vollmer. " Las anotaciones satánicas: Contando clases más allá de #P y otras aventuras definitorias" . Boletín SIGACT ACM Volumen 26 Número 1, marzo de 1995. Páginas 2 - 13.

Cycle Killer ... Qu'est-ce que c'est? Sobre la aproximación comparativa del número de hibridación y el conjunto de vértices de retroalimentación dirigida - SIAM J. Discrete Math., 26 (4)

(referencia a Talking heads - Psycho killer (qu'est-ce que c'est))

Research, Re: Search & Re-Search por Aske Platt. Me encontré con este artículo cuando estaba aprendiendo acerca de los algoritmos de búsqueda de IA y el título siempre me quedó grabado.

"La geometría de la carne inocente en el hueso: return-into-libc sin llamadas a funciones (en el x86)"

La referencia es a la canción de Bob Dylan, "Tombstone Blues". Se trata de desbordamientos de búfer de 64 bits, pero evoca imágenes de escisión de programas inocentes en dos. Entonces metal.

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

Todavía me gusta el clásico " Mick Gets Some (las probabilidades están de su lado) "

Y esto: " No lea esto "

No detenga el BIBOP: gestión de almacenamiento flexible y eficiente para lenguajes de escritura dinámica , por R. Kent Dybvig, David Eby y Carl Bruggeman

No soy un número: soy una variable libre , de Conor McBride y James McKinna

¡La semántica inicial del álgebra es suficiente! , por Neil Ghani y Patricia Johann

Está bien ser flaco, si tus amigos son gordos .

• Songrit Maneewongvatana, David M. Mount
  Lugar: 4to Taller anual sobre geometría computacional.

Cómo evitar que un hombre muerto dispare.

La mayoría de los títulos en papel de Conor McBride son muy memorables. Puedo decir que sus títulos en papel son una de las razones por las que he leído tantos artículos sobre teoría de tipos dependientes. Algunos especialmente memorables son:

• "Do be do be do", S. Lindley, C. McBride & C. McLaughlin, POPL 2017;
• "Payasos a mi izquierda, bromistas a la derecha (perla): disección de estructuras de datos", C. McBride, POPL 2008;
• "La vista desde la izquierda", C. McBride y J. McKinna, JFP 14 (1) (2004);
• "Eliminación con un motivo", C. McBride, TYPES 2000.

Muchas de las "perlas funcionales" publicadas en ICFP y en JFP tienen títulos interesantes, en el mismo espíritu de "perlas funcionales", que deben ser instructivas, concisas e interesantes de leer. Con este fin, los autores trabajan duro para encontrar títulos interesantes. Algunos nominados recientes:

• "Lo que necesita saber sobre Yoneda: Profunctor Optics y el Yoneda Lemma", G. Boisseau & J. Gibbons, ICFP 2018;
• "Oh Dios, por favor, no dejes que los contratos se malinterpreten", C. Dimoulas, M. New, R. Findler y M. Felleisen, ICFP 2016;
• "Dos pueden guardar un secreto, si uno de ellos usa Haskell", A. Russo, ICFP 2015.

A través del Laberinto, la
evolución encuentra un camino:
una cresta de silicio

• Inman Harvey y Adrian Thompson, Actas de la Primera Conferencia Internacional sobre Sistemas Evolucionables, 1996.

Desde el mundo de las matemáticas, siempre he pensado que On Starshaped Fuzzy Sets es adorable.

J. van der Hoeven. Relájate, pero no seas demasiado vago . J. Symb. Comput., 34: 479-542, 2002.

Enlace "LAS PALABRAS MÁGICAS SON EXTRAÑAS OSSIFRAGE" enlace

$129$