ICFP 最具影響力論文獎

從 2006 年開始,每次的 International Conference on Functional Programming (ICFP) 回顧十年前發表的論文,看看哪篇最經得起歲月的考驗,在十年中發揮了最大的影響力。ICFP 2010 剛在上個月底落幕,而這是 ICFP 2000 的論文列表。如果您是評審,會頒獎給誰呢?

2010 年 ICFP 議程委員的選擇是…

Koen Claessen 和 John Hughes 的 Quickcheck: a lightweight tool for random testing of Haskell programs!

本文提出了一套相當簡單但有力的 Haskell 程式測試系統,為 Haskell 程式實務上的除錯帶來了重大的衝擊。本文描述了一個利用 type classes 和單子 (monads) 自動產生亂數測試資料的聰明技巧。此後 QuickCheck 成了極受歡迎、廣被程式員使用的 Haskell 函式庫,也被許多大學 Haskell 課程採用。本文描述的技巧引發了整套關於測試條件產生的後續研究,也被移植到其他語言上,包括為 Erlang 和 C 製作的商業版本。
Most Influential ICFP Paper Award.

John Hughes 在代表致詞時說,當時他正在忙另一個「很重要、很重要,可是我現在已經記不得了」的計畫。稍作歇息之時,Koen Claessen 提到了這個用 type class 產生測試資料的點子。他們覺得可用閒暇時間做做看。結果 QuickCheck 成了使用率最高的 Haskell 函式庫之一,不僅徹底改變了 Haskell 程式員的工作模式,還出了 Erlang 和 C 的版本。

「以一篇被 ESOP reject 的論文來說,還算不錯吧?」

ICFP 最具影響力論文獎自 2006 年起的歷屆得獎名單:

This entry was posted in 計算算計 and tagged , , . Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

2 Comments

  1. roy_hu
    Posted 十月 14, 2010 at 1:49 下午 | Permalink

    什么,这篇paper还被ESOP拒了?

    • Posted 十月 15, 2010 at 1:11 上午 | Permalink

      Paper 會不會上也是有運氣成份的囉。如果是在競爭激烈,採用 champion 制度的會議中,剛好那三個評審對你的 paper 都沒什麼興趣,這篇 paper 就連被討論的機會都沒有了。這時候只能說是沒緣份吧。(我是不知道當時 ESOP 用什麼制度啦。)

      有一說是 conference 比較會跟著流行走,作熱門話題就比較吃香;journal 審稿則較嚴謹。但這種事也沒有一定的。Robin Milner 今年三月逝世,ICFP 也請 Mike Gordon 給了一個紀念他的演講。Gordon 整理文獻時發現 An algebraic definition of simulation between programs 這篇 paper 的稿子上方手寫著「投稿給 JACM, 1971 年九月」。不過這篇論文一直都是技術報告(後來才有了 conference 版)。難道 JACM 把它退件了嗎?這篇 paper 裡 Milner 提出了 "simulation" 的觀念,後來演變成現在的 simulation 和 bisimulation.

      Gordon 寫信給 JACM, 確認這篇論文確實沒在 JACM 出版過。然後 Gordon 寫信給 JACM 當時的編輯,三個都說什麼都不記得了….

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>