manasij7479 Karma 22 Created 7 years ago About CS PhD student at the University of Utah, working on LLVM, formal methods, superoptimizers, and compiler development tools.manasij7479@gmail.com All submissions on HN · View profile on HN