Monthly Archives: July 2010
“programs must be written for people to read, and only incidentally for machines to execute” — Abelson, Sussman, and Sussman (1996)
Andi Voellmy and the Nettle Team have released two tech reports describing our work so far. Don’t Conﬁgure the Network, Program It! Domain-Speciﬁc Programming Languages for Network Systems Nettle: Functional Reactive Programming for OpenFlow Networks
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
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
Abstract and slides are here.