Judul kertas CS paling berkesan

Mengikuti pertanyaan yang bermanfaat di MO , saya pikir akan bermanfaat untuk membahas beberapa nama kertas terkenal di CS.

Cukup jelas bahwa kebanyakan dari kita mungkin tertarik untuk membaca (atau setidaknya melirik) sebuah makalah dengan judul yang menarik (setidaknya saya melakukannya setiap kali saya memeriksa daftar makalah dalam sebuah konferensi), atau menghindari membaca dengan buruk. artikel bernama.

Makalah mana yang Anda ingat karena judulnya (dan, tidak harus, isinya)?

Favorit saya, walaupun bukan makalah TCS yang tepat, adalah "Model relasional sudah mati, SQL sudah mati, dan saya sendiri tidak merasa begitu baik." .

Saya melakukan survei di Twitter tentang ini beberapa waktu lalu, hasil di sini . Beberapa favorit saya:

• Polimorfisme Parametrik melalui Runtime Sealing, atau, Teorema untuk Harga Rendah, Rendah! oleh Jacob Matthews dan Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Modul F-ing oleh Andreas Rossberg, Claudio Russo, dan Derek Dreyer, TLDI 2010

• Kontra tidak boleh menentang argumennya dan Cheney tentang MTA , baik oleh Henry Baker, SIGPLAN Notices 1992 dan 1995. Baker juga memiliki banyak judul kertas hebat lainnya.

• Cara Menggulung Gabung: Asynchronous Incremental View Maintenance oleh Salem, Beyer, and Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Model yang Sangat Modal dari Modern, Mayor, Sistem Tipe Umum oleh Appel, Mellies, Richards, dan Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Badut ke Kiri saya, Pelawak ke Kanan , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Tipe linear dapat mengubah dunia! , Phil Wadler, Konsep dan Metode Pemrograman 1990 (perhatikan bahwa! Signifikan)

Saya dulu suka judul yang aneh ketika saya mulai dalam ilmu komputer tetapi akhirnya bosan. Beberapa penulis berhasil menulis judul yang cerdas, mudah diingat, dan relevan tetapi sebagian besar upaya judul lucu menghasilkan frasa yang panjang, tidak informatif, dan kusut yang menurut saya sulit diingat dan dicari.

Ada beberapa makalah seperti The Temporal Logic of Programs karya Pnueli dari tahun 1977, yang benar-benar mudah tetapi mudah untuk saya ingat. Saya kira Anda tidak berarti berkesan dalam arti itu.

Leslie Lamport memiliki beberapa makalah dengan judul-judul yang mengesankan yang tidak membuat saya terkesan mencoba menjadi lucu. Judul-judul seperti yang Anda inginkan sangat banyak dan saya pikir tidak mungkin untuk memiliki daftar komprehensif yang jauh, bahkan dari kertas-kertas yang telah saya baca dan ingat atau bahkan dari mereka yang dianggap signifikan. Meskipun demikian, izinkan saya mengingat beberapa, mengelompokkannya jika perlu.

Tulisan-tulisan Leslie Lamport

Lamport menggambarkan kisah di balik berbagai makalah di sini . Dia memiliki banyak judul yang mengesankan, meskipun tidak semua judul (atau karya tulis) telah diterima dengan baik.

• Waktu, Jam, dan Pengaturan Acara dalam Sistem Terdistribusi , Lamport, 1978, sebuah makalah klasik dalam sistem terdistribusi. Judul membangkitkan gambar diagram di kertas, itu sendiri mengingatkan pada diagram relativitas khusus.

• 'Someime' Kadang-kadang 'Not Never' , Lamport, 1980. Membaca ini saya segera bekerja di luar teorema logika temporal yang diisyaratkan.

• Masalah Jenderal Bizantium , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Terkenal karena hanya Dijkstra yang menulis EWD.
• How to Tell a Program dari Automobile , 1996
• Parlemen Paruh Waktu , Lamport, 1998. Lebih dikenal sebagai Paxos. Lihat halamannya untuk kisah makalah ini dan algoritma yang dikandungnya.

Judul Kertas Dianggap Berbahaya (terima kasih kepada @Bakuriu dan @ Kaj_Sotala, yang komentarnya membuat saya memperluas poin ini)

Edsger Dijkstra mengajukan A Case Against the Goto statement (juga EWD 215) kepada Communications of ACM dan judul finalnya dimodifikasi oleh editor Niklaus Wirth dengan judul terkenal yang diberikan di bawah ini. Judul ini melahirkan serangkaian balasan. Judul-judul seperti itu sudah ada dalam jurnalisme sebagaimana ditunjukkan dalam artikel log Bahasa ini . Secara khusus, respons rekursif terhadap "X dianggap berbahaya" dengan "` X dianggap berbahaya ', dianggap berbahaya "dapat ditemukan pada awal 1950-an ( Log bahasa , A Roguish Chrestomathy ). Dalam kasus khusus ini, kami mendapatkan judul-judul ini.

• Pergi ke pernyataan yang dianggap berbahaya , 1968

• Pemrograman Terstruktur dengan pergi ke Pernyataan , Knuth, 1974, yang merupakan artikel indah, ditulis dengan tenang. Dia mengutip komunikasi pribadi Dijkstra:

  "Tolong jangan jatuh ke dalam perangkap percaya bahwa saya sangat dogmatis tentang [pergi ke pernyataan]. Saya memiliki perasaan tidak nyaman bahwa orang lain membuat agama keluar dari itu, seolah-olah masalah konseptual pemrograman dapat diselesaikan oleh satu trik, dengan bentuk kode disiplin yang sederhana! " - Edsger Dijkstra, 1973

  "Pada Kongres IFIP pada tahun 1971, saya senang bertemu dengan Dr. Eiichi Goto dari Jepang, yang dengan riang mengeluh bahwa ia selalu disingkirkan." - Knuth

• "Goto Dianggap Berbahaya" dianggap berbahaya , Rubin, 1987

• "" "GOTO Dianggap Berbahaya" Dianggap Berbahaya "Dianggap Berbahaya?" , kumpulan tanggapan dari Moore, Musciano, Liebhaber, Lott dan Starr yang diterbitkan pada tahun 1987.

• Pada korespondensi yang agak mengecewakan , Dijkstra, 1987, yang berakhir dengan ini:

  Jelas, prioritas saya tidak dibagikan oleh semua orang, karena surat Rubin dan sebagian besar dari lima reaksi yang ditimbulkannya justru dilakukan dalam hal segala macam "fitur bahasa pemrograman" yang tampaknya lebih baik diabaikan daripada dieksploitasi. Seluruh korespondensi dilakukan pada tingkat yang dengan jelas mengingatkan saya pada iklim intelektual dua puluh tahun yang lalu, seolah-olah stagnasi adalah karakteristik utama dari profesi komputer, dan itu mengecewakan. - Dijkstra, 1987

Sejak itu ada banyak judul "X dianggap berbahaya" (lihat Google Cendekia ).

Logika, Bahasa Pemrograman dan Semantik

Ini adalah berbagai makalah dalam logika dan semantik dengan judul yang mudah diingat. Saya akan memperluas mereka karena saya menemukan waktu.

• 700 bahasa pemrograman berikutnya , Landin, 1966
• Scott tidak selalu sadar , Johnstone, 1981
• Ketidakberpihakan, keadilan dan keadilan: Etika penghentian bersamaan , Lehmann, Pnueli, Stavi, 1981
• Mengapa orang berpikir komputer tidak bisa , Minsky, 1990
• Manfaat ketepatan waktu santai , Alur, Feder, Henzinger, 1991
• Pemrograman Fungsional dengan Pisang, Lensa, Amplop dan Kawat Berduri , Meijer, Fokkinga, Paterson, 1991
• Once and For All , Kupferman dan Pnueli, 1995
• Sekali jenis , Turner, Wadler, Mossin, 1995
• Sintesis dengan Informasi Tidak Lengkap , Kupferman dan Vardi, 1997 (pemberitahuan tidak ada 'n')
• The Joys of Bisimulation , Stirling, 1998
• Dari pengecekan model simbolik pra-sejarah hingga post-modern , Henzinger, Kupferman, Qadeer, 1998
• Once Upon a a Polymorphic Type , Wansborough dan Peyton Jones, 1999
• Abstraksi Malas , Henzinger, Jhala, Majumdar, Sutre, 2002
• Sketsa Gajah: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
• Vacuum Cleaning Formula CTL , Purandare dan Somenzi, 2002
• Co-Buching Them All , Kupferman dan Boker, 2011
• Semua untuk Harga Sedikit , Abdulla, Haziza, Holik, 2013

Mihai Patrascu, dan Liam Roditty. "Jarak nubuat di luar batas Thorup-Zwick." Yayasan Ilmu Komputer (FOCS), Simposium IEEE Tahunan ke-51 2010 tentang. IEEE, 2010.

" How to Grow Your Balls " adalah judul aslinya, meskipun penulis diminta untuk mengubahnya . Saya membaca makalah dan benar-benar berpikir bahwa judul lama benar-benar cocok dengan cara Anda berpikir tentang algoritma.

Ini makalah baru-baru ini, tetapi judulnya sering muncul di benak saya:

Giovanni Viglietta: Bermain Game adalah Pekerjaan Berat , tapi Seseorang Harus Melakukannya! Teori Komputasi. Syst. 54 (4): 595-621 (2014)

Viglietta menghadirkan beberapa metatheorem yang dapat digunakan untuk mempelajari kompleksitas komputasi video game menggunakan elemen umum seperti jalur yang dapat dihancurkan, kunci, pintu, dan sebagainya; di antara hasilnya, dia menerapkan metatheorem itu untuk membuktikan kekerasan NP- Pac-Man .

Sebuah judul yang baik mudah diingat dan deskriptif adalah Mihai Patrascu ini Succincter .

Mengamankan Pengendalian Konten untuk Peramban Web, atau Cara Menghentikan Makalah Meninjau Diri Sendiri

Barth, A.; UC Berkeley, Berkeley, CA, AS; Caballero, J.; Song, D. 2009 Simposium IEEE ke-30 tentang Keamanan dan Privasi. DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra dan Heribert Vollmer. " The Satanic Notations: Counting Class Beyond #P Dan Petualangan Definisi Lainnya. " Newsletter ACM SIGACT Volume 26 Edisi 1, Maret 1995. Halaman 2 - 13.

Cycle Killer ... Qu'est-ce que c'est? Tentang Perkiraan Komparatif Nomor Hibridisasi dan Diarahkan Masukan Vertex Set - SIAM J. Discrete Math., 26 (4)

(referensi ke Talking heads - Psycho killer (qu'est-ce que c'est))

Penelitian, Re: Cari & Re-Pencarian oleh Aske Platt. Saya berlari melintasi makalah ini ketika saya belajar tentang algoritma pencarian AI dan judul selalu terjebak dengan saya.

"Geometri daging tak berdosa di tulang: kembali-ke-libc tanpa panggilan fungsi (pada x86)"

Rujukannya adalah lagu Bob Dylan, "Tombstone Blues." Ini tentang buffer overflow 64-bit, tetapi ini membangkitkan gambar program yang tidak bersalah terbelah menjadi dua. Jadi logam.

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

Saya masih suka klasik " Mick Mendapat Beberapa (Peluang Ada di Sisi-Nya) "

Dan ini: " Jangan Baca Ini "

Jangan Hentikan BIBOP: Manajemen Penyimpanan yang Fleksibel dan Efisien untuk Bahasa yang Diketik Secara Dinamis , oleh R. Kent Dybvig, David Eby, dan Carl Bruggeman

Saya bukan Angka — Saya Variabel Bebas , oleh Conor McBride dan James McKinna

Semantik Aljabar Awal Sudah Cukup! , oleh Neil Ghani dan Patricia Johann

Tidak masalah untuk menjadi kurus, jika teman-temanmu gemuk .

• Songrit Maneewongvatana, David M. Mount
  Venue: Lokakarya Tahunan ke-4 tentang Geometri Komputasi.

Cara menjaga orang mati dari penembakan.

Sebagian besar judul makalah Conor McBride sangat berkesan. Saya dapat mengatakan judul makalahnya adalah salah satu alasan saya telah membaca begitu banyak makalah tentang teori tipe dependen. Beberapa yang paling berkesan adalah:

• "Lakukan apa adanya," S. Lindley, C. McBride & C. McLaughlin, POPL 2017;
• "Badut di sebelah kiri saya, pelawak ke kanan (mutiara): membedah struktur data," C. McBride, POPL 2008;
• "Pemandangan dari kiri," C. McBride & J. McKinna, JFP 14 (1) (2004);
• "Eliminasi dengan Motif," C. McBride, TYPE 2000.

Banyak "mutiara fungsional" yang diterbitkan di ICFP dan di JFP memiliki judul yang menarik, dalam semangat "mutiara fungsional", yang bersifat instruktif, singkat dan menarik untuk dibaca. Menjelang akhir ini, penulis bekerja keras untuk menghasilkan judul yang menarik. Beberapa nominasi terbaru:

• "Apa yang Harus Kamu Ketahui tentang Yoneda: Profunctor Optics dan Yoneda Lemma," G. Boisseau & J. Gibbons, ICFP 2018;
• "Ya Tuhan, Tolong Jangan Biarkan Kontrak Disalahpahami," C. Dimoulas, M. New, R. Findler & M. Felleisen, ICFP 2016;
• "Dua Dapat Menjaga Rahasia, Jika Salah Satu dari Mereka Menggunakan Haskell," A. Russo, ICFP 2015.

Melalui Labyrinth
Evolution menemukan jalan:
A Silicon Ridge

• Inman Harvey & Adrian Thompson, Prosiding Konferensi Internasional Pertama tentang Sistem Evolvable, 1996.

Dari dunia matematika, saya selalu berpikir On Starshaped Fuzzy Sets agak menggemaskan.

J. van der Hoeven. Tenang, tapi jangan terlalu malas . J. Symb. Comput., 34: 479–542, 2002.

"KATA-KATA MAGIC mual OSSIFRAGE" Link

$129$