Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

SETTING UP AN EFFECTIVE URBAN BLACKBIRD ROOST CONTROL PROGRAM

The City of Denton is situated 35 miles north of north-central Texas. This area is within one of the major N-S corridors for migratory birds. It is also far enough south so that winters are generally mild and open. The average rainfall of 30 inches sustains good stands of pecan and several species of oak, which serve as excellent roost sites for blackbirds. For the past several years, summering flocks of blackbirds have chosen Denton as a roosting site. Interviews with oldtimers here indicate that flocks of birds have always been around. It is only in recent years that their numbers seem much greater and the resulting mess deeper. They also say that "in the old days" if flocks appeared and started creating a problem, they were simply shot with little fuss resulting. This method is not generally acceptable today.

What Happened to Participation? Urban Development and Authoritarian Upgrading in Cairo's Informal Neighbourhoods

Participation appeared in development discourses for the first time in the 1970s, as a generic call for the involvement of the poor in development initiatives. Over the last three decades, the initial perspectives on participation intended as a project method for poverty reduction have evolved into a coherent and articulated theoretical elaboration, in which participation figures among the paraphernalia of good governance promotion: participation has acquired the status of “new orthodoxy”. Nevertheless, the experience of the implementation of participatory approaches in development projects seemed to be in the majority of cases rather disappointing, since the transformative potential of ‘participation in development’ depends on a series of factors in which every project can actually differ from others: the ultimate aim of the approach promoted, its forms and contents and, last but not least, the socio-political context in which the participatory initiative is embedded. In Egypt, the signature of a project agreement between the Arab Republic of Egypt and the Federal Republic of Germany, in 1998, inaugurated a Participatory Urban Management Programme (PUMP) to be implemented in Greater Cairo by the German Technical Cooperation (Deutsche Gesellschaft für Technische Zusammenarbeit, GTZ) and the Ministry of Planning (now Ministry of Local Development) and the Governorates of Giza and Cairo as the main counterparts. Now, ten years after the beginning of the PUMP/PDP and close to its end (December 2010), it is possible to draw some conclusions about the scope, the significance and the effects of the participatory approach adopted by GTZ and appropriated by the Egyptian counterparts in dealing with the issue of informal areas and, more generally, of urban development. Our analysis follows three sets of questions: the first set regards the way ‘participation’ has been interpreted and concretised by PUMP and PDP. The second is about the emancipating potential of the ‘participatory approach’ and its ability to ‘empower’ the ‘marginalised’. The third focuses on one hand on the efficacy of GTZ strategy to lead to an improvement of the delivery service in informal areas (especially in terms of planning and policies), and on the other hand on the potential of GTZ development intervention to trigger an incremental process of ‘democratisation’ from below.

Fostering sustainable urban development in Nakuru, Kenya Rift Valley

The town of Nakuru—Kenya's fourth largest town—lies in a unique setting in the Great Rift Valley. Recent developments on the Menengai Crater, the Mau Escarpment, and the Bahati Highlands exemplify the impacts of poorly planned urban growth on mountain ecosystems. The Nakuru Local Urban Observatory (LUO) project was initiated by the Municipal Council of Nakuru in January 2003, in collaboration with the Centre for Development and Environment (CDE) of the University of Berne and the Intermediate Technology Development Group (ITDG), and with funding from the Swiss Agency for Development and Cooperation (SDC). The project aims to provide a framework for sustainable urban development practices by building technical skills and improving participation by local stakeholders in decision-making processes. The potentials of information technology (IT) are being tapped to provide up-to-date information to decision-makers and democratize access to information, in order to improve public participation. The overall objective is to find ways of achieving better urban management in order to mitigate non-sustainable development trends in the town and its surroundings.

Urban transportation planning in the U.S.: an historical overview. Final report.

Mode of access: Internet.

Guidelines for the IPA grant program : Intergovernmental personnel act of 1970.

Issued Aug. 1976.

Records management in the Department of Housing and Urban Development /

"January 1997."