Home

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!)

By Matt Hellige at 2005-12-13 06:32 | Fun | other blogs | 18193 reads

Comment viewing options

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

Lists

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

By Frank Atanassow at Tue, 2005-12-13 10:50 | login or register to post comments

2005?

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

By Sjoerd Visscher at Tue, 2005-12-13 14:04 | login or register to post comments

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).

By Frank Atanassow at Tue, 2005-12-13 16:26 | login or register to post comments

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.

By Paul Snively at Tue, 2005-12-13 14:03 | login or register to post comments

Why Dependent Types Matter

I'd like to mention Why Dependent Types Matter

By Enrique Vetere at Tue, 2005-12-13 18:04 | login or register to post comments

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.

By Thomas Lindgren at Tue, 2005-12-13 19:15 | login or register to post comments

Danvy

"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.

Anyways...

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.

By Derek Elkins at Tue, 2005-12-13 19:50 | login or register to post comments

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

By n8gray at Fri, 2005-12-16 02:16 | login or register to post comments

Forgot one...

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

(I was reminded of it in another thread.)

By Matt Hellige at Tue, 2006-01-03 20:33 | login or register to post comments