Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Task-parallel languages are increasingly popular. Many of them provide expressive mechanisms for intertask synchronization. For example, OpenMP 4.0 will integrate data-driven execution semantics derived from the StarSs research language. Compared to the more restrictive data-parallel and fork-join concurrency models, the advanced features being introduced into task-parallelmodels in turn enable improved scalability through load balancing, memory latency hiding, mitigation of the pressure on memory bandwidth, and, as a side effect, reduced power consumption. In this article, we develop a systematic approach to compile loop nests into concurrent, dynamically constructed graphs of dependent tasks. We propose a simple and effective heuristic that selects the most profitable parallelization idiom for every dependence type and communication pattern. This heuristic enables the extraction of interband parallelism (cross-barrier parallelism) in a number of numerical computations that range from linear algebra to structured grids and image processing. The proposed static analysis and code generation alleviates the burden of a full-blown dependence resolver to track the readiness of tasks at runtime. We evaluate our approach and algorithms in the PPCG compiler, targeting OpenStream, a representative dataflow task-parallel language with explicit intertask dependences and a lightweight runtime. Experimental results demonstrate the effectiveness of the approach.

La relación entre imputación y responsabilidad

Resumen: El autor analiza los conceptos de imputación y responsabilidad penales, y las realidades jurídicas y antrópicas a las que dichas nociones se refieren desde dos perspectivas principales: una, teórica, y otra, la historia del pensamiento. La investigación está precedida por una breve introducción semántica. El marco teórico es una concepción realista del derecho, subalternada a la antropología (psicología) filosófica, y más específicamente, al concepto del hombre como persona.

Hegel y la disolución de la tradición de la ley natural : el apogeo del gnosticismo moderno

Resumen: En el presente trabajo, el autor expone la disolución teórica de la doctrina tradicional sobre la ley natural y su expulsión, incluso semántica, de la Filosofía del Derecho de Hegel. Para ello, se expone una síntesis del pensamiento especulativo de Hegel y se pone de manifiesto el inmanentismo radical del filósofo suabo, que resulta ser expresión del gnosticismo moderno.

Linguistic Polarization and Conflict in the Basque Country

This paper investigates the relationship between linguistic polarization and conflict in the Basque Country. During the 40 years of Franco’s dictatorship the use of the Basque language was banned. Therefore, there may be some linguistic roots underlying the conflict in the Basque Country. We show that at the municipality level, linguistic polarization reduces the level of conflict. This finding is robust to various ways of measuring linguistic and ideological polarization and the inclusion of other covariates. In addition, we find that a high level of the stock of human capital is beneficial for reducing conflict intensity.

Pulse vs. Optimal Stationary Fishing: The Northern Stock of Hake

Pulse fishing may be a global optimal strategy in multicohort fisheries. In this article we compare the pulse fishing solutions obtained by using global numerical methods with the analytical stationary optimal solution. This allows us to quantify the potential benefits associated with the use of periodic fishing in the Northern Stock of hake. Results show that: first, management plans based exclusively on traditional reference targets as Fmsy may drive fishery economic results far from the optimal; second, global optimal solutions would imply, in a cyclical manner, the closure of the fishery for some periods and third, second best stationary policies with stable employment only reduce optimal present value of discounted profit in a 2%.

Social Interactions and Subjective Well-Being: Evidence from Latin America

In this paper, we seek to examine the effect of comparisons and social capital on subjective well-being. Furthermore, we test if, through social influence and exposure, social capital is either an enhancer or appeaser of the comparison effect. Using the Latinobarómetro Survey (2007) we find that in contrast to most previous studies, the comparison effect on well-being is positive; that is, the better others perform, the happier the individual is. We also find that social capital is among the strongest correlates of individuals’ subjective well-being in Latin American countries. Furthermore, our findings suggest that social contacts may enhance the comparison effect on individual’s happiness, which is more intense for those who perform worse in their reference group.

Reproducción de documentación perteneciente a Miguel José Garmendia Aldaz, Asesor Jurídico y Secretario Particular del Consejero de Gobernación del Gobierno Vasco durante la Guerra en el Norte, y Mayor Jefe de la Demarcación de Fronteras en Cataluña a partir de octubre de 1938, y en enero de 1939 Delegado de Orden Público adscrito a la Comandancia Militar de Figueras.

Fecha: 10-10-1936/31-1-1939 / Unidad de instalación: Carpeta 25 - Expediente 21 / Nº de pág.: 33 (28 mecanografiadas, 5 manuscritas)

Reproducción de Tarjetas de Visita remitidas por D. Sabino de Arana y Goiri a D. Estanislao de Aranzadi.

Fecha: 6-10-1898 (>1970 reproducción) / Unidad de instalación: Carpeta 25 - Expediente 23-1 / Nº de pág.: 2 (manuscritas)

Reproducción de una Cédula de Citación remitida a D. Juan Manuel Epalza por el Juzgado de Instrucción Nº 2.

Fecha: 15-3-1935 (>1970 reproducción) / Unidad de instalación: Carpeta 25 - Expediente 23-2 / Nº de pág.: 1 (mecanografiada)

Turnout Intention and Social Networks

How can networking affect the turnout in an election? We present a simple model to explain turnout as a result of a dynamic process of formation of the intention to vote within Erdös-Renyi random networks. Citizens have fixed preferences for one of two parties and are embedded in a given social network. They decide whether or not to vote on the basis of the attitude of their immediate contacts. They may simply follow the behavior of the majority (followers) or make an adaptive local calculus of voting (Downsian behavior). So they either have the intention of voting when the majority of their neighbors are willing to vote too, or they vote when they perceive in their social neighborhood that elections are "close". We study the long run average turnout, interpreted as the actual turnout observed in an election. Depending on the combination of values of the two key parameters, the average connectivity and the probability of behaving as a follower or in a Downsian fashion, the system exhibits monostability (zero turnout), bistability (zero turnout and either moderate or high turnout) or tristability (zero, moderate and high turnout). This means, in particular, that for a wide range of values of both parameters, we obtain realistic turnout rates, i.e. between 50% and 90%.

The Ohlin-Keynes Debate on the German Interwar Reparations Revisited

This paper analyzes the debate between Ohlin and Keynes on the question as to whether Germany was able to make the payments specified in the Dawes Plan. Keynes argued that Germany was able to collect the money but unable to transfer it to the victors because there existed an insurmountable “transfer problem”. Ohlin replied that such a “transfer problem” did not exist and, therefore, that Germany was able to make the payments stipulated by the Dawes Committee. This paper analyzes the positions of the two contenders and argues that the problems are not correctly delimited and that the theoretical bases of the contenders show serious deficiencies. It also brings to light some interesting theoretical and practical paradoxes that neither Keynes nor Ohlin dealt with.

Doubts and Equilibria

In real life strategic interactions, decision-makers are likely to entertain doubts about the degree of optimality of their play. To capture this feature of real choice-making, we present here a model based on the doubts felt by an agent about how well is playing a game. The doubts are coupled with (and mutually reinforced by) imperfect discrimination capacity, which we model here by means of similarity relations. We assume that each agent builds procedural preferences de ned on the space of expected payoffs-strategy frequencies attached to his current strategy. These preferences, together with an adaptive learning process lead to doubt-based selection dynamic systems. We introduce the concepts of Mixed Strategy Doubt Equilibria, Mixed Strategy Doubt-Full Equilibria and Mixed Strategy Doubtless Equilibria and show the theoretical and the empirical relevance of these concepts.

Long Term Dynamics in CO2 Allowance Prices and Carbon Capture Investments

In this paper we analyse the behaviour of the EU market for CO2 emission allowances; specifically, we focus on the contracts maturing in the Kyoto Protocol's second period of application (2008 to 2012). We calibrate the underlying parameters for the allowance price in the long run and we also calibrate those from the Spanish wholesale electricity market. This information is then used to assess the option to install a carbon capture and storage (CCS) unit in a coal-fired power plant. We use a two-dimensional binomial lattice where costs and profits are valued and the optimal investment time is determined. In other words, we study the trigger allowance prices above which it is optimal to install the capture unit immediately. We further analyse the impact of several variables on the critical prices, among them allowance price volatility and a hypothetical government subsidy. We conclude that, at current permit prices, from a financial point of view, immediate installation does not seem justified. This need not be the case, though, if carbon market parameters change dramatically and/or a specific policy to promote these units is adopted.

Demand for Cultural Heritage

Prepared for the Handbook of the Economics of Cultural Heritage. Forthcoming in Edgard Elgar Publisher. Anna Mignosa and Ilde Rizzo (editors)