manasij7479

manasij7479

Joined 8 years ago, with 22 karma

Submissions

Comments

Favorites

Follow via RSS

About

CS PhD student at the University of Utah, working on LLVM, formal methods, superoptimizers, and compiler development tools.

manasij7479@gmail.com