A joint project with Profs.
Gail Kaiser John Kender and Jason Nieh.