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 Conï¬gure the Network, Program It! Domain-Speciï¬c Programming Languages for Network Systems Nettle: Functional Reactive Programming for OpenFlow Networks
Posted in Publications Tagged Computer Networks, Haskell 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 Statistics, Types 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 Optimization, Statistics, Types 1 Comment
I’ll be presenting at IBM PL Day on July 29.
Abstract and slides are here.
Posted in News Tagged Optimization, Statistics, Types Comments Off