ชื่อกระดาษ CS ที่น่าจดจำที่สุด

ตามคำถามที่ประสบความสำเร็จใน MOฉันคิดว่ามันจะคุ้มค่าที่จะพูดคุยชื่อกระดาษที่มีชื่อเสียงใน CS

เป็นที่ชัดเจนว่าพวกเราส่วนใหญ่อาจถูกดึงดูดให้อ่าน (หรืออย่างน้อยก็มอง) กระดาษที่มีชื่อที่น่าสนใจ (อย่างน้อยฉันก็ทำอย่างนั้นทุกครั้งที่ฉันไปดูรายการเอกสารในการประชุม) หรือหลีกเลี่ยงการอ่านไม่ดี ชื่อบทความ

เอกสารใดที่คุณจำได้เพราะชื่อ (และไม่จำเป็นต้องมีเนื้อหา)?

รายการโปรดของฉันในขณะที่ไม่ใช่เอกสาร TCS ที่เหมาะสมคือ"โมเดลเชิงสัมพันธ์นั้นตายแล้ว SQL นั้นตายแล้วและฉันรู้สึกไม่ดีเลย" .

ผมทำแบบสำรวจบนทวิตเตอร์เกี่ยวกับเรื่องนี้ในขณะที่กลับส่งผลให้ที่นี่ รายการโปรดของฉัน:

• ตัวแปรหลากหลายผ่านการปิดผนึกรันไทม์หรือทฤษฎีบทสำหรับราคาต่ำสุดและต่ำ! โดย Jacob Matthews และ Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• โมดูล F-ingโดย Andreas Rossberg, Claudio Russo และ Derek Dreyer, TLDI 2010

• จุดด้อยไม่ควรเสียอาร์กิวเมนต์และเชนีย์ในเอ็มที ,ทั้งโดยเฮนรีเบเกอร์ SIGPLAN ประกาศเกี่ยวกับปี 1992 และปี 1995 เบเคอร์มีจำนวนมากชื่ออื่น ๆ กระดาษที่ดีเกินไป

• วิธีเข้าร่วม: การบำรุงรักษามุมมองแบบอะซิงโครนัสที่เพิ่มขึ้นโดย Salem, Beyer และ Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• รูปแบบโมดัลของระบบโมเดิร์น, เมเจอร์, ประเภททั่วไปโดย Appel, Mellies, Richards และ Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• ตัวตลกทางด้านซ้ายของฉัน Jokers ไปทางขวา Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• ประเภทลิเนียร์สามารถเปลี่ยนแปลงโลกได้! , Phil Wadler แนวคิดการเขียนโปรแกรมและวิธีการ 1990 (โปรดทราบว่า! is signficant)

ฉันเคยชอบชื่อที่เล่นโวหารเมื่อฉันเริ่มวิทยาการคอมพิวเตอร์ แต่ในที่สุดก็เบื่อ ผู้เขียนบางคนสามารถเขียนชื่อเรื่องที่ฉลาดจำได้และเกี่ยวข้อง แต่ความพยายามส่วนใหญ่ของชื่อเรื่องตลกนั้นส่งผลให้เกิดวลียาว ๆ ที่ไม่จำเป็นไม่เป็นทางการและไร้สาระที่ฉันจำยากและจำได้ยาก

มีเอกสารอย่าง Pnueli The Temporal Logic of Programsจากปี 1977 ซึ่งตรงไปตรงมา แต่ง่ายสำหรับฉันที่จะจำ ฉันเดาว่าคุณไม่ได้หมายถึงความทรงจำในแง่นั้น

เลสลี่แลมพอร์ตมีเอกสารหลายฉบับที่มีชื่อเรื่องที่น่าจดจำซึ่งไม่ทำให้ฉันรู้สึกว่าพยายามตลก ชื่อประเภทที่คุณต้องการมีจำนวนมากและฉันไม่คิดว่าเป็นไปได้ที่จะมีรายการที่ครอบคลุมจากระยะไกลแม้กระทั่งเอกสารที่ฉันอ่านและจำได้หรือแม้แต่ของที่มีความสำคัญ อย่างไรก็ตามขอให้ฉันจำบางอย่างจัดกลุ่มพวกเขาตามความเหมาะสม

งานเขียนของเลสลี่แลมพอร์ต

แลมพออธิบายเรื่องราวที่อยู่เบื้องหลังเอกสารต่างๆที่นี่ เขามีชื่อเรื่องที่น่าจดจำมากมายแม้ว่าจะไม่ได้รับการตอบรับที่ดีทั้งหมด

• เวลานาฬิกาและลำดับเหตุการณ์ในระบบแบบกระจาย Lamport, 1978 เป็นกระดาษแบบคลาสสิกในระบบแบบกระจาย ชื่อทำให้ภาพของไดอะแกรมในกระดาษทำให้นึกถึงไดอะแกรมสัมพัทธภาพพิเศษ

• 'บางครั้ง' เป็นบางครั้ง 'ไม่ไม่เคย' , Lamport, 1980. การอ่านสิ่งนี้ฉันจะจัดการกับทฤษฏีเชิงตรรกะตามกาลเวลาที่บอกใบ้

• ปัญหานายพลไบแซนไทน์แลมพอร์ตสว่าโชสตัค 1982

• "EWD 1013" , 1988 โดดเด่นเพราะมีเพียง Dijkstra เขียน EWDs
• วิธีการบอกโปรแกรมจากรถยนต์ปี 1996
• รัฐสภาแบบพาร์ทไทม์แลมพอร์ตปี 1998 รู้จักกันดีในนามแพ็กซอส ดูหน้าของเขาสำหรับเรื่องราวของบทความนี้และอัลกอริทึมที่มี

หัวข้อกระดาษถือว่าเป็นอันตราย (ขอบคุณ @Bakuriu และ @ Kaj_Sotala ซึ่งความคิดเห็นทำให้ฉันต้องขยายจุดนี้)

Edsger Dijkstra ได้ยื่นเรื่องต่อคำสั่ง Goto (เช่น EWD 215) ไปยัง Communications of ACM และชื่อสุดท้ายได้รับการแก้ไขโดยบรรณาธิการ Niklaus Wirth ให้เป็นชื่อที่มีชื่อเสียงที่ระบุด้านล่าง ชื่อนี้กลับกลายเป็นชุดคำตอบ ชื่อดังกล่าวมีอยู่แล้วในการสื่อสารมวลชนเป็นแหลมออกในครั้งนี้บทความบันทึกภาษา โดยเฉพาะอย่างยิ่งการตอบสนองการเรียกซ้ำ "X ถือว่าเป็นอันตราย" กับ "` X ถือว่าเป็นอันตราย' ถือว่าเป็นอันตราย" สามารถพบได้เป็นช่วงต้นปี 1950 ( เข้าสู่ระบบภาษา , เกเร Chrestomathy ) ในกรณีเฉพาะนี้เราได้รับชื่อเหล่านี้

• ไปที่แถลงที่ถือว่าเป็นอันตราย 1968

• การเขียนโปรแกรมอย่างมีโครงสร้างพร้อมคำสั่ง Knuth ปี 1974 ซึ่งเป็นบทความที่เขียนอย่างสงบและสวยงาม เขาพูดถึงการสื่อสารส่วนตัวของ Dijkstra:

  "โปรดอย่าตกหลุมพรางของการเชื่อว่าฉันเป็นคนดื้อรั้นเกี่ยวกับ [คำแถลง] ฉันมีความรู้สึกไม่สบายใจที่คนอื่น ๆ กำลังสร้างศาสนาออกมาจากมัน เคล็ดลับเดียวโดยการเข้ารหัสแบบง่าย ๆ ! " - Edsger Dijkstra, 1973

  "ที่งาน IFIP Congress ในปี 1971 ฉันมีความสุขที่ได้พบดร. Eiichi Goto แห่งญี่ปุ่นผู้บ่นอย่างร่าเริงว่าเขาถูกกำจัดเสมอ" - Knuth

• "โกโตะพิจารณาว่าเป็นอันตราย" ถือว่าเป็นอันตรายรูบิน 2530

• "" "GOTO ถือว่าเป็นอันตราย" ถือว่าเป็นอันตราย "ถือว่าเป็นอันตรายหรือไม่" ชุดคำตอบจากมัวร์ Musciano, Liebhaber, Lott และ Starr ตีพิมพ์ในปี 2530

• ในการติดต่อค่อนข้างน่าผิดหวัง , Dijkstra, 1987, ซึ่งจบลงด้วยสิ่งนี้:

  เห็นได้ชัดว่าลำดับความสำคัญของฉันไม่ได้ถูกแชร์โดยทุกคนสำหรับจดหมายของ Rubin และปฏิกิริยาห้าอย่างที่เกิดขึ้นส่วนใหญ่ถูกนำมาใช้แทนในแง่ของ "คุณสมบัติภาษาการเขียนโปรแกรม" ทุกประเภท การติดต่อทั้งหมดนั้นดำเนินไปในระดับที่ทำให้ฉันนึกถึงบรรยากาศทางปัญญาเมื่อยี่สิบปีที่แล้วราวกับว่าความซบเซาเป็นลักษณะสำคัญของอาชีพคอมพิวเตอร์และนั่นก็เป็นความผิดหวัง - Dijkstra, 1987

มีชื่อ "X ถือว่าเป็นอันตราย" หลายครั้งตั้งแต่ (ดูGoogle Scholar )

ลอจิกภาษาการเขียนโปรแกรมและความหมาย

เหล่านี้เป็นเอกสารต่าง ๆ ในตรรกะและความหมายที่มีชื่อที่น่าจดจำ ฉันจะขยายพวกเขาเมื่อฉันหาเวลา

• ภาษาโปรแกรมต่อไปอีก 700 ภาษาคือ Landin, 1966
• สก็อตต์ไม่ได้เป็นคนเงียบขรึม Johnstone, 1981
• ความเป็นธรรมความยุติธรรมและความเป็นธรรม: จริยธรรมของการเลิกจ้างพร้อมกันเลห์แมนน์, Pnueli, Stavi, 1981
• ทำไมผู้คนถึงคิดว่าคอมพิวเตอร์ไม่สามารถมินสกีปี 1990
• ประโยชน์ของการตรงต่อเวลาผ่อนคลาย Alur, Feder, Henzinger, 1991
• ปฏิบัติการเขียนโปรแกรมด้วยกล้วยเลนส์ซองจดหมายและลวดหนามเมย์เยอร์ Fokkinga แพ็ตเตอร์สัน 2534
• กาลครั้งหนึ่งนานมาแล้ว Kupferman และ Pnueli, 1995
• กาลครั้งหนึ่งนานมาแล้วประเภท Turner, Wadler, Mossin, 1995
• การสังเคราะห์ข้อมูลที่ไม่สมบูรณ์ Kupferman และ Vardi, 1997 (การแจ้งเตือนหายไป 'n')
• ความสุขของ Bisimulation , สเตอร์ลิง, 1998
• ตั้งแต่ก่อนประวัติศาสตร์ไปจนถึงการตรวจสอบรูปแบบสัญลักษณ์หลังสมัยใหม่ Henzinger, Kupferman, Qadeer, 1998
• กาลครั้งหนึ่งประเภท Polymorphic , Wansborough และ Peyton Jones, 1999
• Lazy Abstraction , Henzinger, Jhala, Majumdar, Sutre, 2002
• ภาพสเก็ตช์ของช้าง: A Topos Theory Compendiumm vol. 1 , Johnstone, 2002
• เครื่องดูดฝุ่น CTL สูตร Purandare และ Somenzi, 2002
• Co-Buching พวกเขาทั้งหมด , Kupferman และ Boker, 2011
• ทั้งหมดสำหรับราคาไม่กี่อับดุลลา, Haziza, Holik, 2013

หมดเวลา Patrascu และ Liam Roditty "ระยะทางพยากรณ์ไกลเกินขอบเขต Thorup-Zwick" รากฐานของวิทยาศาสตร์คอมพิวเตอร์ (FOCS) 2010 การประชุมวิชาการประจำปีครั้งที่ 51 ของ IEEE IEEE, 2010

" วิธีการปลูกลูกของคุณ " เป็นชื่อเดิม แต่ผู้เขียนก็ขอให้เปลี่ยนมัน ฉันอ่านบทความและคิดว่าชื่อเรื่องเก่านั้นเหมาะสมกับวิธีคิดของคุณจริงๆ

มันเป็นบทความล่าสุด แต่ชื่อของมันมักจะอยู่ในใจฉัน

Giovanni Viglietta: การเล่นเกมเป็นงานที่ยาก แต่มีคนต้องทำ! ทฤษฎีการคำนวณ Syst 54 (4): 595-621 (2014)

Viglietta นำเสนอ metatheorems บางอย่างที่สามารถใช้เพื่อศึกษาความซับซ้อนในการคำนวณของวิดีโอเกมโดยใช้องค์ประกอบทั่วไปเช่นเส้นทางที่ทำลายได้กุญแจกุญแจประตูและอื่น ๆ ในผลลัพธ์ที่เขาใช้ metatheorems ผู้ที่จะพิสูจน์ NP-ความแข็งของPac-Man

ชื่อที่มีทั้งที่น่าจดจำและมีรายละเอียดหมด Patrascu ของSuccincter

การดมกลิ่นเนื้อหาที่ปลอดภัยสำหรับเว็บเบราว์เซอร์หรือวิธีการหยุดเอกสารจากการตรวจสอบตัวเอง

บาร์ท, อ.; UC Berkeley, Berkeley, CA, USA; Caballero, J. ; Song, D. 2009 30 IEEE Symposium เกี่ยวกับความปลอดภัยและความเป็นส่วนตัว DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra และ Heribert Vollmer " สัญลักษณ์ของซาตาน: การนับชั้นเรียนเกินกว่า #P และการผจญภัยที่ชัดเจนอื่น ๆ " จดหมายข่าวพลอากาศเอก SIGACT เล่มที่ 26 ฉบับที่ 1, มีนาคม 1995 หน้า 2 - 13

การวิจัยเรื่องการค้นหาและการค้นหาซ้ำโดย Aske Platt ฉันวิ่งข้ามบทความนี้เมื่อฉันเรียนรู้เกี่ยวกับอัลกอริธึมการค้นหา AI และชื่อมักจะติดอยู่กับฉันเสมอ

รอบนักฆ่า ... Qu'est-ce que c'est? ในการเปรียบเทียบความใกล้เคียงของจำนวนการผสมพันธุ์และการตั้งค่าจุดสะท้อนความคิดเห็นโดยตรง - SIAM J. คณิตศาสตร์ไม่ต่อเนื่อง 26

(อ้างอิงถึง Talking heads - นักฆ่าโรคจิต (qu'est-ce que c'est))

"เรขาคณิตของเนื้อไร้เดียงสาบนกระดูก: กลับเข้าสู่ libc โดยไม่ต้องใช้ฟังก์ชั่น (บน x86)"

การอ้างอิงคือเพลงของ Bob Dylan "Tombstone Blues" มันเกี่ยวกับบัฟเฟอร์แบบล้น 64- บิต แต่มันกระตุ้นภาพของการแยกโปรแกรมผู้บริสุทธิ์ในสอง ดังนั้นโลหะ

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

ฉันยังคงชอบคลาสสิก " มิกได้บางอย่าง (โอกาสอยู่ข้างเขา) "

และนี่คือ: " อย่าอ่านสิ่งนี้ "

อย่าหยุด BIBOP: การจัดการพื้นที่เก็บข้อมูลที่ยืดหยุ่นและมีประสิทธิภาพสำหรับภาษาที่พิมพ์แบบไดนามิกโดย R. Kent Dybvig, David Eby และ Carl Bruggeman

ฉันไม่ใช่ตัวเลข - ฉันเป็นตัวแปรอิสระโดย Conor McBride และ James McKinna

ความหมายพีชคณิตเริ่มต้นเพียงพอ! โดย Neil Ghani และ Patricia Johann

มันโอเคที่จะผอมถ้าเพื่อนของคุณกำลังไขมัน

• ทรงฤทธิ์มณีวงศ์วัฒนา, David M. Mount
  สถานที่: การประชุมเชิงปฏิบัติการประจำปีครั้งที่ 4 ด้านเรขาคณิตคำนวณ

วิธีการป้องกันไม่ให้คนตายจากการยิง

ชื่อกระดาษส่วนใหญ่ของ Conor McBride น่าจดจำมาก ฉันสามารถพูดชื่อกระดาษของเขาเป็นเหตุผลหนึ่งที่ฉันได้อ่านเอกสารมากมายในทฤษฎีประเภทขึ้น บางคนที่น่าจดจำโดยเฉพาะคือ:

• "Do do do do do" S. Lindley, C. McBride & C. McLaughlin, POPL 2017;
• "ตัวตลกทางด้านซ้ายของฉันนักเลงไปทางขวา (ไข่มุก): การผ่าโครงสร้างข้อมูล" C. McBride, POPL 2008;
• "มุมมองจากทางซ้าย" C. McBride และ J. McKinna, JFP 14 (1) (2004);
• "การกำจัดด้วยแรงจูงใจ" C. McBride, TYPES 2000

"ไข่มุกเชิงหน้าที่" จำนวนมากที่ตีพิมพ์ที่ ICFP และใน JFP มีชื่อที่น่าสนใจด้วยจิตวิญญาณของ "ไข่มุกเชิงหน้าที่" ซึ่งจะต้องเป็นคำแนะนำกระชับและน่าสนใจในการอ่าน ในช่วงท้ายนี้ผู้เขียนทำงานอย่างหนักเพื่อสร้างชื่อที่น่าสนใจ ผู้ได้รับการเสนอชื่อล่าสุด:

• "สิ่งที่คุณต้องการรู้เกี่ยวกับโยเนดะ: นักปราชญ์ Optics และ Yoneda Lemma," G. Boisseau & J. Gibbons, ICFP 2018;
• "โอ้พระเจ้าโปรดอย่าให้สัญญาผิดพลาด" C. Dimoulas, M. ใหม่, R. Findler & M. Felleisen, ICFP 2016;
• "สองคนสามารถเก็บความลับได้หากหนึ่งในนั้นใช้ Haskell" A. Russo, ICFP 2015

ผ่าน Labyrinth
Evolution พบหนทาง:
A Silicon Ridge

• Inman Harvey & Adrian Thompson เอกสารประกอบการประชุมนานาชาติครั้งแรกของระบบ Evolvable Systems, 1996

จากโลกคณิตศาสตร์ฉันคิดเสมอว่าชุดฟัซซีแบบติดดาวเป็นสิ่งที่น่ารัก

J. van der Hoeven ผ่อนคลาย แต่ไม่ต้องขี้เกียจเกินไป J. Symb คำนวณ, 34: 479–542, 2002

"คำวิเศษมหัศจรรย์คือ SQUEAMISH OSSIFRAGE" ลิงก์

$129$