Filters








3,308 Hits in 3.4 sec

The Complexity of Andersen's Analysis in Practice [chapter]

Manu Sridharan, Stephen J. Fink
2009 Lecture Notes in Computer Science  
While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes.  ...  In particular, we show that a simple algorithm can compute Andersen's analysis in worst-case quadratic time as long as the input program is k-sparse, i.e., it has at most k statements dereferencing each  ...  Acknowledgments We thank the anonymous reviewers for their helpful comments and Ras Bodík for input on earlier versions of this work.  ... 
doi:10.1007/978-3-642-03237-0_15 fatcat:drvgvornknhlvabzp5eqldoenu

The Flow-Insensitive Precision of Andersen's Analysis in Practice [chapter]

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
2011 Lecture Notes in Computer Science  
We present techniques for determining the precision gap between Andersen's points-to analysis and precise flow-insensitive points-to analysis in practice.  ...  In our experimental evaluation over a suite of small-to medium-sized C programs, we never observed a precision gap between Andersen's analysis and the precise analysis.  ...  Foster for fruitful discussions on an earlier draft of this paper, as well as the anonymous reviewers for their helpful comments.  ... 
doi:10.1007/978-3-642-23702-7_9 fatcat:qv2rpwbjprbypntkatzkaiql7y

Identification of determinants of the utilization of acupuncture treatment using Andersen's behavioral model

Yeseul Lee, Younbyoung Chae
2015 Integrative Medicine Research  
healthcare services is the result of a complex decision-making process with different determinants.  ...  This research aims to identify the determinants of the utilization of acupuncture treatment using Andersen's behavioral model and quality of life.  ... 
doi:10.1016/j.imr.2015.04.379 fatcat:it5buymk3nczniqdnmatv7t45a

Off-line variable substitution for scaling points-to analysis

Atanas Rountev, Satish Chandra
2000 SIGPLAN notices  
The purpose of points-to analysis is to compute this information safely, and as accurately as is practical.  ...  Experiments show that our algorithm can reduce the cost of Andersen's points-to analysis [2] substantially: on average, it reduced the running time by 53% and the memory cost by 59%, relative to an efficient  ...  This substitution preserves the precision of Andersen's analysis, and in practice, also reduces substantially the cost of the remaining points-to computation.  ... 
doi:10.1145/358438.349310 fatcat:hxfxlawfojea3cvr6crbw3kjlu

Periodontitis and quality of life: What is the role of socioeconomic status, sense of coherence, dental service use and oral health practices? An exploratory theory-guided analysis on a Norwegian population

Gro Eirin Holde, Sarah R. Baker, Birgitta Jönsson
2018 Journal of Clinical Periodontology  
Results: Andersen's model explained a large part of the variance in use of dental services (58%) and oral health-related impacts (55%), and to a less extent periodontitis (19%).  ...  Practical implications: The results contradicted the assumption that regular and prevention-oriented dental attendance should prevent or control periodontitis.  ...  The authors would also like to thank all of the dental teams at the public dental clinics in Finnsnes, Harstad, Målselv, Storslett and TkNN for helping with the data collection.  ... 
doi:10.1111/jcpe.12906 pmid:29681132 fatcat:v6nzutwghfhc5oc6f47wvp42py

Off-line variable substitution for scaling points-to analysis

Atanas Rountev, Satish Chandra
2000 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00  
The purpose of points-to analysis is to compute this information safely, and as accurately as is practical.  ...  Experiments show that our algorithm can reduce the cost of Andersen's points-to analysis [2] substantially: on average, it reduced the running time by 53% and the memory cost by 59%, relative to an efficient  ...  This substitution preserves the precision of Andersen's analysis, and in practice, also reduces substantially the cost of the remaining points-to computation.  ... 
doi:10.1145/349299.349310 dblp:conf/pldi/RouhtevC00 fatcat:pjzezcpyfrgbpfxtvgtolznloe

The role of psychosocial factors and treatment need in dental service use and oral health among adults in Norway

Birgitta Jönsson, Gro Eirin Holde, Sarah R. Baker
2020 Community Dentistry and Oral Epidemiology  
Andersen's behavioural model fit the data well and explained a large part of the variance in use of dental services (58%), oral health-related impacts (48%) and, to a lesser extent, decayed teeth (12%)  ...  using the revised Andersen's behavioural model as the theoretical framework.  ...  The findings regarding use of dental services were in line with our previous analysis testing Andersen's behavioural model with periodontitis as the clinically evaluated outcome. 27 In relation to both  ... 
doi:10.1111/cdoe.12518 pmid:32048318 fatcat:hvsfrk3rezcg3c3hoo476ds37y

Demand-driven points-to analysis for Java

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
2005 Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05  
Our evaluation shows that our regularization and refinement approach achieves nearly the precision of field-sensitive Andersen's analysis in time budgets as small as 2ms per query.  ...  We also show how to regain most of the precision lost in the regular approximation as needed through refinement.  ...  Acknowledgements This work is supported in part by the National Science Foundation, with grants CCF-0085949, CCR-0105721, CCR-0243657, CNS-0225610, CCR-0326577, an award from University of California MICRO  ... 
doi:10.1145/1094811.1094817 dblp:conf/oopsla/SridharanGSB05 fatcat:tq3jvlflwbegtbrp3ix3tumzzu

The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis [article]

Anders Alnor Mathiasen, Andreas Pavlogiannis
2020 arXiv   pre-print
Pointer analysis is one of the fundamental problems in static program analysis.  ...  The most common formulation is Andersen's Pointer Analysis (APA), defined as an inclusion-based set of m pointer constraints over a set of n pointers.  ...  earlier version of this manuscript.  ... 
arXiv:2006.01491v3 fatcat:7egcvj77jvcy5migd47cnquy7a

The fine-grained and parallel complexity of andersen's pointer analysis

Anders Alnor Mathiasen, Andreas Pavlogiannis
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
Pointer analysis is one of the fundamental problems in static program analysis.  ...  The most common formulation is Andersen's Pointer Analysis (APA), defined as an inclusion-based set of 𝑚 pointer constraints over a set of 𝑛 pointers.  ...  earlier version of this manuscript.  ... 
doi:10.1145/3434315 fatcat:qtuyvgtwibcqzbfzgihyxxh4x4

A cross-sectional study of Swiss ambulatory care services use by multimorbid patients in primary care in the light of the Andersen model

Mia Messi, Yolanda Mueller, Dagmar M. Haller, Andreas Zeller, Stefan Neuner-Jehle, Sven Streit, Bernard Burnand, Lilli Herzig
2020 BMC Family Practice  
A secondary aim was to apply Andersen's model to explore factors associated with this use. In a cross-sectional study, 100 Swiss GPs enrolled up to 10 multimorbid patients each.  ...  The present study aimed to explore multimorbid patients' use of ambulatory healthcare in terms of homecare and other allied health services, visits to GPs, and number of specialists involved.  ...  The funding source had no role in study design, data collection, analysis, or interpretation, nor in the manuscript's preparation or the decision to submit the paper for publication.  ... 
doi:10.1186/s12875-020-01221-x pmid:32718315 fatcat:rmfnl2vbf5dglne7zzdiey7sfq

PMS Monograph supplement 9 Cover and Front matter

1986 Psychological Medicine Monograph Supplement  
of the study 15 Method 16 The data 16 Variables used in the analyses 17 Analysis 18 Results 19 Characteristics of the sample 19 The extent of minor psychiatric morbidity in the community  ...  Minor psychiatric morbidity and general practice consultation It is now well-established that the bulk of the psychiatric morbidity that exists in the community is managed not by psychiatrists, but in  ... 
doi:10.1017/s0264180100003003 fatcat:3oraxpypdne43apkdpnboqwury

Prioritizing constraint evaluation for efficient points-to analysis

Rupesh Nasre, R. Govindarajan
2011 International Symposium on Code Generation and Optimization (CGO 2011)  
Using the prioritization framework developed in this paper, we implement prioritized versions of Andersen's analysis, Deep Propagation, Hardekopf and Lin's Lazy Cycle Detection and Bloom Filter based points-to  ...  We observe that prioritizing the order in which the information is processed within each of the above two steps can lead to efficient execution of the points-to analysis.  ...  ACKNOWLEDGMENT We thank Aditya Kanade, Akash Lal, Aditya Thakur and Kapil Vaswani for their helpful comments on an initial draft of the paper.  ... 
doi:10.1109/cgo.2011.5764694 dblp:conf/cgo/NasreG11 fatcat:swlmy2q4g5fmbivclxjwhiaqmq

Ultra-fast aliasing analysis using CLA

Nevin Heintze, Olivier Tardieu
2001 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation - PLDI '01  
We describe the design and implementation of a system for very fast points-to analysis.  ...  On code bases of about a million lines of unpreprocessed C code, our system performs eldbased Andersen-style points-to analysis in less than a second and uses less than 10MB of memory.  ...  ANDERSEN'S POINTS-TO ANALYSISWe review Andersen's points-to analysis and introduce some de nitions used in the rest of the paper.  ... 
doi:10.1145/378795.378855 dblp:conf/pldi/HeintzeT01a fatcat:t27imzij7feindixtxxkdr4dcu

MOOC design – Dissemination to the masses or facilitation of social learning and a deep approach to learning?

Inger-Marie Falgren Christensen, Mette Dam Laursen, Jacob Bøggild, Torsten Bøgh Thomsen
2016 Læring og Medier  
This article accounts for the design of the massive open online course (MOOC) Hans Christian Andersen's Fairy tales on FutureLearn and reports on the effectiveness of this design in terms of engaging learners  ...  In the first run of the MOOC, a light facilitation approach was used to motivate and engage learners.  ...  The less familiar ones would help highlight the richness and complexity of Andersen's works.  ... 
doi:10.7146/lom.v9i16.24279 fatcat:5rfrvjhb6rccjid6nwmfhv6fzm
« Previous Showing results 1 — 15 out of 3,308 results