Alex's Software Page

I subscribe to the view that computer science researchers in the area of programming languages and software have two ways to disseminate their results. Papers are the means of communicating ideas to other specialists in the area, and implementations are the means of communicating ideas to non-specialists, in the form of tools they can use. My students and I probably devote more effort than is usual in translating our research into software that can be used by others.

Here is a list of publicly available software systems with which I have been involved: