Annotated POPL 2007 Program

POPL 2007 is just around the corner, and the Little Calculist has taken time off from inventing Web 4.0 to track down all the papers available online, and collect them in an annotated program, Favourite titles: Proving That Programs Eventually Do Something Good, and Lazy Multivariate Higher-Order Forward-Mode AD. I have no idea what the later means, but I love the pile-up of jargon.

Comment viewing options

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

Automatic Differentiation

AD = Automatic Differentiation. It's a readable paper about an implementation strategy for multivariate AD that doesn't have "differential capture" problems. sigfpe posted in his blog a while ago really enlightening accounts of the technique, starting here, following up to differential geometry and ending by relating it to derivation of containers. I can't recommend sigfpe's blog highly enough.

Related to the Non-Standard Interpretation paper

I spoke with the authors of this paper, and apparently their AD system is based on a technique that was the topic of a second POPL2007 paper: non-standard interpretations by opening closures.

I found the non-standard interpretation paper more interesting, frankly, since it seems to be a general approach that could be applied to lots of interpretations. For example, functional reactive programming, quantum computation, and even some static analysis techniques. I've worked with a language that implements functional reactive programming in Scheme (called FrTime), and many of the techniques in the non-standard interpretation paper are very similar to the techniques used in FrTime. Having a general framework that supports a broad class of such problems is very interesting.

Logic-Flow Analysis of Higher-Order Programs

Matt Mights POPL paper, Logic-Flow Analysis of Higher-Order Programs, is now online.

Geometry of Synthesis: A structural approach to VLSI design

Dan Ghicas paper, Geometry of Synthesis: A structural approach to VLSI design, is now also online.

If anyone finds blogs/notes/summaries of the conference talks, could you post a link?