Identification of logically related heap regions

This paper introduces a novel technique for identifying logically related sections of the heap such as recursive data structures, objects that are part of the same multi-component structure, and related groups of objects stored in the same collection/array. When combined withthe lifetime properties of these structures, this information can be used to drive a range of program optimizations including pool allocation, object co-location, static deallocation, and region-based garbage collection. The technique outlined in this paper also improves the efficiency of the static analysis by providing a normal form for the abstract models (speeding the convergence of the static analysis). We focus on two techniques for grouping parts of the heap. The first is a technique for precisely identifying recursive data structures in object-oriented programs based on the types declared in the program. The second technique is a novel method for grouping objects that make up the same composite structure and that allows us to partition the objects stored in a collection/array into groups based on a similarity relation. We provide a parametric component in the similarity relation in order to support specific analysis applications (such as a numeric analysis which would need to partition the objects based on numeric properties of the fields). Using the Barnes-Hut benchmark from the JOlden suite we show how these grouping methods can be used to identify various types of logical structures allowing the application of many region-based program optimizations.

Directives for a Correct Diagnosis

A special Working Group, to study and develop standars related to Building Restoration, Rehabilitation and Maintenance, was formed in January 2001 in AENOR (Spanish Association for Codes and Standars) under the management of the Department of Building Construction of the School of Architecture of Madrid (DCTA-UPM). Three groups were organized to deal with different topics: Diagnosis, Techiques and Materials, and Maintenance. In this paper the differents topics in which the Diagnosis Subgroup is working are described: historical studies, constructive description of the building and building pathology. These will be basic to carry out a correct diagnosis of any type of building, whether it is historic or not. In the development of such topics, the recognizable architectural values are justified as they are prior to the diagnosis stage. As an example of the subgroup work, several pathology cards are shown which include: longitudinal cracks of mechanical origin in beams of concrete structures, façade closings and claddings, and general symptoms of installation services.

Automatic binding-related error diagnosis in logic programs

This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging.