Formal Verification at Utah

This is a research page for publications and software created under Prof. Ganesh Gopalakrishnan’s guidance. Collaborators include Profs. Zvonimir Rakamarić, Hari Sundar, Ryan Stutsman, Mary Hall, and members of the Center for Parallel computing at Utah (CPU) . We have preserved our classic website that has content dating back to 1985.