Open AccessProceedings Article
Shape Analysis
Reinhard Wilhelm,Shmuel Sagiv,Thomas Reps +2 more
- 25 Mar 2000
pp 1-17
208
TL;DR: In this paper, a shape-analysis algorithm statically analyzes a program to determine information about the heap-allocated data structures that the program manipulates, which can be used to understand or verify programs.
read more
Abstract: A shape-analysis algorithm statically analyzes a program to determine information about the heap-allocated data structures that the program manipulates. The results can be used to understand or verify programs. They also contain information valuable for debugging, compile-time garbage collection, instruction scheduling, and parallelization.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Pointer analysis: haven't we solved this problem yet?
Michael Hind
- 01 Jun 2001
TL;DR: Issues related to pointer analysis and remaining open problems are described.
682
Isolating cause-effect chains from computer programs
Andreas Zeller
- 01 Nov 2002
TL;DR: This work shows how the Delta Debugging algorithm isolates the relevant variables and values of a program state by systematically narrowing the state difference between a passing run and a failing run by assessing the outcome of altered executions to determine wether a change in the program state makes a difference in the test outcome.
Distances and directions in multidimensional shape spaces: implications for morphometric applications.
TL;DR: Bayesian models of episodic evolution support a lateambrian explosive diversification of the metazoa, and performance of a divergence time estimation method under a probabilistic model of rate evolution is evaluated.
435
Robust principal component analysis for functional data
Nicholas Locantore,James Stephen Marron,Douglas G. Simpson,N. Tripoli,Jin-Ting Zhang,K. L. Cohen,Graciela Boente,Ricardo Fraiman,Babette Brumback,Christophe Croux,Jianqing Fan,Alois Kneip,John I. Marden,Daniel Peña,Javier Prieto,James O. Ramsay,Mariano J. Valderrama,Ana M. Aguilera +17 more
TL;DR: A method for exploring the structure of populations of complex objects, such as images, is considered, and endemic outliers motivate the development of a bounded influence approach to PCA.
Kilim: Isolation-Typed Actors for Java
Sriram Srinivasan,Alan Mycroft +1 more
- 07 Jul 2008
TL;DR: Kilim is a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra-lightweight, cooperatively-scheduled threads, (ii) a message-passing framework and (iii) isolation-aware messaging.
References
Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images
Stuart Geman,Donald Geman +1 more
TL;DR: The analogy between images and statistical mechanics systems is made and the analogous operation under the posterior distribution yields the maximum a posteriori (MAP) estimate of the image given the degraded observations, creating a highly parallel ``relaxation'' algorithm for MAP estimation.
Visual pattern recognition by moment invariants
TL;DR: It is shown that recognition of geometrical patterns and alphabetical characters independently of position, size and orientation can be accomplished and it is indicated that generalization is possible to include invariance with parallel projection.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot,Radhia Cousot +1 more
- 01 Jan 1977
TL;DR: In this paper, the abstract interpretation of programs is used to describe computations in another universe of abstract objects, so that the results of abstract execution give some information on the actual computations.
Principal warps: thin-plate splines and the decomposition of deformations
TL;DR: The decomposition of deformations by principal warps is demonstrated and the method is extended to deal with curving edges between landmarks to aid the extraction of features for analysis, comparison, and diagnosis of biological and medical images.
5.5K
Closed-form solution of absolute orientation using unit quaternions
TL;DR: A closed-form solution to the least-squares problem for three or more paints is presented, simplified by use of unit quaternions to represent rotation.
Related Papers (5)
Bjarne Steensgaard
- 01 Jan 1996
Flemming Nielson,Hanne Riis Nielson,Chris Hankin +2 more
- 22 Oct 1999