Back to Results
First PageMeta Content
Dimension / Affine space / Affine arithmetic / Expected value / Randomized algorithm / Affine connection / Conditional expectation / Affine geometry / Mathematics / Mathematical analysis


Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu
Add to Reading List

Document Date: 2010-10-29 12:59:19

Open Document

File Size: 252,21 KB

Share Result on Facebook

City

New Orleans / Vancouver / Montreal / Wiley / /

Company

Open Source Quality Group / International Journal / Microsoft / /

Country

United States / Canada / /

Currency

USD / /

/

Facility

Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California / /

IndustryTerm

deterministic polynomial-time algorithm / probabilistic algorithms / randomized algorithm / polynomial-time randomized algorithm / Partial online cycle elimination / deterministic algorithm / abstract interpretation algorithm / computing / fallible hardware / random interpreter algorithm / /

Organization

National Science Foundation / University of California / Berkeley / Air Force / /

Person

R. Let / M. Wegman / V / Mark Wegman / Chandra / R. Given / Blum / Sumit Gulwani George / /

Position

editor / abstract interpreter / concrete interpreter / RANDOMIZED INTERPRETER / random interpreter / representative / Program analysis General / unified lattice model for static analysis / UNION OPERATION The random interpreter / interpreter / /

Product

C-1693 / /

ProgrammingLanguage

R / C / /

ProvinceOrState

Louisiana / British Columbia / California / New York / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

3-d / proposed algorithm / deterministic algorithm / random interpreter algorithm / Adjust algorithm / deterministic polynomial-time algorithm / abstract interpretation algorithm / polynomial-time randomized algorithm / /

SocialTag