Tiêu đề giấy CS đáng nhớ nhất

Sau một câu hỏi hiệu quả trong MO , tôi nghĩ sẽ rất đáng để thảo luận về một số tên giấy đáng chú ý trong CS.

Một điều khá rõ ràng là hầu hết chúng ta có thể bị thu hút khi đọc (hoặc ít nhất là liếc nhìn) một tờ giấy có tiêu đề thú vị (ít nhất là tôi làm như vậy mỗi khi tôi xem qua một danh sách các bài báo trong một cuộc hội thảo), hoặc tránh đọc kém bài viết có tên.

Những giấy tờ nào bạn nhớ vì tiêu đề của họ (và, không nhất thiết là nội dung)?

Yêu thích của tôi, trong khi không phải là một bài báo TCS thích hợp, là "Mô hình quan hệ đã chết, SQL đã chết và bản thân tôi không cảm thấy tốt như vậy." .

Tôi đã làm một cuộc khảo sát trên Twitter về điều này một thời gian trước, kết quả ở đây . Một vài trong số yêu thích của tôi:

• Đa hình tham số thông qua Niêm phong thời gian chạy, hoặc, Định lý cho giá thấp, thấp! bởi Jacob Matthews và Amal Ahmed, ESOP 2008 DOI: 10.1007 / 978-3-540-78739-6_2

• Các mô-đun F-ing của Andreas Rossberg, Claudio Russo và Derek Dreyer, TLDI 2010

• Nhược điểm không nên đưa ra lập luận của mình và Cheney trên MTA , cả bởi Henry Baker, SIGPLAN Thông báo 1992 và 1995. Baker cũng có rất nhiều tiêu đề giấy lớn khác.

• Cách cuộn tham gia: Bảo trì chế độ xem không đồng bộ của Salem, Beyer và Lindsay, SIGMOD 2000 DOI: 10.1145 / 342009.335393

• Một mô hình rất phương thức của một hệ thống hiện đại, chính, loại chung của Appel, Mellies, Richards và Vouillon, POPL 2007 DOI: 10.1145 / 1190216.1190235

• Những chú hề bên trái tôi, Jokers bên phải , Conor McBride, POPL 2008 DOI: 10.1145 / 1328438.1328474

• Các loại tuyến tính có thể thay đổi thế giới! , Phil Wadler, Các khái niệm và phương pháp lập trình 1990 (lưu ý rằng! Là rất quan trọng)

Tôi đã từng thích những tựa game kỳ quặc khi tôi bắt đầu học ngành khoa học máy tính nhưng cuối cùng lại thấy chán. Một số tác giả quản lý để viết các tiêu đề thông minh, dễ nhớ và có liên quan nhưng hầu hết các nỗ lực vào các tiêu đề hài hước đều dẫn đến các cụm từ dài, không chính xác và không cần thiết mà tôi cảm thấy khó nhớ và tìm kiếm.

Có những bài báo như Logic tạm thời của các chương trình từ năm 1977 của Pnueli , điều này hoàn toàn đơn giản nhưng dễ nhớ đối với tôi. Tôi đoán bạn không có nghĩa là đáng nhớ theo nghĩa đó.

Leslie Lamport có một số bài báo với những tiêu đề đáng nhớ không khiến tôi thấy buồn cười. Các tiêu đề thuộc loại bạn muốn có rất nhiều và tôi không nghĩ rằng có thể có một danh sách toàn diện từ xa, ngay cả những bài báo tôi đã đọc và ghi nhớ hoặc thậm chí những bài được coi là quan trọng. Tuy nhiên, hãy để tôi nhớ lại một vài, nhóm chúng khi thích hợp.

Những tác phẩm của Leslie Lamport

Lamport mô tả câu chuyện đằng sau các giấy tờ khác nhau ở đây . Ông có nhiều danh hiệu đáng nhớ, mặc dù không phải tất cả các danh hiệu (hoặc giấy tờ) đều được đón nhận.

• Thời gian, Đồng hồ và thứ tự các sự kiện trong một hệ thống phân tán , Lamport, 1978, một bài báo kinh điển trong các hệ thống phân tán. Tiêu đề gợi lên hình ảnh của các sơ đồ trong bài báo, chúng gợi nhớ đến các sơ đồ tương đối đặc biệt.

• "Đôi khi" đôi khi là "Không bao giờ" , Lamport, 1980. Đọc điều này tôi ngay lập tức tìm ra các định lý logic tạm thời được gợi ý.

• Vấn đề về tướng Byzantine , Lamport, Pease, Shostak, 1982

• "EWD 1013" , 1988. Đáng chú ý vì chỉ Dijkstra viết EWD.
• Cách kể một chương trình từ ô tô , 1996
• Nghị viện bán thời gian , Lamport, 1998. Được biết đến với cái tên Paxos. Xem trang của anh ấy để biết câu chuyện của bài báo này và thuật toán chứa nó.

Tiêu đề giấy được coi là có hại (nhờ @Bakuriu và @ Kaj_Sotala, có ý kiến ​​đã giúp tôi mở rộng điểm này)

Edsger Dijkstra đã gửi một trường hợp chống lại tuyên bố Goto (cũng là EWD 215) cho Truyền thông của ACM và tiêu đề cuối cùng đã được biên tập viên Niklaus Wirth sửa đổi thành tiêu đề nổi tiếng được đưa ra dưới đây. Tiêu đề này sinh ra một loạt các câu trả lời. Những tiêu đề như vậy đã tồn tại trong báo chí như được chỉ ra trong bài viết nhật ký Ngôn ngữ này . Cụ thể, các phản ứng đệ quy đối với "X được coi là có hại" với "` X được coi là có hại ", được coi là có hại" có thể được tìm thấy ngay từ những năm 1950 ( Nhật ký ngôn ngữ , Bệnh lý học Roguish ). Trong trường hợp cụ thể này, chúng tôi đã nhận được những tiêu đề.

• Đi đến tuyên bố được coi là có hại , năm 1968

• Lập trình có cấu trúc với đi đến Tuyên bố , Knuth, 1974, đó là một bài viết bình tĩnh, đẹp đẽ. Ông trích dẫn giao tiếp cá nhân của Dijkstra:

  "Xin đừng rơi vào cái bẫy tin rằng tôi cực kỳ giáo điều về [tuyên bố]. Tôi có cảm giác không thoải mái khi những người khác tạo ra một tôn giáo từ đó, như thể các vấn đề về lập trình có thể được giải quyết bằng cách một mẹo nhỏ, bằng một hình thức kỷ luật mã hóa đơn giản! " - Edsger Dijkstra, 1973

  "Tại Đại hội IFIP năm 1971, tôi rất vui được gặp Tiến sĩ Eiichi Goto của Nhật Bản, người đã vui vẻ phàn nàn rằng ông luôn bị loại." - Knuth

• "Goto được coi là có hại" được coi là có hại , Rubin, 1987

• "" "GOTO được coi là có hại" Được coi là có hại "Được coi là có hại?" , một bộ sưu tập các câu trả lời từ Moore, Musciano, Liebhaber, Lott và Starr xuất bản năm 1987.

• Trên một thư tương đối đáng thất vọng , Dijkstra, 1987, kết thúc bằng điều này:

  Rõ ràng, các ưu tiên của tôi không được mọi người chia sẻ, đối với thư của Rubin và hầu hết năm phản ứng mà nó gợi lên đã được tiến hành thay vào đó là về tất cả các loại ngôn ngữ lập trình trên tính năng, có vẻ như bị bỏ qua tốt hơn so với khai thác. Toàn bộ thư tín được thực hiện ở một mức độ khiến tôi nhớ rất rõ về môi trường trí tuệ của hai mươi năm trước, như thể sự trì trệ là đặc điểm chính của nghề điện toán, và đó là một sự thất vọng. - Dijkstra, 1987

Đã có rất nhiều tựa game "X được coi là có hại" kể từ đó (xem Google Scholar ).

Logic, ngôn ngữ lập trình và ngữ nghĩa

Đây là những bài viết khác nhau về logic và ngữ nghĩa với các tiêu đề đáng nhớ. Tôi sẽ mở rộng chúng khi tôi tìm thấy thời gian.

• 700 ngôn ngữ lập trình tiếp theo , Landin, 1966
• Scott không phải lúc nào cũng tỉnh táo , Johnstone, 1981
• Vô tư, công bằng và công bằng: Đạo đức của việc chấm dứt đồng thời , Lehmann, Pnueli, Stavi, 1981
• Tại sao mọi người nghĩ máy tính không thể , Minsky, 1990
• Lợi ích của việc thư giãn đúng giờ , Alur, Feder, Henzinger, 1991
• Lập trình chức năng với Chuối, Ống kính, Phong bì và Dây thép gai , Meijer, Fokkinga, Paterson, 1991
• Một lần và mãi mãi, Kupferman và Pnueli, 1995
• Ngày xửa ngày xưa, Turner, Wadler, Mossin, 1995
• Tổng hợp với Thông tin không đầy đủ , Kupferman và Vardi, 1997 (thông báo thiếu 'n')
• Niềm vui của sự bắt chước , Stirling, 1998
• Từ kiểm tra mô hình biểu tượng tiền sử đến hiện đại , Henzinger, Kupferman, Qadeer, 1998
• Ngày xửa ngày xưa kiểu đa hình , Wansborough và Peyton Jones, 1999
• Trừu tượng lười biếng , Henzinger, Jhala, Majumdar, Sutre, 2002
• Phác thảo của một con voi: Một bản tóm tắt lý thuyết Topos vol. 1 , Johnstone, 2002
• Công thức làm sạch chân không CTL , Purandare và Somenzi, 2002
• Đồng tham gia Tất cả , Kupferman và Boker, 2011
• Tất cả vì giá của Few , Abdulla, Haziza, Holik, 2013

Mihai Patrascu và Liam Roditty. "Các nhà tiên tri khoảng cách vượt ra ngoài giới hạn của Thorup-Zwick." Các nền tảng của Khoa học Máy tính (FOCS), Hội nghị chuyên đề hàng năm lần thứ 51 năm 2010 về. IEEE, 2010.

" Làm thế nào để phát triển quả bóng của bạn " là tiêu đề ban đầu, mặc dù các tác giả đã được yêu cầu thay đổi nó. Tôi đọc bài báo và thực sự nghĩ rằng tiêu đề cũ thực sự phù hợp với cách bạn nghĩ về thuật toán.

Đó là một bài báo gần đây, nhưng tiêu đề của nó thường xuất hiện trong tâm trí của tôi:

Giovanni Viglietta: Chơi game là một công việc khó khăn, nhưng ai đó phải làm điều đó! Lý thuyết tính toán. Hệ thống. 54 (4): 595-621 (2014)

Viglietta trình bày một số siêu máy tính có thể được sử dụng để nghiên cứu độ phức tạp tính toán của các trò chơi video bằng cách sử dụng các yếu tố phổ biến như đường dẫn có thể phá hủy, chìa khóa, cửa, v.v. Trong số các kết quả, anh ta áp dụng những siêu máy tính đó để chứng minh độ cứng NP của Pac-Man .

Một tiêu đề đó còn đáng nhớ và mô tả là Mihai Patrascu của Succincter .

Bảo mật nội dung Đánh hơi cho trình duyệt web hoặc Cách ngăn chặn giấy tờ xem lại bản thân

Barth, A .; UC Berkeley, Berkeley, CA, Hoa Kỳ; Caballero, J .; Song, D. 2009 Hội nghị chuyên đề về bảo mật và quyền riêng tư lần thứ 30 của 2009. DOI 10.1109 / SP.2009.3

Lane A. Hemaspandra và Heribert Vollmer. " Các ký hiệu Satan: Đếm các lớp học vượt quá #P và các cuộc phiêu lưu xác định khác. " Bản tin ACM SIGACT Tập 26 Số 1, Tháng 3 năm 1995. Trang 2 - 13.

Kẻ giết người chu kỳ ... Qu'est-ce que c'est? Về khả năng gần đúng so sánh của số lượng lai và phản hồi có hướng của bộ Vertex - SIAM J. Toán rời rạc., 26 (4)

(tham khảo Người nói chuyện - Kẻ giết người tâm thần (qu'est-ce que c'est))

Nghiên cứu, Re: Tìm kiếm & Tìm kiếm lại bởi Aske Platt. Tôi đã xem qua bài báo này khi tôi đang tìm hiểu về các thuật toán tìm kiếm AI và tiêu đề luôn bị mắc kẹt với tôi.

"Hình học của xác thịt vô tội trên xương: quay trở lại vào libc mà không có chức năng gọi (trên x86)"

Tài liệu tham khảo là bài hát của Bob Dylan, "Tombstone Blues." Nó tràn bộ đệm 64 bit, nhưng nó gợi lên hình ảnh của việc tách các chương trình vô tội thành hai. Kim loại cũng vậy.

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

Tôi vẫn thích tác phẩm kinh điển " Mick Gets some (the Odds on Your Side) "

Và đây: " Đừng đọc cái này "

Đừng dừng BIBOP: Quản lý lưu trữ linh hoạt và hiệu quả cho các ngôn ngữ được gõ động , bởi R. Kent Dybvig, David Eby và Carl Bruggeman

Tôi không phải là Số Số Tôi là Biến miễn phí , bởi Conor McBride và James McKinna

Ngữ nghĩa đại số ban đầu là đủ! , bởi Neil Ghani và Patricia Johann

Sẽ ổn thôi nếu bạn gầy, nếu bạn bè của bạn béo .

• Songrit Maneewongvatana, David M. Mount
  Địa điểm: Hội thảo thường niên lần thứ 4 về Hình học tính toán.

Làm thế nào để giữ một người chết khỏi bắn.

Hầu hết các tiêu đề giấy của Conor McBride đều rất đáng nhớ. Tôi có thể nói tiêu đề giấy của ông là một lý do tôi đã đọc rất nhiều bài viết về lý thuyết loại phụ thuộc. Một số đặc biệt đáng nhớ là:

• "Hãy làm được," S. Lindley, C. McBride & C. McLaughlin, POPL 2017;
• "Những chú hề bên trái tôi, những người thích đùa bên phải (ngọc trai): mổ xẻ cấu trúc dữ liệu", C. McBride, POPL 2008;
• "Quan điểm từ bên trái", C. McBride & J. McKinna, JFP 14 (1) (2004);
• "Loại bỏ với một động lực", C. McBride, TYPES 2000.

Nhiều "viên ngọc chức năng" được xuất bản tại ICFP và trong JFP có những tiêu đề thú vị, theo tinh thần của "viên ngọc chức năng", mang tính hướng dẫn, súc tích và thú vị để đọc. Để đạt được điều này, các tác giả làm việc chăm chỉ để đưa ra những tiêu đề thú vị. Một số đề cử gần đây:

• "Những gì bạn cần biết về Yoneda: Profunctor Optics và Yoneda Lemma," G. Boisseau & J. Gibbons, ICFP 2018;
• "Chúa ơi, xin đừng để hợp đồng bị hiểu lầm", C. Dimoulas, M. New, R. Findler & M. Felleisen, ICFP 2016;
• "Hai người có thể giữ bí mật, nếu một trong số họ sử dụng Haskell," A. Russo, ICFP 2015.

Thông qua Labyrinth
Evolution tìm thấy một cách:
Một sườn núi Silicon

• Inman Harvey & Adrian Thompson, Kỷ yếu Hội thảo quốc tế đầu tiên về các hệ thống có thể phát triển, 1996.

Từ thế giới toán học, tôi luôn nghĩ On Starshoped Fuzzy Sets là loại đáng yêu.

J. van der Hoeven. Hãy thư giãn, nhưng đừng quá lười biếng . J. Symb. Tính toán., 34: 479 bóng542, 2002.

Liên kết "TẠP CHÍ LÀ SẮC SẮC"

$129$