Recent publications

Language Design and Analyzability: A Retrospective

with Barbara G. Ryder, in the Journal of Software: Practice and Experience.

Remote Batch Invocation for SQL Databases

with William R. Cook, in DBPL 2011.