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