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