Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Application of vibrational microspectroscopy to biology and medicine

Vibrational microspectroscopic (Raman and infrared (IR)) techniques are rapidly emerging as effective tools to probe the basic processes of life. This review mainly focuses on the applications of Raman and IR microspectroscopy to biology and biomedicine, ranging from studies on cellular components in single cells to advancement in techniques for in vitro to in vivo applications. These techniques have proved to be instrumental in studying the biological specimen with minimum perturbation, i.e. without the use of dyes and contrast-inducing agents. These techniques probe the vibrational modes of the molecules and provide spectra that are specific to the molecular properties and chemical nature of the species.

Effect of gas injection on drag and surface heat transfer rates for a 30 degrees semi-apex angle blunt body flying at Mach 5.75

Effect of coolant gas injection in the stagnation region on the surface heat transfer rates and aerodynamic drag for a large angle blunt body flying at hypersonic Mach number is reported for two stagnation enthalpies. A 60° apex-angle blunt cone model is employed for this purpose with air injection at the nose through a hole of 2mm diameter. The convective surface heating rates and aerodynamic drag are measured simultaneously using surface mounted platinum thin film sensors and internally mounted accelerometer balance system, respectively. About 35–40% reduction in surface heating rates is observed in the vicinity of stagnation region whereas 15–25% reduction in surface heating rates is felt beyond the stagnation region at stagnation enthalpy of 1.6MJ/kg. The aerodynamic drag expressed in terms of drag coefficient is found to increase by 20% due to the air injection.

Atomic layer deposition of ZrO2 thin films: Study of growth kinetics and dielectric behaviour

Thin films of ZrO2 have been deposited by ALD on Si(100) and SIMOX using two different metalorganic complexes of Zr as precursors. These films are characterized by X-ray diffraction, transmission and scanning electron microscopies, infrared spectroscopy, and electrical measurements. These show that amorphous ZrO2 films of high dielectric quality may be grown on Si(100) starting about 400degreesC. As the growth temperature is raised, the films become crystalline, the phase formed and the microstructure depending on precursor molecular structure. The phase of ZrO2 formed depends also on the relative duration of the precursor and oxygen pulses. XPS and IR spectroscopy show that films grown at low temperatures contain chemically unbound carbon, its extent depending on the precursor. C-V measurements show that films grown on Si(100) have low interface state density, low leakage current, a hysteresis width of only 10-250 mV and a dielectric constant of similar to16-25.

Determinant: Old algorithms, new insights (Extended Abstract)

In this paper we approach the problem of computing the characteristic polynomial of a matrix from the combinatorial viewpoint. We present several combinatorial characterizations of the coefficients of the characteristic polynomial, in terms of walks and closed walks of different kinds in the underlying graph. We develop algorithms based on these characterizations, and show that they tally with well-known algorithms arrived at independently from considerations in linear algebra.

Network Reconstruction from dynamic data

Over the past decade, many powerful data mining techniques have been developed to analyze temporal and sequential data. The time is now fertile for addressing problems of larger scope under the purview of temporal data mining. The fourth SIGKDD workshop on temporal data mining focused on the question: What can we infer about the structure of a complex dynamical system from observed temporal data? The goals of the workshop were to critically evaluate the need in this area by bringing together leading researchers from industry and academia, and to identify promising technologies and methodologies for doing the same. We provide a brief summary of the workshop proceedings and ideas arising out of the discussions.

Mass Distribution Studies in Effervescent Sprays

An experimental study on liquid mass distribution in effervescent sprays using water and air as working fluids is presented in this paper. Optical patternation and techniques of image processing are employed for analyzing the spray. The flow regime inside the effervescent atomizer largely dictates the mass distribution patterns. The patterns are seen to vary from concentrated, poorly atomized liquid lumps to uniformly distributed, fine droplets as the flow regime changes from bubbly flow to annular flow. A large variety of instantaneous spray patterns are observed in bubbly flow regime indicating a highly unsteady atomization process. However, relatively better consistency in spray patterns is observed at higher gas flow rates. Thus, the degree of unsteadiness gradually diminishes as gas flow rate is increased. The axial evolution of the spray in annular mode shows good mixing of liquid and gas across the interface.

Improved algorithm for optimum reactive power allocation

An improvised algorithm is presented for optimal VAr allocation in a large power system using a linear programming technique. The proposed method requires less computer memory than those algorithms currently available.

The inhomogeneous extended Bose-Hubbard model: A mean-field theory

We develop an inhomogeneous mean-field theory for the extended Bose-Hubbard model with a quadratic, confining potential. In the absence of this potential, our mean-field theory yields the phase diagram of the homogeneous extended Bose-Hubbard model. This phase diagram shows a superfluid (SF) phase and lobes of Mott-insulator (MI), density-wave (DW), and supersolid (SS) phases in the plane of the chemical potential mu and on-site repulsion U; we present phase diagrams for representative values of V, the repulsive energy for bosons on nearest-neighbor sites. We demonstrate that, when the confining potential is present, superfluid and density-wave order parameters are nonuniform; in particular, we obtain, for a few representative values of parameters, spherical shells of SF, MI, DW, and SS phases. We explore the implications of our study for experiments on cold-atom dipolar condensates in optical lattices in a confining potential.

Infrared Spectroscopic Studies to Understand the Effect of Drugs at Molecular Level

In the recent past, there have been enormous efforts to understand effect of drugs on human body. Prior to understand the effect of drugs on human body most of the experiments are carried out on cells or model organisms. Here we present our study on the effect of chemotherapeutic drugs on cancer cells and the acetaminophen (APAP) induced hepatotoxicity in mouse model. Histone deacetylase inhibitors (HDIs) have attracted attention as potential drug molecules for the treatment of cancer. These are the chemotherapeutic drugs which have indirect mechanistic action against cancer cells via acting against histone deacetylases (HDAC). It has been known that different HDAC enzymes are over-expressed in various types of cancers for example; HDAC1 is over expressed in prostate, gastric and breast carcinomas. Therefore, in order to optimise chemotherapy, it is important to determine the efficacy of various classes of HDAC inhibitor drugs against variety of over-expressed HDAC enzymes. In the present study, FTIR microspectroscopy has been employed to predict the acetylation and propionylation brought in by HDIs. The liver plays an important role in cellular metabolism and is highly susceptible to drug toxicity. APAP which is an analgesic and antipyretic drug is extensively used for therapeutic purposes and has become the most common cause of acute liver failure (ALF). In the current study, we have focused to understand APAP induced hepatotoxicity using FTIR microspectroscopy. In the IR spectrum the bands corresponding to glycogen, ester group and were found to be suitable markers to predict liver injury at early time point (0.5hr) due to APAP both in tissue and serum in comparison to standard biochemical assays. Our studies show the potential of FTIR spectroscopy as a rapid, sensitive and non invasive detection technique for future clinical diagnosis.

Crystal Structure of Escherichia coli Diaminopropionate Ammonia-lyase Reveals Mechanism of Enzyme Activation and Catalysis

Pyridoxal 5'-phosphate (PLP)-dependent enzymes utilize the unique chemistry of a pyridine ring to carry out diverse reactions involving amino acids. Diaminopropionate (DAP) ammonia-lyase (DAPAL) is a prokaryotic PLP-dependent enzyme that catalyzes the degradation of D-and L-forms of DAP to pyruvate and ammonia. Here, we report the first crystal structure of DAPAL from Escherichia coli (EcDAPAL) in tetragonal and monoclinic forms at 2.0 and 2.2 angstrom resolutions, respectively. Structures of EcDAPAL soaked with substrates were also determined. EcDAPAL has a typical fold type II PLP-dependent enzyme topology consisting of a large and a small domain with the active site at the interface of the two domains. The enzyme is a homodimer with a unique biological interface not observed earlier. Structure of the enzyme in the tetragonal form had PLP bound at the active site, whereas the monoclinic structure was in the apo-form. Analysis of the apo and holo structures revealed that the region around the active site undergoes transition from a disordered to ordered state and assumes a conformation suitable for catalysis only upon PLP binding. A novel disulfide was found to occur near a channel that is likely to regulate entry of ligands to the active site. EcDAPAL soaked with DL-DAP revealed density at the active site appropriate for the reaction intermediate aminoacrylate, which is consistent with the observation that EcDAPAL has low activity under crystallization conditions. Based on the analysis of the structure and results of site-directed mutagenesis, a two-base mechanism of catalysis involving Asp(120) and Lys(77) is suggested.

Functional Analysis of the Genes Encoding Diaminopropionate Ammonia Lyase in Escherichia coli and Salmonella enterica Serovar Typhimurium

Diaminopropionate ammonia lyase (DAPAL) is a pyridoxal-5'phosphate (PLP)-dependent enzyme that catalyzes the conversion of diaminopropionate (DAP) to pyruvate and ammonia and plays an important role in cell metabolism. We have investigated the role of the ygeX gene of Escherichia coli K-12 and its ortholog, STM1002, in Salmonella enterica serovar Typhimurium LT2, presumed to encode DAPAL, in the growth kinetics of the bacteria. While Salmonella Typhimurium LT2 could grow on DL-DAP as a sole carbon source, the wild-type E. coli K-12 strain exhibited only marginal growth on DL-DAP, suggesting that DAPAL is functional in S. Typhimurium. The expression of ygeX in E. coli was low as detected by reverse transcriptase PCR (RT-PCR), consistent with the poor growth of E. coli on DL-DAP. Strains of S. Typhimurium and E. coli with STM1002 and ygeX, respectively, deleted showed loss of growth on DL-DAP, confirming that STM1002 (ygeX) is the locus encoding DAPAL. Interestingly, the presence of DL-DAP caused a growth inhibition of the wild-type E. coli strain as well as the knockout strains of S. Typhimurium and E. coli in minimal glucose/glycerol medium. Inhibition by DL-DAP was rescued by transforming the strains with plasmids containing the STM1002 (ygeX) gene encoding DAPAL or supplementing the medium with Casamino Acids. Growth restoration studies using media lacking specific amino acid supplements suggested that growth inhibition by DL-DAP in the absence of DAPAL is associated with auxotrophy related to the inhibition of the enzymes involved in the biosynthetic pathways of pyruvate and aspartate and the amino acids derived from them.

Premixed flame response to equivalence ratio fluctuations: Comparison between reduced order modeling and detailed computations

Combustion instability events in lean premixed combustion systems can cause spatio-temporal variations in unburnt mixture fuel/air ratio. This provides a driving mechanism for heat-release oscillations when they interact with the flame. Several Reduced Order Modelling (ROM) approaches to predict the characteristics of these oscillations have been developed in the past. The present paper compares results for flame describing function characteristics determined from a ROM approach based on the level-set method, with corresponding results from detailed, fully compressible reacting flow computations for the same two dimensional slot flame configuration. The comparison between these results is seen to be sensitive to small geometric differences in the shape of the nominally steady flame used in the two computations. When the results are corrected to account for these differences, describing function magnitudes are well predicted for frequencies lesser than and greater than a lower and upper cutoff respectively due to amplification of flame surface wrinkling by the convective Darrieus-Landau (DL) instability. However, good agreement in describing function phase predictions is seen as the ROM captures the transit time of wrinkles through the flame correctly. Also, good agreement is seen for both magnitude and phase of the flame response, for large forcing amplitudes, at frequencies where the DL instability has a minimal influence. Thus, the present ROM can predict flame response as long as the DL instability, caused by gas expansion at the flame front, does not significantly alter flame front perturbation amplitudes as they traverse the flame. (C) 2012 The Combustion Institute. Published by Elsevier Inc. All rights reserved.