CIL: Intermediate language and tools for analysis and transformation of C programs

GC Necula, S McPeak, SP Rahul, W Weimer - International Conference on …, 2002 - Springer
… The library includes transformers that can ensure most of the properties that are part of CIL’s
… In addition, compared to SUIF’s C output, CIL’s external representation is usually closer to …

[PDF][PDF] Comprehensive review: Murraya koenigii Linn

S Ajay, S Rahul, G Sumit, M Paras… - Asian J Pharm …, 2011 - doc-developpement-durable.org
Plants have been used in traditional medicine for several thousand years. India is perhaps
the largest producer of medicinal herbs and is rightly called the “Botanical garden of the World…

Biological and molecular characterization of chicken anaemia virus isolates of Indian origin

S Natesan, JM Kataria, K Dhama, S Rahul… - Virus research, 2006 - Elsevier
In the present study, four chicken anaemia virus (CAV) isolates (CAV-A, -B, -E and -P)
recovered from different geographical regions of India were characterized. CAV genome of …

In vitro antiparasitic activity of microbial pigments and their combination with phytosynthesized metal nanoparticles

S Rahul, P Chandrashekhar, B Hemant… - Parasitology …, 2015 - Elsevier
… The microbial culture of S. nematodophila was deposited at culture collection of North
Maharashtra University, Jalgaon (NMCC). The cultures were further maintained on nutrient agar at …

[PDF][PDF] Trypanosoma evansi in camels, donkeys and dogs in India: comparison of PCR and light microscopy for detection—short communication

…, KML Pathak, N Babu, CC Satheesh, S Rahul - Veterinarski …, 2008 - vetarhiv.vef.unizg.hr
The objective of the present study was to compare two methods: PCR and blood smear
examination for sensitive and specific detection of trypanosoma evansi in camels, donkeys and …

An integrated congestion management architecture for Internet hosts

H Balakrishnan, HS Rahul, S Seshan - Proceedings of the conference …, 1999 - dl.acm.org
This paper presents a novel framework for managing network congestion from an end-to-end
perspective. Our work is motivated by trends in traffic patterns that threaten the long-term …

Oracle-based checking of untrusted software

GC Necula, SP Rahul - ACM SIGPLAN Notices, 2001 - dl.acm.org
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are
represented as a higherorder logic program, the proof checker is replaced by a …

JMB: Scaling wireless capacity with user demands

HS Rahul, S Kumar, D Katabi - ACM SIGCOMM Computer …, 2012 - dl.acm.org
… Our results also demonstrate that JMB’s joint multi-user beamforming can provide … In
summary, the core challenge met by JMB’s design is to accurately estimate and track the phase …

Nanoscale chemical patterning of graphite at different length scales

S Rahul, MCR González, S Hirose, H Kaneko… - Nanoscale, 2023 - pubs.rsc.org
Chemical patterning surfaces is relevant in several different domains of science and
technology with exciting possibilities in electronics, catalysis, sensing, and photonics. Here, we …

Latent heat flux variability over the tropical Indian Ocean

S Mohan, RD Ruchith, S Rahul… - International Journal of …, 2023 - Wiley Online Library
… Climatologically high LHF is mostly confined to the Arabian Sea and Bay of Bengal regions
in the north Indian Ocean and the zonal belt between 10 o S and 25 o S in the south Indian …