Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Trace Formulae in Operator Theory

In this article, we survey several kinds of trace formulas that one encounters in the theory of single and multi-variable operators. We give some sketches of the proofs, often based on the principle of finite-dimensional approximations to the objects at hand in the formulas.

Diez años de investigación sobre teatro traducido en España: el proyecto TRACE y los archivos de censura

[EN] This contribution offers a brief overview of research undertaken for the last few years under the TRACE (translation and censorship, or censored translations) project with respect to theatre. The AGA (General Administration Archive in Alcala de Henares, Madrid), a unique source for information for translation scholars, has become the focus of TRACE-theatre investigations on Francoist Spain in the last few years. In Spain, these censorship archives have proved to be an essential source of information, and a rich reservoir of data that, when explored in depth, help draw a history of Spanish theatre in translation. Contrary to what one may think at first, the purpose of using censorship archives in TRACE is not only to check what got censored (banned, crossed out or modified) but rather to trace back all written evidence left by plays that underwent the bureaucratic censoring process which was applied to all cultural manifestations, national or foreign, theatrical as well as non-dramatic. And it is precisely when tracing back censorship records that one finds a way to uncover a history of Spanish theatre in translation that is yet to be written but can now be outlined.

Presentación de la Base de Datos TRACE. (Traducciones censuradas Inglés-Español)

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

La labor del equipo TRACE: metodología descriptiva de la censura en traducción

Raquel Merino Álvarez, José Miguel Santamaría, Eterio Pajares (eds.)

Traducciones (censuradas) de teatro inglés en la España de Franco. TRACE: Una perspectiva histórica

[ES] La historia del teatro traducido en la España del siglo XX está aún por escribirse. Este segmento de nuestra cultura traducida ha sido tradicionalmente ignorado en las historias del teatro español. Por suerte, lo que hace sólo veinte años se describía como un páramo investigador es hoy un terreno mucho mejor abonado y roturado. Las investigaciones sobre teatro traducido que han visto la luz progresivamente en estos años nos permitirán en breve escribir y documentar la historia del teatro traducido. Se ofrece en este artículo una visión del modo en que podría acometerse esa tarea,partiendo de lo ya investigado en el proyecto TRACE desde la perspectiva de lo archivado por la censura (de teatro) en la época de Franco.

Trace element concentrations in muscle tissue of the benthopelagic grenadier (Coryphaenoides armatus) from the Iberian deep-sea

11 specimens of Coryphaenoides armatus were collected at former dumping sites for radioactive material in the Iberian deep sea at a depth of 4700 m and their muscle tissue was analysed for four trace elements (copper, zinc, cadmium and lead) by differential pulse anodic stripping voltammetry (DPSAV). Concentrations of zinc were typical for fish muscle in general; copper content was somewhat higher than generally found in fish. The cadmium and lead contents were at a level found in fish from the open sea but the lead content of 2 specimens taken in area East-B was found to be higher.

Trace Metal Sensors for Coastal Monitoring, Seaside, California, April 11-13, 2005: workshop proceedings

The Alliance for Coastal Technologies (ACT) Workshop on Trace Metal Sensors for Coastal Monitoring was convened April 11-13, 2005 at the Embassy Suites in Seaside, California with partnership from Moss Landing Marine Laboratories (MLML) and the Monterey Bay Aquarium Research Institute (MBARI). Trace metals play many important roles in marine ecosystems. Due to their extreme toxicity, the effects of copper, cadmium and certain organo-metallinc compounds (such as tributyltin and methylmercury) have received much attention. Lately, the sublethal effects of metals on phytoplankton biochemistry, and in some cases the expression of neurotoxins (Domoic acid), have been shown to be important environmental forcing functions determining the composition and gene expression in some groups. More recently the role of iron in controlling phytoplankton growth has led to an understanding of trace metal limitation in coastal systems. Although metals play an important role at many different levels, few technologies exist to provide rapid assessment of metal concentrations or metal speciation in the coastal zone where metal-induced toxicity or potential stimulation of harmful algal blooms, can have major economic impacts. This workshop focused on the state of on-site and in situ trace element detection technologies, in terms of what is currently working well and what is needed to effectively inform coastal zone managers, as well as guide adaptive scientific sampling of the coastal zone. Specifically the goals of this workshop were to: 1) summarize current regional requirements and future targets for metal monitoring in freshwater, estuarine and coastal environments; 2) evaluate the current status of metal sensors and possibilities for leveraging emerging technologies for expanding detection limits and target elements; and 3) help identify critical steps needed for and limits to operational deployment of metal sensors as part of routine water quality monitoring efforts. Following a series of breakout group discussions and overview talks on metal monitoring regulatory issues, analytical techniques and market requirements, workshop participants made several recommendations for steps needed to foster development of in situ metal monitoring capacities: 1. Increase scientific and public awareness of metals of environmental and biological concern and their impacts in aquatic environments. Inform scientific and public communities regarding actual levels of trace metals in natural and perturbed systems. 2. Identify multiple use applications (e.g., industrial waste steam and drinking water quality monitoring) to support investments in metal sensor development. (pdf contains 27 pages)

Trace metals -- a potential threat to our fishing industry

Trace metals constitute a major form of water pollutant that can adversely affect fish production. The potentially toxic metals have been identified as lead, zinc, copper, arsenic, antimony, mercury beryllium, barium, cadmium, chromium, nickel, selenium among others. Preliminary laboratory studies have been directed to the determination of traces of lead in the aquatic biota and its toxicity. There are indications that the levels reported in effluents from some of the industries may be above the tolerant limits of local fish species and organisms that make up their food. Metal pollution could become a serious problem to freshwater fisheries in the future as a result of increasing urbanization and industrialization, unless efforts are made to prevent it

Seasonal variation of some trace metal concentrations in some fish species on stretch of River Kubanni, Zaria

In a semi-urbanized stretch of river Kubanni, Zaria, seasonal variations of some tree metals (copper, zinc and lead) in fish species (Clarias sp., Tilapia sp and Alestes sp) were investigated over a period of eight months. Water and fish were sampled monthly, pooled separately and seasonal analysis of each trace determined using atomic absorption method. The concentration of each of the elements in water higher in the dry season than during the rainy season. The dry and rainy season concentrations of copper, zinc and lead were 6.85~c10.66 mu gg super(-1)&1.45~c1.10 mu gg super(-1); 2.13~c1.68 mu gg super(-1)&0.1 5~c0.05 mu gg super(-1); and 0.52~c0.50 mu gg super(-1) & 0.31~c0.14 mu gg super(-1) respectively. Similarly, all the three accumulated more zinc and lead in the dry season than during the rainy season. Tilapia species and to some extent, Alestes species being pelagic had a higher concentration of trace metals than Clarias species which is a bottom dwelling fish Tilapia species may therefore be a better indicator species than Clarias species for monitoring trace metals in water bodies. Reasons for the observed variations in the trace metals were discussed

Trace metals in fresh water plankton

The uptake of Cu, Zn, and Cd by fresh water plankton was studied by analyzing samples of water and plankton from six lakes in southern California. Co, Pb, Mn, Fe, Na, K, Mg, Ca, Sr, Ba, and Al were also determined in the plankton samples. Special precautions were taken during sampling and analysis to avoid metal contamination.

The relation between aqueous metal concentrations and the concentrations of metals in plankton was studied by plotting aqueous and plankton metal concentrations vs time and comparing the plots. No plankton metal plot showed the same changes as its corresponding aqueous metal plot, though long-term trends were similar. Thus, passive sorption did not completely explain plankton metal uptake.

The fractions of Cu, Zn, and Cd in lake water which were associated with plankton were calculated and these fractions were less than 1% in every case.

To see whether or not plankton metal uptake could deplete aqueous metal concentrations by measurable amounts (e.g. 20%) in short periods (e.g. less than six days), three integrated rate equations were used as models of plankton metal sorption. Parameters for the equations were taken from actual field measurements. Measurable reductions in concentration within short times were predicted by all three equations when the concentration factor was greater than 10^5. All Cu concentration factors were less than 10^5.

The role of plankton was regulating metal concentrations considered in the context of a model of trace metal chemistry in lakes. The model assumes that all particles can be represented by a single solid phase and that the solid phase controls aqueous metal concentrations. A term for the rate of in situ production of particulate matter is included and primary productivity was used for this parameter. In San Vicente Reservoir, the test case, the rate of in situ production of particulate matter was of the same order of magnitude as the rate of introduction of particulate matter by the influent stream.

La historia de las traducciones del teatro inglés en España en el siglo XX: Perspectiva desde el proyecto TRACE

Editoras Rosa Rabadán; Trinidad Guzmán; Marisa Fernández.

Building TRACE (translations censored) theatre corpus: some methodological questions on text selection

Editores:Micaela Muñoz-Calvo; Carmen Buesa-Gómez