Credits

The following people have contributed ideas, code or examples to IVy.

• Ken McMillan, Microsoft Research
• Oded Padon, Tel Aviv University
• Aurojit Panda, UC Berkeley
• Mooly Sagiv, Tel Aviv University
• Sharon Shoham, Academic College of Tel Aviv Yaffo