On Verifying Resource Contracts using Code Contracts

In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both memory consumption and lifetime properties in a modular fashion. We develop a proof-of-concept implementation by extending Code Contracts' specification language. To verify the correctness of these annotations we rely on the Code Contracts static verifier and a points-to analysis. We also briefly discuss possible extensions of our approach to deal with non-linear expressions.Comment: In Proceedings LAFM 2013, arXiv:1401.056

How Are Fixed-term Contracts Used by Firms? An Analysis Using Gross Job and Worker Flows

Using Spanish establishment level data on temporary and permanent job and worker flows, we examine firms’ relative usage of fixed-term contracts in response to changes in their prior net employment expectations for the short-run and the long-run –viewed as proxies of how a wide variety of future shocks are ultimately perceived by establishments. The employment response of establishments to changing net employment expectations for the short-run is, primarily, suggestive of their reliance on fixed-term contracts as a buffer to cushion short-run changes in demand as well as to shield permanent workers from downward workforce adjustments. In contrast, their response to changes in net employment expectations for the long-run mostly hints on the use of fixed-term contracts as a screening device. Therefore, policies providing financial incentives to convert fixed-term into permanent contracts –thus targeting firms’ using fixed-term contracts as a screening device, are likely to only have limited effectiveness.

Spectrum Trading: An Abstracted Bibliography

This document contains a bibliographic list of major papers on spectrum trading and their abstracts. The aim of the list is to offer researchers entering this field a fast panorama of the current literature. The list is continually updated on the webpage \url{http://www.disp.uniroma2.it/users/naldi/Ricspt.html}. Omissions and papers suggested for inclusion may be pointed out to the authors through e-mail (\textit{[email protected]})

Hedging Alberta Government's Oil and Gas Revenue: Is Acting Like a Farmer a Viable Strategy?

The provincial government of Alberta in Canada experiences significant annual revenue variability arising from changes in crude oil and natural gas prices. This research evaluated whether Alberta’s non-renewable revenue risk could be managed using a derivatives hedging program. Results from a historical hedging simulation approach suggested that such a program would not have been the most effective method of managing revenue risk over the period of 1995-96 to 2003-04. Total impacts of hedging would have varied from Can-$8 Billion to Can$6 Billion over this time period. These results suggest the Alberta government explore alternative methods to manage non-renewable resource revenue risk.Government Hedging, Risk Hedging, Public Economics, Resource /Energy Economics and Policy, Risk and Uncertainty, Q480, G11,

Innovations in energy and climate policy: lessons from Vermont

We ask in this article: how can planners and policymakers replicate Vermont’s energy and climate policies? We begin by explaining the research methods utilized for this article—mainly research interviews with a pool of experts, coupled with a targeted literature review. We then analyze the success of Vermont energy policy across four areas: energy efficiency, renewable energy, the smart grid, and energy governance. The following sections first explain how Vermont accomplished these successes, next identify a number of remaining barriers and elements of Vermont’s approach that may not be replicable, and finally present the article’s conclusions

The Economics of “Wireless Net Neutrality”

None.