message from the workshop chairs the first international workshop on program debugging in china (iwpdc 2010)

National Laboratory for Parallel and Distributed Processing; The University of Hong Kong

automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

民众社会风险认知的影响因素及作用机制

Risk perception is one of important subjects in management psychology and cognitive psychology. It is of great value in the theory and practice to investigate the social risk events that the public cares a lot especially in this social transition period. Furthermore, this study explored the factors that influence the risk perception and the results caused by risk perception. A survey including 30 hazards and 8 risk attributes was designed and distributed to about 3, 200 residents of 8 districts, Beijing. The major findings are listed as following： Firstly, combining the methods of system science and psychology, GAE program was used to indentify 7 groups of social risk events, such as national safe, government management, social stability, general mood of society, economic and finance, resources and environment & daily life problems. This study provided substance for the following studies and it was also a new attempt in research method which is of certain reference value for the related researches. Secondly, a scale of societal risk perception was designed and 2 factors were identified (Dread Risk & Unknown Risk). Reliability analysis, EFA and CFA show the reliability and validity of the societal risk questionnaire is good enough. The investigation using this scale showed that older participants and higher socioeconomic status perceived the societal hazards to be more threatening than did younger participants and lower socioeconomic status. However, there is no gender difference. Thirdly, structural equation model was used to analyze the influence factors and mechanism of societal risk perception. Risk taking, government support and social justice could influence societal risk perception directly. Government support moderated the relationship between government trust and societal risk perception. Societal risk perception influenced life satisfaction, public policy preferences and social development belief. Multi-group analysis was used to find out that the participants who have different socioeconomic status express different mechanism. Fourthly, the result of the research was used to explore the risk event of 2008 Olympic game. The results showed that government support and preparation of Olympic game influenced societal risk perception directly. Preparation moderated the relationship between government trust and risk perception. Risk perception influenced worry, effect of Olympic game and belief of successl. This result proved that risk perception could be used as an indicator. The indictor of risk perception was used to identify the characteristics of higher risk perception group. Finally, suggestions to the related decision were provide to the government.

Automated Program Recognition by Graph Parsing

Recognizing standard computational structures (cliches) in a program can help an experienced programmer understand the program. We develop a graph parsing approach to automating program recognition in which programs and cliches are represented in an attributed graph grammar formalism and recognition is achieved by graph parsing. In studying this approach, we evaluate our representation's ability to suppress many common forms of variation which hinder recognition. We investigate the expressiveness of our graph grammar formalism for capturing programming cliches. We empirically and analytically study the computational cost of our recognition approach with respect to two medium-sized, real-world simulator programs.

Program Improvement by Automatic Redistribution of Intermediate Results

Introducing function sharing into designs allows eliminating costly structure by adapting existing structure to perform its function. This can eliminate many inefficiencies of reusing general componentssin specific contexts. "Redistribution of intermediate results'' focuses on instances where adaptation requires only addition/deletion of data flow and unused code removal. I show that this approach unifies and extends several well-known optimization classes. The system performs search and screening by deriving, using a novel explanation-based generalization technique, operational filtering predicates from input teleological information. The key advantage is to focus the system's effort on optimizations that are easier to prove safe.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference

TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are generated by an extensible combinator language from either existing types or primitive terminals. These generated types are located in a lattice of predicate subsumption which captures necessary entailment between types; if satisfaction of one type necessarily entail satisfaction of another, the first type is below the second in the lattice. The inferences make by TYPICAL computes the position of the new definition within the lattice and establishes it there. This information is then accessible to both later inferences and other programs (reasoning systems, code analyzers, etc) which may need the information for their own purposes. TYPICAL was developed as a representation language for the discovery program Cyrano; particular examples are given of TYPICAL's application in the Cyrano program.

Automated Program Recognition

The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, e.g., maintenance, modification, and debugging. This report describes a recognition system, called the Recognizer, which automatically identifies occurrences of stereotyped computational fragments and data structures in programs. The Recognizer is able to identify these familiar fragments and structures, even though they may be expressed in a wide range of syntactic forms. It does so systematically and efficiently by using a parsing technique. Two important advances have made this possible. The first is a language-independent graphical representation for programs and programming structures which canonicalizes many syntactic features of programs. The second is an efficient graph parsing algorithm.

Dependency Directed Reasoning for Complex Program Understanding

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. [Sussman, 1975] produced such a system for a 'mini-world'; but truly intelligent programs must be considerably more complex. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. There is also a complexity barrier in the world of commercial software which is making the cost of software production and maintenance prohibitive. Here too a system which is capable of understanding complex programs is a necessary step. The Programmer's Apprentice Project [Rich and Shrobe, 76] is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification.

CARPS: A Program which Solves Calculus Word Problems

A program was written to solve calculus word problems. The program, CARPS (CALculus Rate Problem Solver), is restricted to rate problems. The overall plan of the program is similar to Bobrow's STUDENT, the primary difference being the introduction of "structures" as the internal model in CARPS. Structures are stored internally as trees. Each structure is designed to hold the information gathered about one object. A description of CARPS is given by working through two problems, one in great detail. Also included is a critical analysis of STUDENT.

SIR: A Computer Program for Semantic Information Retrieval

SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability to "understand" semantic information. SIR's semantic and deductive ability is based on the construction of an internal model, which uses word associations and property lists, for the relational information normally conveyed in conversational statements. A format-matching procedure extracts semantic content from English sentences. If an input sentence is declarative, the system adds appropriate information to the model. If an input sentence is a question, the system searches the model until it either finds the answer or determines why it cannot find the answer. In all cases SIR reports its conclusions. The system has some capacity to recognize exceptions to general rules, resolve certain semantic ambiguities, and modify its model structure in order to save computer memory space. Judging from its conversational ability, SIR, is a first step toward intelligent man-machine communication. The author proposes a next step by describing how to construct a more general system which is less complex and yet more powerful than SIR. This proposed system contains a generalized version of the SIR model, a formal logical system called SIR1, and a computer program for testing the truth of SIR1 statements with respect to the generalized model by using partial proof procedures in the predicate calculus. The thesis also describes the formal properties of SIR1 and how they relate to the logical structure of SIR.

ADEPT: A Heuristic Program for Proving Theorems of Group Theory

A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its operation is basically heuristic, incorporating many of the techniques of the human mathematician in a "natural" way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further efforts along these lines, and comparisons with related work previously reported in the literature have been made.

Flexibility and Efficiency in a Computer Program for Designing Circuits

This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem solver with built-in-control-structure concepts. This problem solver and its knowledge base in the applicaitn areas of design and electronics are descrbed. The prgram embodying it is being used to explore the solutionof some modest problems in circuit design. It is concluded that shallow reasoning about problem-solver plans is necessary for flexibility, and can be implemented with reasonable efficiency.

Program, abstracts and related documents.

The context: Soil biodiversity and sustainable agriculture; Abstracts - Theme 1: Monitoring and assessment: Bioindicators of soil health: assessment and monitoring for sustainable agriculture; Practical tools to measure soil health and their use by farmers; Biological soil quality from biomass to biodiversity - importance and resilience to management stress and disturbance; Integrated management of plant-parasitic nematodes in maize-bean cropping systems; Microbial quantitative and qualitative changes in soils under different crops and tillage management systems in Brazil; Diversity in the rhizobia associated with Phaseolus vulgaris L: in Ecuador and comparisons with Mexican bean rhizobia; Sistemas integrados ganadería-agricultura en Cuba; Soil macrofauna as bioindicator of soil quality; Biological functioning of cerrado soils; Hydrolysis of fluorescein diacetate as a soil quality indicator in different pasture systems; Soil management and soil macrofauna communities at Embrapa Soybean, Londrina, Brazil; Soil macrofauna in a 24 - year old no-tillage system in Paraná, Brazil; Invertebrate macrofauna of soils inpastures under different forms of management in the cerrado (Brazil); Soil tillage modifies the invertebrate soil macrofauna community; Soil macrofauna in various tillage and land use systems on an oxisols near Londrina, Paraná, Brazil; Interference of agricultural systems on soil macrofauna; Scarab beetle-grub holes in various tillage and crop management systems at Embrapa Soybean, Londrina, Brazil; Biological management of agroecosystems; Soil biota and nutrient dynamics through litterfall in agroforestry system in Rondônia, Amazônia, Brazil; Soil-C stocks and earthworm diversity of native and introduced pastures in Veracruz, Mexico; Theme 2 : Adaptive management: Some thoughts on the effects and implications of the transition from weedy multi-crop to wead-free mono-crop systems in Africa; Towards sustainable agriculture with no-tillage and crop rotation systems in South Brazil; Effect of termites on crusted soil rehabilitation in the Sahel; Management of macrofauna in traditional and conventional agroforestry systems from India with special reference to termites and earthworms; Adaptive management for redeveloping traditional agroecosystems; Conservation and sustainable use of soil biodiversity: learning with master nature!; Convergence of sciences: inclusive technology innovation processes for better integrated crop/vegetation, soil and biodiversity management; Potential for increasing soil biodiversity in agroecosystems; Biological nitrogen fixation and sustainability in the tropics; Theme 3: Research and innovation: Plant flavonoids and cluster roots as modifiers of soil biodiversity; The significance of biological diversity in agricultural soil for disease suppressiveness and nutrient retention; Linking above - and belowground biodiversity: a comparison of agricultural systems; Insect-pests in biologically managed oil and crops: the experience at ICRISAT; Sistemas agricolas micorrizados en Cuba; The effect of velvetbean (Mucuna pruriens) on the tropical earthworm Balanteodrilus pearsei: a management option for maize crops in the Mexican humid tropics; The potential of earthworms and organic matter quality in the rehabilitation of tropical soils; Research and innovation in biological management of soil ecosystems; Application of biodynamic methods in the Egyptian cotton sector; Theme 4: Capacity building and mainstreaming: Soil ecology and biodiversity: a quick scan of its importance for government policy in The Netherlands; Agrotechnological transfer of legume inoculants in Eastern and Southern Africa; Agricultura urbana en Cuba; Soil carbon sequestration for sustaining agricultural production and improving the environment; Conservation and sustainable management of below-ground biodiversity: the TSBF-BGBD network project; The tropical soil biology and fertility institute of CIAT (TSBF); South-South initiative for training and capacity building for the management of soil biology/biodiversity; Strategies to facilititate development and adoption of integrated resource management for sustainable production and productivity improvement; The challenge program on biological nitrogen fixation (CPBNF); Living soil training for farmers: improving knowledge and skills in soil nutrition management; Do we need an inter-governmental panel on land and soil (IPLS)? Protection and sustainable use of biodiversity of soils; Cases Studies -- Plant parasitic nematodes associated with common bean (Phaseolus vulgaris L.) and integrated management approaches; Agrotechnological transfer of legume inoculants in Eastern and Southern Africa; Restoring soil fertility and enhancing productivity in Indian tea plantations with earthworms and organic fertilizers; Managing termites and organic resources to improve soil productivity in the Sahel; Overview and case studies on biological nitrogen fixation: perspectives and limitations; Soil biodiversity and sustainable agriculture: an overview.