List of Participants at the September 12, 2000 Open Source Quality Project
Research Group Lunch Meeting.

Alex Aiken	<aiken@cs.berkeley.edu>
Luca de Alfaro	<dealfaro@eecs.berkeley.edu>
Jeff Foster	<jfoster@eecs.berkeley.edu>
David Gay	<dgay@cs.berkeley.edu>
Sumit Gulwani	<gulwani@cs.berkeley.edu>
Tom Henzinger	<tah@eecs.berkeley.edu>
Ben Horrowitz	<bhorowit@cs.berkeley.edu>
Ranjit Jhala	<jhala@eecs.berkeley.edu>
Ben Liblit	<liblit@eecs.berkeley.edu>
Rupak Majumdar	<rupak@eecs.berkeley.edu>
Freddy Mang	<fmang@cs.berkeley.edu>
Scott McPeak	<smcpeak@EECS.Berkeley.EDU>
Marius Minea	<marius@eecs.berkeley.edu>
Anders Moeller	<amoeller@eecs.berkeley.edu>
George Necula	<necula@eecs.berkeley.edu>
Vinayak Prabhu	<vinayak@eecs.berkeley.edu>
S. P. Rahul	<sprahul@eecs.berkeley.edu>
Zhendong Su	<zhendong@eecs.berkeley.edu>
David Wagner	<daw@EECS.Berkeley.EDU>
Wes Weimer	<weimer@cs.berkeley.edu>