Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the analyzer is not only a single tool, but an open extensible collaborative framework in which external developers may develop plug-ins collaborating with each other, such a well designed architecture even becomes more important. In this experience report, we explain difficulties of developing and maintaining open extensible collaborative analysis frameworks, through the example of Frama-C, a platform dedicated to the analysis of code written in C. We also present the new upcoming software architecture of Frama-C and how it aims to solve some of these issues.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

CAHRS hrSpectrum (March - April 2003)

HRSpec03_04.pdf: 123 downloads, before Oct. 1, 2020

Electrifying Africa: power through the public sector

A review of the need for electricity in Africa, experiences of privatisation, and the political and economic potential for development through the public sector

Advertising and Word-of-Mouth Effects on Pre-launch Consumer Interest and Initial Sales of Experience Products

This study examines how consumers' interest in a new experience product develops as a result of advertising and word-of-mouth activities during the pre-launch period. The empirical settings are the U.S. motion picture and video game industries. The focal variables include weekly ad spend, blog volume, online search volume during pre-launch periods, opening-week sales, and product characteristics. We treat pre-launch search volume of keywords as a measure of pre-launch consumer interest in the related product. To identify probable persistent effects among the pre-launch time-series variables, we apply a vector autoregressive modeling approach. We find that blog postings have permanent, trend-setting effects on pre-launch consumer interest in a new product, while advertising has only temporary effects. In the U.S. motion picture industry, the four-week cumulative elasticity of pre-launch consumer interest is 0.187 to advertising and 0.635 to blog postings. In the U.S. video game industry, the elasticities are 0.093 and 1.306, respectively. We also find long-run co-evolution between blog and search volume, which suggests that consumers' interest in the upcoming product cannot grow without bounds for a given level of blog volume

Competitive provision of tune-ins under common private information

Television (TV) stations forego millions of dollars of advertising revenues by airing tune-ins (preview advertisements) for their upcoming programs. In this paper, I analyze the equilibrium as well as welfare properties of tune-ins in a duopolistic TV market that lasts for two periods. Importantly, each TV station is fully informed about its own as well as its rival's program. Viewers receive information via tune-ins, if any, or alternatively by sampling a program for a few minutes (and switching across stations). I find that equilibrium tune-in decisions do not necessarily depend on TV stations' knowledge of their rival's program. In this case, the opportunity costs of tune-ins could be so high that a regime without any tune-ins may be socially better. However, when tune-ins depend on both of the upcoming programs, it is possible that they enhance welfare by helping viewers avoid some of the inefficient program sampling they would otherwise do in a regime without any tune-ins