My primary research interest is in applying language and program analysis techniques to software engineering problems. My dissertation project, ArchJava, is aimed at helping developers to understand and evolve large systems more effectively, by providing language support for specifying and verifying system structure. My dissertation is now available.
I have worked in other research areas as well, developing compiler analyses to eliminate unnecessary synchronization from Java programs and designing a novel lightweight distributed system infrastructure for Java.
jonal@cs.washington.edu http://www.cs.washington.edu/homes/jonal/ 5426 Beacon St. Pittsburgh, PA 15217
work: 412-268-7278 home: 412-521-1918