RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution Mark Hills, Paul Klint, Jurgen Vinju Sep 8, 2011 PDF Mark Hills Associate Professor My research interests include programming languages, program analysis, and software engineering. Paul Klint Jurgen Vinju