Top N Papers 2005

2005 is nearly over, and as everyone knows, December is the time for compiling hugely subjective Top 5 (10, 20, 100) lists for everything under the sun. I think it would be fun to see everybody's favorite papers... Here's mine, totally off the top of my head (I'm sure I'm forgetting something essential):

(Don't worry about trying to post the "best" papers in some objective sense, just whatever excited you... Show me what I missed this year!)

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.


See CiteSeer's Statistics pages (for example, Most Cited Documents) and Benjamin Pierce's compilation of Great Works in Programming Languages.


There's nothing in Benjamin Pierce's compilation from 2005.

My mistake

Ah, right. I interpreted this as a request for (lists of papers) written as of 2005, not for lists of (papers written in 2005).

A Monadic Framework for Subcontinuations

I would add A Monadic Framework for Subcontinuations to the list, as well as Oleg's ZipperFS talk. IMHO, Oleg's "generic zipper" is the biggest news of 2005.

Why Dependent Types Matter

I'd like to mention Why Dependent Types Matter

PLDI usually has good papers.

PLDI usually has good papers. The one I read that really impressed me was this:

Garbage Collection Without Paging.
Matthew Hertz, Yi Feng and Emery D. Berger

OK, so it's only vaguely related to functional programming. I really liked it anyway.


"OK, so it's only vaguely related to functional programming. I really liked it anyway."

? There is no implicit or explicit requirement for it to be even vaguely related to FP.


I haven't been able to read too many CS papers of late and I don't think I've read any (maybe one...) of the following, but it's a safe bet that there are good papers here.

GC Without Paging

I liked that paper as well.

I also enjoyed this one from the same proceedings:

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey Foster

Forgot one...

A Core Calculus of Metaclasses - Sam Tobin-Hochstadt and Eric Allen

(I was reminded of it in another thread.)