A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
This paper presents a new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses. ... We find that the clientdriven approach effectively balances cost and precision, often producing results as accurate as fixedprecision algorithms that are many times more costly. ... McKinley and Michael Hind for their valuable and insightful comments. ...doi:10.1016/j.scico.2005.02.005 fatcat:hf6xhbktqnhgzmpvwtksturxk4
Lecture Notes in Computer Science
Related Work Previous work in various kinds of program analysis, including pointer analysis, has explored ways to reduce the cost of analysis while still producing an accurate result. ... Our client-driven algorithm addresses this problem specifically for the precision of pointer analysis. It is closely related to demand-driven algorithms and mixed-precision analyses. ... We would like to thank Kathryn S. McKinley, Michael Hind, and the anonymous reviewers for their valuable and insightful comments. ...doi:10.1007/3-540-44898-5_12 fatcat:rec2nvkvajbsnaqhzvfkvevuju
Lecture Notes in Computer Science
We have carried out a number of experiments with flow-insensitive, context-insensitive pointer analyses to address the following questions: -How are the transitive effects of pointer analysis affected ... We also found that direct effects are good predictors of transitive effects, and that increased precision in points-to information not only causes a subsequent analysis to produce more precise results, ... Acknowledgements We would like to thank Bob Wardrop and Jonathan Goldstein for their helpful discussions of statistics. ...doi:10.1007/bfb0032731 fatcat:2vwwrnhxxnavve35xrma2uaama
By using minimal input data and adding stochastic point-source pollution to the build-up/wash-off approach, this study highlights calibration and sensitivity analysis of flow and pollution modules, across ... To quantify these changes, we need adaptable and fast models that can reliably explore scenarios without requiring extensive data and inputs. ... We also appreciate the help and support from Caroline Carvalho, Trish Grant, Paul Leahy, Sam LeRay, and Daniella Gerente. ...doi:10.2166/wst.2022.046 pmid:35228347 fatcat:hyfwob566fgt5ni33uaf5obakq
The fast blood flow may reflect wash out of hydrogen from the arterial blood near the electrode surface. This two-compartment analysis assumes noninteraction of the compartments. If ... With the direct-fit method, this portion of the curve does not fit the model, and the fit is biased to the remaining points that are exponential. ...
All steady-state parameters for power distribution systems, such as bus voltage magnitudes, angles, power flows, and power losses, can be calculated by conducting power flow analysis. ... Radial and weakly meshed configurations are applied to the tested system with DG inclusion to investigate their influence on the power flow study findings. ... The results showed that all three methods are accurate, have good convergence, are insensitive to r/x ratios, and are suitable for large systems. ...doi:10.5281/zenodo.1490376 fatcat:thdljs6bxngs5gls5hlou6i67m
Some esamples of program slicing based on flow insensitive points-to analysis are presented. ... A consequence is that a flow and context insensitive points-to analysis exhibits an accuracy similar to that of the flow sensitive counterpart, since the results scarcely depend on flow and context. ...doi:10.1145/253228.253371 dblp:conf/icse/TonellaAFM97 fatcat:cboihulquncmzcjm4mpe4jdzly
We then present a novel technique to perform fast, accurate waveform analysis using CSMs. ... Second we propose a solution for fast and accurate run time waveform analysis utilizing the CSM. ... Acknowledgement The authors would like to gratefully acknowledge Intel Corporation for funding this work and Avi Efrati and Vladimir Tsipenyuk for their valuable suggestions. ...doi:10.1109/isqed.2008.4479697 dblp:conf/isqed/VeetilSB08 fatcat:ny2migbninhavfz55xdttpchje
Accordingly, we provide an efficient algorithm to recognize these flow patterns in a given program and exploit them to yield good tradeoffs between analysis precision and speed. ... 3.4X, and up to 9.2X). ... ACKNOWLEDGMENTS This work was supported by the European Research Council (ERC) under the FP7 and Horizon 2020 research and innovation programs (grant agreements 307334, 790340, and 647544). ...doi:10.1145/3276511 fatcat:lh4xid4owbbj3b7htk74aouatu
American Ceramic Society Bulletin
The strain rates measured in the viscous flow region are sensitive to grain size, density and porosity distribution, whereas é in the high stress region is insensitive to the fore- going variables. ... Tests at a constant O/M=1.97 (93%U enrichment) show that the dependence of é on stress may be accurately described by a viscous flow law [é a o exp —(Q:/RT)] at low stresses (~<8000 psi) and a power-law ...
Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse value-flow analysis for leak detection. ... Saber tracks the flow of values from allocation to free sites using a sparse valueflow graph (SVFG) that captures def-use chains and value flows via assignments for all memory locations represented by ... Building Full-Sparse SSA Form Since our pre-analysis is flow-and context-insensitive, Saber starts to exploit flow-and context-sensitivity from this point to improve its accuracy. ...doi:10.1145/2338965.2336784 dblp:conf/issta/SuiYX12 fatcat:xmlghfbnlzawnk4dbss6pei64y
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case. ... Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii ... types of flow insensitive points-to analyses. ...doi:10.1145/1168857.1168908 dblp:conf/asplos/SilvaS06 fatcat:cohhfsmjfna5jhjmub524jypve
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case. ... Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii ... types of flow insensitive points-to analyses. ...doi:10.1145/1168919.1168908 fatcat:iw46qhcuujf4pnfr27kywksgne
Many compiler optimizations rely on accurate pointer analysis, and to ensure correctness cannot optimize in the maybe case. ... Building on simple control-flow edge profiling, the analysis is both one-level context and flow sensitive-yet can still scale to large programs. ii ... types of flow insensitive points-to analyses. ...doi:10.1145/1168918.1168908 fatcat:6uf3s6adtvdjxc6od3f6zwdggy
« Previous Showing results 1 — 15 out of 48,066 results