Chris Lewis

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper describes the impetus behind and design of a quasi-casual math puzzle game with the goal of crowdsourcing formal software verification through the analysis of loop invariants. This game, Xylem: The Code of Plants, presents players with puzzles derived from data produced by loops in a particular piece of software. Solving these puzzles involves(More)
  • 1