Monthly Archives: July 2010

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

Posted on July 30, 2010 by ashish

“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

Posted on July 26, 2010 by ashish

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

Posted on July 22, 2010 by ashish

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

Posted on July 14, 2010 by ashish

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.

Posted on July 14, 2010 by ashish

Abstract and slides are here.

Posted in News | Tagged , , | Comments Off