| Document Date: 2015-04-28 14:36:09
Open Document File Size: 354,34 KBShare Result on Facebook
Company QF BV / Intel / Microsoft / / Country United States / / / Facility Abstract John Regehr University of Utah / LLVM PR21245 Store / David Menendez Rutgers University / / IndustryTerm tool chain / bitvector utilities / possiV ble solutions / attribute inference algorithm / Random testing tools / proof machinery / compiler testing tools / software developers / unification-based type inference algorithm / type systems / software libraries / usable formal methods tool / / OperatingSystem Ubuntu / / Organization University of Utah / Google Faculty / National Science Foundation / Rutgers University / / Person David Majnemer / Eric Eide / Raimondas Sasnauskas / Coq / / Position interactive proof assistant / / Product Alive / / ProgrammingLanguage C / C++ / / ProvinceOrState Utah / / Technology unification-based type inference algorithm / attribute inference algorithm / Operating Systems / little-endian / / URL http /
SocialTag |
Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez