The following individuals have contributed code to CVC Lite.
------------------------------------------------------------

Clark Barrett, New York University
Sergey Berezin, Stanford University
Vijay Ganesh, Stanford University
Ying Hu, New York University
Jake Donham, New York University
Sean McLaughlin, New York University
Daniel Wichs, Stanford University
Jim Zhuang, Stanford University
Mark Zavislak, Stanford University
Deepak Goyal, Calypto
Yeting Ge, New York Univeristy
