"I Will NEVER Have a Homepage..."

Galen Williamson
College of Computer Science at Northeastern University
222 Egan
Internet: gwilliam@ccs.neu.edu
Phone: (617) 373-8340

Research

With Professor Mitchell Wand:

Event Models

Control Flow Analysis
Our paper, "A Modular, Extensible Proof Method for Small-step Flow Analyses", has been accepted for ESOP 2002: PS.gz

Slides from my talk at the Northeastern University PL Day 2002: PS.gz
With Professor Matthias Felleisen
Researchers in Programming Languages and Compilers

Miscellania

For anyone who might be interested in some old game code of mine, here is a version of SpaceWar that I hacked up in Borland Object Pascal for Windows 3.1 a few years back. It's not very polished, but it plays well and has fairly decent AI, and the source is heavily commented.

Executable: 27K
Source: 21K
Instructions

Galen Williamson <gwilliam@ccs.neu.edu>

Last modified: Wed Feb 13 18:00:16 EST 2002