National University of Singapore / Northwestern University / Northeastern University / University of Utah / Concurrent ML library / Brigham Young University / California Polytechnic State University / /
IndustryTerm
continuation-based web servers / visualization tools / web applications / lightweight semantics engineering tools / software engineers / evaluation contexts inserts applications / constraint solving algorithm / plain software systems / counterexample-search strategies / language tool / transition systems / software systems / software artifacts / mechanization tools / validation tools / inference algorithm / contemporary tools / test coverage tool / concurrent systems / Tools / semantics engineering tools / graphical tools / software architecture / program-rewriting systems / mature technology / /
Organization
National University of Singapore / Northeastern University / Boston / Northwestern University / University of Utah / Salt Lake City / California Polytechnic State University / San Luis Obispo / Brigham Young University / /
Person
Eric Cheng / Ingo Maier / Henrik Nilsson Sculthorpe / Martin Odersky Rompf / Nikhil Swamy / Cheney / Simon Peyton Jones / Tiark Rompf / Hai Liu / Jay McCarthy McCarthy / Jan Midtgaard / Avik Chaudhuri Chaudhuri / Dimitrios Vytiniotis Schrijvers / Robert Bruce / Suresh Jagannathan Ziarek / Paul Hudak Liu / Michael Hicks / Martin Henz / Gavin M. Bierman Swamy / Neil Sculthorpe / Tom Schrijvers / Thomas P. Jensen Midtgaard / Martin Sulzmann / /
Position
investigator / driver / working semantics engineer / memoizing evaluator / formal model / General / semantics engineer / non-memoizing evaluator / author / lead author / writer / human test case writer / representative / Redex programmer / programmer / /
Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2