Monthly Archives: July 2010

Abelson, Sussman, and Sussman: programming languages are for humans

“programs must be written for people to read, and only incidentally for machines to execute” — Abelson, Sussman, and Sussman (1996)

Posted in Quotes | Leave a comment

Nettle Tech Reports

Andi Voellmy and the Nettle Team have released two tech reports describing our work so far. Don’t Configure the Network, Program It! Domain-Specific Programming Languages for Network Systems Nettle: Functional Reactive Programming for OpenFlow Networks

Posted in Publications | Tagged , | Leave a comment

Presenting at the CScADS Workshop on Autotuning for Petascale Applications

Thanks to Rich Vuduc for inviting me to give a talk at CScADS. Autotuning is an approach for generating efficient code for high performance computing. I’ll try to summarize how my PL work can contribute to and benefit from this … Continue reading

Posted in News, Presentations | Tagged , | 1 Comment

IBM PL Day 2010

Here are the abstract and slides for my talk at IBM PL Day. Title: Mechanizing Optimization and Statistics Abstract: Scientific and engineering investigations are formalized most often in the language of numerical mathematics. The tools supporting this are numerous but … Continue reading

Posted in Presentations | Tagged , , | 1 Comment

I’ll be presenting at IBM PL Day on July 29.

Abstract and slides are here.

Posted in News | Tagged , , | Comments Off