Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

86

OOPSLA
2010
Springer

105views Security Privacy» more OOPSLA 2010»

A dynamic evaluation of the precision of static heap abstractions

15 years 1 months ago

A dynamic evaluation of the precision of static heap abstractions

Download berkeley.intel-research.net

Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv

Real-time Traffic

OOPSLA 2010 | Security Privacy |

claim paper

Related Content

» Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers

» Evaluation of Static Analysis Techniques for FixedPoint Precision Optimization

» Statically Inferring Complex Heap Array and Numeric Invariants

» SPEED precise and efficient static estimation of program computational complexity

» ContextSensitive Pointsto Analysis Is It Worth It

» Programming Paradigm Driven Heap Analysis

» DOJ dynamically parallelizing objectoriented programs

» Sound and precise analysis of parallel programs through schedule specialization

» Dynamic Data Structure Analysis for Java Programs

Post Info
More Details (n/a)

Added	29 Jan 2011
Updated	29 Jan 2011
Type	Journal
Year	2010
Where	OOPSLA
Authors	Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv

Comments (0)