Contact information:
Andreas Sundquist: asundqui [at] cs [dot] stanford [dot] edu
Eugene Fratkin: fratkin [at] cs [dot] stanford [dot] edu
