Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

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.

Morphology controlled synthesis of Al doped ZnO nanosheets on Al alloy substrate by low-temperature solution growth method

We report the morphology-controlled synthesis of aluminium (Al) doped zinc oxide (ZnO) nanosheets on Al alloy (AA-6061) substrate by a low-temperature solution growth method without using any external seed layer and doping process. Doped ZnO nanosheets were obtained at low temperatures of 60-90 degrees C for the growth time of 4 hours. In addition to the synthesis, the effect of growth temperature on the morphological changes of ZnO nanosheets is also reported. As-synthesized nanosheets are characterized by FE-SEM, XRD TEM and XPS for their morphology, crystallinity, microstructure and compositional analysis respectively. The doping of Al in ZnO nanosheets is confirmed with EDXS and XPS. Furthermore, the effect of growth temperature on the morphological changes was studied in the range of 50 to 95 degrees C. It was found that the thickness and height of the nanosheets varied with respect to the growth temperature. The study has given an important insight into the structural morphology with respect to the growth temperature, which in turn enabled us to determine the growth temperature window for the ZnO nanosheets. These Al doped ZnO nanosheets have potential application possibilities in gas sensors, solar cells and energy harvesting devices like nanogenerators.

How Does Effectual Logic Impact Survival of High-tech Startups in an Emerging Economy? - Evidence from 99tests.com Case Study

During the early stages of operation, high-tech startups need to overcome the liability of newness and manage high degree of uncertainty. Several high-tech startups fail due to inability to deal with skeptical customers, underdeveloped markets and limited resources in selling an offering that has no precedent. This paper leverages the principles of effectuation (a logic of entrepreneurial decision making under uncertainty) to explain the journey from creation to survival of high-tech startups in an emerging economy. Based on the 99tests.com case study, this paper suggests that early stage high-tech startups in emerging economies can increase their probability of survival by adopting the principles of effectuation.

REDUCED ORDER MODELLING OF COMBUSTION INSTABILITY IN A BACKWARD FACING STEP COMBUSTOR

This paper develops a fully coupled time domain Reduced Order Modelling (ROM) approach to model unsteady combustion dynamics in a backward facing step combustor The acoustic field equations are projected onto the canonical acoustic eigenmodes of the systems to obtain a coupled system of modal evolution equations. The heat release response of the flame is modelled using the G-equation approach. Vortical velocity fluctuations that arise due to shear layer rollup downstream of the step are modelled using a simplified 1D-advection equation whose phase speed is determined from a linear, local, temporal stability analysis of the shear layer just downstream of the step. The hydrodynamic stability analysis reveals a abrupt change in the value of disturbance phase speed from unity for Re < Re-crit to 0.5 for Re > Re-crit, where Remit for the present geometry was found to be approximate to 10425. The results for self-excited flame response show highly wrinkled flame shapes that are qualitatively similar to those seen in prior experiments of acoustically forced flames. The effect of constructive and destructive interference between the two contributions to flame surface wrinkling results in high amplitude wrinkles for the case when K-c -> 1.

Synthesis, luminescence properties and EPR investigation of hydrothermally derived uniform ZnO hexagonal rods

One-dimensional (1D) zinc oxide (ZnO) hexagonal rods have been successfully synthesized by surfactant free hydrothermal process at different temperatures. It can be found that the reaction temperature play a crucial role in the formation of ZnO uniform hexagonal rods. The possible formation processes of 1-D ZnO hexagonal rods were investigated. The zinc hydroxide acts as the morphology-formative intermediate for the formation of ZnO nanorods. Upon excitation at 325 nm, the sample prepared at 180 degrees C show several emission bands at 400 nm (similar to 3.10 eV), 420 nm (similar to 2.95 eV), 482 nm (similar to 2.57 eV) and 524 nm (similar to 2.36 eV) corresponding to different kind of defects. TL studies were carried out by pre-irradiating samples with gamma-rays ranging from 1 to 7 kGy at room temperature. A well resolved glow peak at similar to 354 degrees C was recorded which can be ascribed to deep traps. Furthermore, the defects associated with surface states in ZnO nano-structures are characterized by electron paramagnetic resonance. (C) 2014 Elsevier B.V. All rights reserved.

Efficient generation of diffraction-limited multi-sheet pattern for biological imaging

We demonstrate a new technique to generate multiple light-sheets for fluorescence microscopy. This is possible by illuminating the cylindrical lens using multiple copies of Gaussian beams. A diffraction grating placed just before the cylindrical lens splits the incident Gaussian beam into multiple beams traveling at different angles. Subsequently, this gives rise to diffraction-limited light-sheets after the Gaussian beams pass through the combined cylindrical lens-objective sub-system. Direct measurement of field at and around the focus of objective lens shows multi-sheet pattern with an average thickness of 7.5 mu m and inter-sheet separation of 380 mu m. Employing an independent orthogonal detection sub-system, we successfully imaged fluorescently-coated yeast cells (approximate to 4 mu m) encaged in agarose gel-matrix. Such a diffraction-limited sheet-pattern equipped with dedicated detection system may find immediate applications in the field of optical microscopy and fluorescence imaging. (C) 2015 Optical Society of America

Luminescence enhancement in monoclinic CaAl2O4:Eu2+, Cr3+ nanophosphor by fuel-blend combustion synthesis

Eu2+ ion doped into a suitable host results in an efficient luminophore with engineering relevance; however stabilizing this ion in a host is known to be a challenge. Here we report a novel approach for the synthesis of efficient CaAl2O4 phosphor containing Eu2+ luminophore and Cr3+ activator. CaAl2O4:Eu2+, Cr3+ is prepared by a solution combustion (SCS) method using (i) urea, (ii) oxalyl dihydrazide (ODH) and (iii) fuel-blend (in which overall fuel to oxidizer ratio (F/O) = 1). A Multi-channel thermocouple setup is used to measure the flame temperatures to study the nature of combustion of various fuel mixtures. The variation of adiabatic flame temperature is calculated theoretically for different urea/ODH mixture ratios according to thermodynamic concept and correlated with the observed flame temperatures. Blue emission of the CaAl2O4:Eu2+ phosphor is enhanced similar to 20 times using the fuel-blend approach. Using the observed reaction kinetics, and the known chemistry of smoldering type combustion, a mechanism is proposed for the observed stabilization of Eu2+ ion in the fuel-blend case. This also explains the observed improvement in blue light emission. We show that the right choice of the fuel ratio is essential for enhancing photoluminescence (PL) emission. The PL intensity is highest for ODH lean and urea rich combination (i.e. when the ratio of ODH:urea is 1:5); measured color purity is comparable to commercial blue phosphor, BAM:Eu2+. (C) 2015 Elsevier B.V. All rights reserved.

Spatial filter based light-sheet laser interference technique for three-dimensional nanolithography

We propose a laser interference technique for the fabrication of 3D nano-structures. This is possible with the introduction of specialized spatial filter in a 2 pi cylindrical lens system (consists of two opposing cylindrical lens sharing a common geometrical focus). The spatial filter at the back-aperture of a cylindrical lens gives rise to multiple light-sheet patterns. Two such interfering counter-propagating light-sheet pattern result in periodic 3D nano-pillar structure. This technique overcomes the existing slow point-by-point scanning, and has the ability to pattern selectively over a large volume. The proposed technique allows large-scale fabrication of periodic structures. Computational study shows a field-of-view (patterning volume) of approximately 12: 2mm(3) with the pillar-size of 80 nm and inter-pillar separation of 180 nm. Applications are in nano-waveguides, 3D nano-electronics, photonic crystals, and optical microscopy. (C) 2015 AIP Publishing LLC.

Mesoporous silica-chondroitin sulphate hybrid nanoparticles for targeted and bio-responsive drug delivery

This work proposes the fabrication of a novel targeted drug delivery system based on mesoporous silica-biopolymer hybrids that can release drugs in response to biological stimuli present in cancer cells. The proposed system utilizes mesoporous silica nanoparticles as a carrier to host the drug molecules. A bio-polymer cap is attached onto these particles which serves the multiple functions of drug retention, targeting and bio-responsive drug release. The biopolymer chondroitin sulphate used here is a glycosaminoglycan that can specifically bind to receptors over-expressed in cancer cells. This molecule also possesses the property of disintegrating upon exposure to enzymes over-expressed in cancer cells. When these particles interact with cancer cells, the chondroitin sulphate present on the surface recognizes and attaches onto the CD44 receptors facilitating the uptake of these particles. The phagocytised particles are then exposed to the degradative enzymes, such as hyaluronidase present inside the cancer cells, which degrade the cap resulting in drug release. By utilizing a cervical cancer cell line we have demonstrated the targetability and intracellular delivery of hydrophobic drugs encapsulated in these particles. It was observed that the system was capable of enhancing the anticancer activity of the hydrophobic drug curcumin. Overall, we believe that this system might prove to be a valuable candidate for targeted and bioresponsive drug delivery.

ADAPTATION OF MW LEVEL NATURAL GAS LEAN BURN ENGINE FOR PRODUCER GAS OPERATION A GRID CONNECTED POWER PLANT

Availability of producer gas engines at MW being limited necessitates to adapt engine from natural gas operation. The present work focus on the development of necessary kit for adapting a 12 cylinder lean burn turbo-charged natural gas engine rated at 900 kWe (Waukesha make VHP5904LTD) to operate on producer and set up an appropriate capacity biomass gasification system for grid linked power generation in Thailand. The overall plant configuration had fuel processing, drying, reactor, cooling and cleaning system, water treatment, engine generator and power evacuation. The overall project is designed for evacuation of 1.5 MWe power to the state grid and had 2 gasification system with the above configuration and 3 engines. Two gasification system each designed for about 1100 kg/hr of woody biomass was connected to the engine using a producer gas carburetor for the necessary Air to fuel ratio control. In the use of PG to fuel IC engines, it has been recognized that the engine response will differ as compared to the response with conventional fueled operation due to the differences in the thermo-physical properties of PG. On fuelling a conventional engine with PG, power de-rating can be expected due to the lower calorific value (LCV), lower adiabatic flame temperature (AFT) and the lower than unity product to reactant more ratio. Further the A/F ratio for producer gas is about 1/10th that of natural gas and requires a different carburetor for engine operation. The research involved in developing a carburetor for varying load conditions. The patented carburetor is based on area ratio control, consisting of a zero pressure regulator and a separate gas and air line along with a mixing zone. The 95 litre engine at 1000 rpm has an electrical efficiency of 33.5 % with a heat input of 2.62 MW. Each engine had two carburetors designed for producer gas flow each capable of handling about 1200 m3/hr in order to provide similar engine heat input at a lower conversion efficiency. Cold flow studies simulating the engine carburetion system results showed that the A/F was maintained in the range of 1.3 +/- 0.1 over the entire flow range. Initially, the gasification system was tested using woody biomass and the gas composition was found to be CO 15 +/- 1.5 % H-2 22 +/- 2% CH4 2.2 +/- 0.5 CO2 11.25 +/- 1.4 % and rest N-2, with the calorific value in the range of 5.0 MJ/kg. After initial trials on the engine to fine tune the control system and adjust various engine operating parameter a peak load of 800 kWe was achieved, while a stable operating conditions was found to be at 750 kWe which is nearly 85 % of the natural gas rating. The specific fuel consumption was found to be 0.9 kg of biomass per kWh.

Rainbow matchings in strongly edge-colored graphs

A rainbow matching of an edge-colored graph G is a matching in which no two edges have the same color. There have been several studies regarding the maximum size of a rainbow matching in a properly edge-colored graph G in terms of its minimum degree 3(G). Wang (2011) asked whether there exists a function f such that a properly edge-colored graph G with at least f (delta(G)) vertices is guaranteed to contain a rainbow matching of size delta(G). This was answered in the affirmative later: the best currently known function Lo and Tan (2014) is f(k) = 4k - 4, for k >= 4 and f (k) = 4k - 3, for k <= 3. Afterwards, the research was focused on finding lower bounds for the size of maximum rainbow matchings in properly edge-colored graphs with fewer than 4 delta(G) - 4 vertices. Strong edge-coloring of a graph G is a restriction of proper edge-coloring where every color class is required to be an induced matching, instead of just being a matching. In this paper, we give lower bounds for the size of a maximum rainbow matching in a strongly edge-colored graph Gin terms of delta(G). We show that for a strongly edge-colored graph G, if |V(G)| >= 2 |3 delta(G)/4|, then G has a rainbow matching of size |3 delta(G)/4|, and if |V(G)| < 2 |3 delta(G)/4|, then G has a rainbow matching of size |V(G)|/2] In addition, we prove that if G is a strongly edge-colored graph that is triangle-free, then it contains a rainbow matching of size at least delta(G). (C) 2015 Elsevier B.V. All rights reserved.

Optical properties and CCN activity of aerosols in a high-altitude Himalayan environment: Results from RAWEX-GVAX

The seasonality and mutual dependence of aerosol optical properties and cloud condensation nuclei (CCN) activity under varying meteorological conditions at the high-altitude Nainital site (2km) in the Indo-Gangetic Plains were examined using nearly year-round measurements (June 2011 to March 2012) at the Atmospheric Radiation Measurement mobile facility as part of the Regional Aerosol Warming Experiment-Ganges Valley Aerosol Experiment of the Indian Space Research Organization and the U.S. Department of Energy. The results from collocated measurements provided enhanced aerosol scattering and absorption coefficients, CCN concentrations, and total condensation nuclei concentrations during the dry autumn and winter months. The CCN concentration (at a supersaturation of 0.46) was higher during the periods of high aerosol absorption (single scattering albedo (SSA)<0.80) than during the periods of high aerosol scattering (SSA>0.85), indicating that the aerosol composition seasonally changes and influences the CCN activity. The monthly mean CCN activation ratio (at a supersaturation of 0.46) was highest (>0.7) in late autumn (November); this finding is attributed to the contribution of biomass-burning aerosols to CCN formation at high supersaturation conditions.

Comparative evaluation of inversion approaches of the radiative transfer model for estimation of crop biophysical parameters

The inversion of canopy reflectance models is widely used for the retrieval of vegetation properties from remote sensing. This study evaluates the retrieval of soybean biophysical variables of leaf area index, leaf chlorophyll content, canopy chlorophyll content, and equivalent leaf water thickness from proximal reflectance data integrated broadbands corresponding to moderate resolution imaging spectroradiometer, thematic mapper, and linear imaging self scanning sensors through inversion of the canopy radiative transfer model, PROSAIL. Three different inversion approaches namely the look-up table, genetic algorithm, and artificial neural network were used and performances were evaluated. Application of the genetic algorithm for crop parameter retrieval is a new attempt among the variety of optimization problems in remote sensing which have been successfully demonstrated in the present study. Its performance was as good as that of the look-up table approach and the artificial neural network was a poor performer. The general order of estimation accuracy for para-meters irrespective of inversion approaches was leaf area index > canopy chlorophyll content > leaf chlorophyll content > equivalent leaf water thickness. Performance of inversion was comparable for broadband reflectances of all three sensors in the optical region with insignificant differences in estimation accuracy among them.