Site operation discussions
In the interest of discovering some further reading material,
I have created a quick survey open to all LtU'ers..
1) One of your favourite papers of all time
2) A recent paper you consider ground-breaking in some way
3) A lesser-known paper that you feel ought to be more widely read
Any PL topics welcome!
A recurring theme in my postings has been Amorphous Computing. For 1 and 3, I'd have Butera's PhD thesis, Paintable Computing. The Amorphous Computing Manifesto has some familiar names, Abelson and Sussman.
Amorphous computing is closely related to biocomputing and in that vein I recently looked for a book for the purpose of understanding the "primitives, means of combination, and means of abstraction" that nature provides. I came across Bionanotechnology. This book is not PL or even CS related, but you can come at it from a perspective of "how do I program this?" Despite many biologically inspired ideas in computer science, biology is an area where it seems many computer scientists are relatively weak (I certainly am.) At any rate, this book is fascinating.
Another recurring theme of mine is exokernels and Xok in particular. Here it is Engler's PhD thesis that I refer to and also falls under 1 and 3 for me. This is the modern analog of Synthesis OS paper, Massalin's PhD thesis and another inspiring paper. This is an operating systems paper but there are direct application of PLT in both directions.
I second the first. Definitely my personal favorite.
In the "favourite paper" category: Guy Steele's Growing a Language. Video of the original presentation upon which the paper is based is available here.
My favorites are Tracing the Dynabook: A Study of Technocultural Transformations, a Ph.D. thesis by John Maxwell, and a couple of essays:
The Art of Lisp and Writing, by Richard Gabriel, and History of Thinking, by Chris Crawford.
I was perusing the stacks at my uni last week and found, of all things, Hillis' ph.d disseration on the Connection Machine which goes into a lot of detail on CM Lisp and the problems the CM was meant to tackle.
The Connection Machine story is very interesting in it's own right because of the history and personalities that participated. Plus the subsequent startup and commercilizatioh of the technology in the 80's - 90's time frame, the company being bought and the founders scattering to the four winds.
1) Program Design in the UNIX Environment by Rob Pike and Brian Kernighan.
2) I haven't seen anything 'groundbreaking' for some time... except Go's interfaces, but there is no paper on that (yet).
3) The Plan 9 C Compilers by Ken Thompson.
1) One of your favourite papers of all time:
How Complex Systems Fail by Richard Cook
and since that one is so short as to basically not be a paper, also see:
Why Cryptosystems Fail by Ross Anderson
2) A recent paper you consider ground-breaking in some way:
I'm not in an expert in any field where I could judge "ground-breaking" contributions accurately.
3) A lesser-known paper that you feel ought to be more widely read:
On the Design of Display Processors T.H. Myer, I. E. Sutherland;
Communications of the ACM, Vol 11, No. 6, June 1968 *
* Also known as The Great Wheel of Reincarnation story.
Complex Systems Fail (Being a Short Treatise on the
Nature of Failure; How Failure is Evaluated; How Failure is
Attributed to Proximate Cause; and the Resulting New
Understanding of Patient Safety) by Richard Cook.
A valuable contribution to
Systemantics, without a doubt.
The papers page (see left nav bar) may be a good place to look. Rarely updated these days, it contains links to some of my favorites.
zs = append(xs,ys)
element in list
I recently wondered about how to give semantics to functional languages which use random numbers. I stumbled over this paper by Kozen which is about imperative languages but nevertheless very worthwile reading, especially if you enjoyed your functional analysis classes.
1) "Design by Contract: The Lessons of Ariane" (article); by Jean-Marc JÃ©zÃ©quel, IRISA and Bertrand Meyer, ISE (01/1997) :
2) "From Patterns to Components" (Ph.D. dissertation); by Karine Arnout (03/2004) :
3) "The 'Gang of Four' Companion -- Formal specification of design patterns in LePUS3 and Class-Z" (Technical Report); by Amnon H. Eden, Jonathan Nicholson, Epameinondas Gasparis (12/2007) :