[LLVMdev] Checked arithmetic

John Regehr regehr at cs.utah.edu
Thu Mar 27 23:06:22 PDT 2008


> professor, 2nd year in fact!  But the hat-tipping should go to Chris:
> he took our initial ideas, ran with it, made it his MS thesis, and
> eventually took it to a level well beyond your typical research
> infrastructure.

Nice!  We need more Chrises!

John



More information about the llvm-dev mailing list