Lightweight Multilingual Software Analysis

Developer preferences, language capabilities and the persistence of older languages contribute to the trend that large software codebases are often multilingual, that is, written in more than one computer language. While developers can leverage monolingual software development tools to build software components, companies are faced with the problem of managing the resultant large, multilingual codebases to address issues with security, efficiency, and quality metrics. The key challenge is to address the opaque nature of the language interoperability interface: one language calling procedures in a second (which may call a third, or even back to the first), resulting in a potentially tangled, inefficient and insecure codebase. An architecture is proposed for lightweight static analysis of large multilingual codebases: the MLSA architecture. Its modular and table-oriented structure addresses the open-ended nature of multiple languages and language interoperability APIs. We focus here as an application on the construction of call-graphs that capture both inter-language and intra-language calls. The algorithms for extracting multilingual call-graphs from codebases are presented, and several examples of multilingual software engineering analysis are discussed. The state of the implementation and testing of MLSA is presented, and the implications for future work are discussed.Comment: 15 page

Lightweight Call-Graph Construction for Multilingual Software Analysis

Analysis of multilingual codebases is a topic of increasing importance. In prior work, we have proposed the MLSA (MultiLingual Software Analysis) architecture, an approach to the lightweight analysis of multilingual codebases, and have shown how it can be used to address the challenge of constructing a single call graph from multilingual software with mutual calls. This paper addresses the challenge of constructing monolingual call graphs in a lightweight manner (consistent with the objective of MLSA) which nonetheless yields sufficient information for resolving language interoperability calls. A novel approach is proposed which leverages information from a compiler-generated AST to provide the quality of call graph necessary, while the program itself is written using an Island Grammar that parses the AST providing the lightweight aspect necessary. Performance results are presented for a C/C++ implementation of the approach, PAIGE (Parsing AST using Island Grammar Call Graph Emitter) showing that despite its lightweight nature, it outperforms Doxgen, is robust to changes in the (Clang) AST, and is not restricted to C/C++.Comment: 10 page

Local and Regional Food Aid Procurement: An Assessment of Experience in Africa and Elements of Good Donor Practice

This Policy Synthesis is a summary of a longer report that discusses the procurement of food aid within the country or region where it is needed. Referred to as local and regional procurement – LRP – this practice has become a major element in multilateral food aid response over the past decade1. The paper examines the relevance and the rationale for using LRP, reviews the efficiency of World Food Program (WFP) LRP activities in Africa relative to inkind food aid and to prices in the markets in which it occurs, and proposes a classification of risks in LRP. It then discusses a range of potential LRP modalities, and proposes a framework of guiding principles, information systems, and operational procedures for responsible and effective LRP. Finally, the paper briefly discusses the implications of this research for expansion of U.S. government (USG) authority to engage in LRP.Crop Production/Industries, Farm Management,

"One Muslim is Enough!" - Evidence from a Field Experiment in France

Anti-Muslim prejudice is widespread in Western countries. Yet, Muslims are expected to constitute a growing share of the total population in Western countries over the next decades. This paper predicts that this demographic trend will increase anti-Muslim prejudice. Relying on experimental games and a formal model, we show that the generosity of rooted French toward Muslims is significantly decreased with the increase of Muslims in their midst, and demonstrate that these results are driven by the activation of rooted French taste-based discrimination against Muslims when Muslim numbers increase. Our findings call for solutions to anti-Muslim prejudice in the West.discrimination, Islam, France, group salience, experimental economics, economic theory, group threat theory, intergroup contact theory

Inhomogeneous Gain Saturation in EDF: Experiment and Modeling

Erbium-Doped Fiber Amplifiers can present holes in spectral gain in Wavelength Division Multiplexing operation. The origin of this inhomogeneous saturation behavior is still a subject of controversy. In this paper we present both an experimental methods and a gain's model. Our experimental method allow us to measure the first homogeneous linewidth of the 1.5 $\mu$m erbium emission with gain spectral hole burning consistently with the other measurement in the literature and the model explains the differences observed in literature between GSHB and other measurement methods

Identifying barriers to Muslim integration in France

Is there a Muslim disadvantage in economic integration for secondgeneration immigrants to Europe? Previous research has failed to isolate the effect that religion may have on an immigrant family's labor market opportunities because other factors, such as country of origin or race, confound the result. This paper uses a correspondence test in the French labor market to identify and measure this religious effect. The results confirm that in the French labor market, antiMuslim discrimination exists: a Muslim candidate is 2.5 times less likely to receive a job interview callback than is his or her Christian counterpart. A high-n survey reveals, consistent with expectations from the correspondence test, that second-generation Muslim households in France have lower income compared with matched Christian households. The paper thereby contributes to both substantive debates on the Muslim experience in Europe and methodological debates on how to measure discrimination. Following the National Academy of Sciences' 2001 recommendations on combining a variety of methodologies and applying them to real-world situations, this research identifies, measures, and infers consequences of discrimination based on religious affiliation, controlling for potentially confounding factors, such as race and country of origin.Muslim immigrants ; Integration ; France

Bridging the Science-Law Divide

Formal opportunities for members of the scientific and legal communities to engage in ongoing collegial consideration of issues at the interface of science and law are limited. In the late 1990s, the National Academies of Sciences, Engineering, and Medicine established the Committee on Science, Technology, and Law (CSTL)-composed of equal numbers of members from science, engineering, and law-to provide an ongoing forum that would build permanent links between these communities. The range of issues investigated by the CSTL and the influence of these explorations are discussed in this essay

Accreditation of health services: is it money and time well spent?

The research evidence shows that accreditation is a useful tool for stimulating improvements in the quality and safety of health services. Accreditation programs are deployed widely to monitor and promote safety and quality in healthcare. Governments, health service organisations and accreditation agencies have invested considerable resources into accreditation programs, but to date evidence of their effectiveness is limited and varied in some areas. Without more robust evidence – on what aspects of accreditation programs work, in what contexts and why – policymakers will have to continue drawing on expert opinion, small-scale program evaluations and cautious comparative assessments of the literature when reviewing, revising or implementing  accreditation programs

Topographic hub maps of the human structural neocortical network

Hubs within the neocortical structural network determined by graph theoretical analysis play a crucial role in brain function. We mapped neocortical hubs topographically, using a sample population of 63 young adults. Subjects were imaged with high resolution structural and diffusion weighted magnetic resonance imaging techniques. Multiple network configurations were then constructed per subject, using random parcellations to define the nodes and using fibre tractography to determine the connectivity between the nodes. The networks were analysed with graph theoretical measures. Our results give reference maps of hub distribution measured with betweenness centrality and node degree. The loci of the hubs correspond with key areas from known overlapping cognitive networks. Several hubs were asymmetrically organized across hemispheres. Furthermore, females have hubs with higher betweenness centrality and males have hubs with higher node degree. Female networks have higher small-world indices

Validation and Improvement of the Beef Production Sub-index in Ireland for Beef Cattle

End of project reportThe objectives of the following study were to: a. Quantify the effect of sire genetic merit for BCI on: 1. feed intake, growth and carcass traits of progeny managed under bull or steer beef production systems. 2. live animal scores, carcass composition and plasma hormone and metabolite concentrations in their progeny. b. Compare the progeny of : 1. Late-maturing beef with dairy breeds and 2. Charolais (CH), Limousin (LM), Simmental (SM) and Belgian Blue (BB) sires bred to beef suckler dams, for feed intake, blood hormones and metabolites, live animal measurements, carcass traits and carcass value in bull and steer production systems