IR2Vec: LLVM IR based Scalable Program Embeddings

We propose IR2Vec, a Concise and Scalable encoding infrastructure to represent programs as a distributed embedding in continuous space. This distributed embedding is obtained by combining representation learning methods with flow information to capture the syntax as well as the semantics of the input programs. As our infrastructure is based on the Intermediate Representation (IR) of the source code, obtained embeddings are both language and machine independent. The entities of the IR are modeled as relationships, and their representations are learned to form a seed embedding vocabulary. Using this infrastructure, we propose two incremental encodings:Symbolic and Flow-Aware. Symbolic encodings are obtained from the seed embedding vocabulary, and Flow-Aware encodings are obtained by augmenting the Symbolic encodings with the flow information. We show the effectiveness of our methodology on two optimization tasks (Heterogeneous device mapping and Thread coarsening). Our way of representing the programs enables us to use non-sequential models resulting in orders of magnitude of faster training time. Both the encodings generated by IR2Vec outperform the existing methods in both the tasks, even while using simple machine learning models. In particular, our results improve or match the state-of-the-art speedup in 11/14 benchmark-suites in the device mapping task across two platforms and 53/68 benchmarks in the Thread coarsening task across four different platforms. When compared to the other methods, our embeddings are more scalable, is non-data-hungry, and has betterOut-Of-Vocabulary (OOV) characteristics.Comment: Accepted in ACM TAC

Characterization of acaricide resistance in tick isolates collected from Rajasthan, India

      Rhipicephalus (Boophilus) microplus and Hyalomma anatolicum are the most common tick species infesting milk and meat producing animals throughout the country. The present study was conducted to evaluate the acaricide resistance status of the tick species to deltamethrin, cypermethrin, diazinon collected from 10 districts of Rajasthan. Characterization of resistance was carried out by adult immersion test (AIT) and larval packet test (LPT). In case of (B.) microplus resistance to deltamethrin at level I (RF = 2.5 – 4.9) in 02 isolates, at level II in 03 isolates (RF = 5.4 – 11.5) and level IV in 02 isolates (RF = 48.1 – 95.7) was detected. The resistance to cypermethrin was detected in 08 isolates of which resistance at level I in 03 isolates (RF = 2.7 - 4.58) and at level II in 05 isolates (RF = 8.05 – 16.2). Diazinon resistance was detected at level II in 06 isolates (RF = 5.8 –22.8), at level III in 01 isolates (RF = 39.0) and level IV in 02 isolates (RF = 65.9 – 66.0). While in case of H. anatolicum, the resistance to deltamethrin at level I (RF = 1.79 –2.52) in 03 isolates, to cypermethrin in 03 isolates (RF= 2.0 - 3.95) and to diazinon at level I in 03 isolates (RF = 1.32 –2.18) out of eleven isolates was detected.         A significant correlation between esterase enzyme ratio and resistant factor of tick isolates was observed with correlation coefficient (r) in α- and ß-esterase activity. The coefficient of determination (R2) for α- and ß-esterase activity indicated that 55.9 and 50.5% data points of R.(B.) microplus isolates and 66.7 and 47.2% data points of H. anatolicum isolates were very close to the correlation lines.       Analysis of sequence data of 3 targeted positions of the sodium channel gene detected a cytosine (C) to adenine (A) nucleotide substitution (CTC to ATC) at position 190 in domain II S4–5 linker region of para-sodium channel gene in 3 isolates and in reference deltamethrin resistant IVRI-IV line.      The western dry region and central plateau hills region revealed higher density of resistant ticks where intensive crossbred cattle population are reared and synthetic pyrethroids and organophosphate compounds are commonly used. The data shows an urgent need of revisiting the tick control strategy implemented through concerned government/non-government agencies

ESTIMATION OF THE DYNAMIC PROPERTIES OF EPOXY GLASS FABRIC COMPOSITES WITH NATURAL RUBBER PARTICLE INCLUSIONS

Conventional materials are being replaced in the field of engineering by composite materials, due to their tailorable properties and high specific properties. These materials are extensively used in structural applications. Damping is one of the important properties of the materials used in structures, and needs to be enhanced in order to reduce structural vibrations. In the present work, the improvement of the material damping of glass fabric epoxy composites with particle rubber inclusions is studied. The effect of particle size on the damping and stiffness parameters at different frequencies and temperatures is studied experimentally. Considerable enhancement in damping without significant reduction in stiffness is observed at lower particle sizes. The damping property in both bending and shear modes is more with 0.254 mm rubber particle inclusions among the selected sizes. A lower reduction in stiffness is observed with the inclusion of lower particle sizes (0.254 mm and 0.09 mm) when compared with higher particle sizes. An ANN-based prediction model is developed to predict these properties for a given frequency/temperature and particle size. The predicted values are very close to the experimental values with an maximum error of 5%

Not Available

Not AvailableHyalomma anatolicum is the principal vector for Theileria annulata, T. equi, and T. Lestoquardi in animals and the Crimean-Congo hemorrhagic fever virus in humans. Due to the gradual loss of efficacy of the available acaricides against field tick populations, the development of phytoacaricides and vaccines has been considered the two most critical components of the integrated tick management strategies. In the present study, in order to induce both cellular and humoral immune responses in the host against H. anatolicum, two multi-epitopic peptides (MEPs), i.e., VT1 and VT2, were designed. The immune-stimulating potential of the constructs was determined by in silicoinvestigation on allergenicity (non-allergen, antigenic (0.46 and 1.0046)), physicochemical properties (instability index 27.18 and 35.46), as well as the interaction of constructs with TLRs by docking and molecular dynamics analysis. The immunization efficacy of the MEPs mixed with 8% MontanideTM gel 01 PR against H. anatolicum larvae was determined as 93.3% and 96.9% in VT1- and VT2-immunized rabbits, respectively. Against adults, the efficacy was 89.9% and 86.4% in VT1- and VT2-immunized rabbits, respectively. A significant (p 30 fold) along with a decreased level of anti-inflammatory cytokine IL-4 (0.75 times) was noted. The efficacy of MEP and its potential immune stimulatory responses indicate that it might be useful for tick management.Not Availabl