Robert C. Miller and Brad A. Myers School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 {rcm,bam}@cs.cmu.edu https://www.cs.cmu.edu/~rcm/lapis/