Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Conductivity of Metallic Si:B near the Metal-Insulator Transition: Comparison between Unstressed and Uniaxially Stressed Samples

The low-temperature dc conductivities of barely metallic samples of p-type Si:B are compared for a series of samples with different dopant concentrations, n, in the absence of stress (cubic symmetry), and for a single sample driven from the metallic into the insulating phase by uniaxial compression, S. For all values of temperature and stress, the conductivity of the stressed sample collapses onto a single universal scaling curve. The scaling fit indicates that the conductivity of si:B is proportional to the square-root of T in the critical range. Our data yield a critical conductivity exponent of 1.6, considerably larger than the value reported in earlier experiments where the transition was crossed by varying the dopant concentration. The larger exponent is based on data in a narrow range of stress near the critical value within which scaling holds. We show explicitly that the temperature dependences of the conductivity of stressed and unstressed Si:B are different, suggesting that a direct comparison of the critical behavior and critical exponents for stress- tuned and concentration-tuned transitions may not be warranted

Scaling of the Conductivity with Temperature and Uniaxial Stress in Si:B at the Metal-Insulator Transition

Using uniaxial stress to tune Si:B through the metal-insulator transition we find the conductivity at low temperatures shows an excellent fit to scaling with temperature and stress on both sides of the transition. The scaling functions yield the conductivity in the metallic and insulating phases, and allow a reliable determination of the temperature dependence in the critical regions on both sides of the transition

p-type delta-doped layers in silicon: structural and electronic properties

We report on the properties of p-type delta-doped layers prepared in molecular beam epitaxy-Si by growth interruption and evaporation of elemental B. Secondary-ion mass spectrometry measurements at several primary ion energies have been used to show that the full width at half maximum is ~2 nm. Hall measurements confirm that the layers are completely activated at 300 K with a mobility of 30±5 cm2/V s for a carrier density of (9±2)×1012 cm−2. At temperatures below 70 K nonmetallic behavior is observed which we have attributed to conduction between impurity states. It is concluded that the critical acceptor separation for the Mott metal-insulator transition in this system is significantly less than the value found in uniformly doped Si:B

Faithful chaperones

This review describes the properties of some rare eukaryotic chaperones that each assist in the folding of only one target protein. In particular, we describe (1) the tubulin cofactors, (2) p47, which assists in the folding of collagen, (3) α-hemoglobin stabilizing protein (AHSP), (4) the adenovirus L4-100 K protein, which is a chaperone of the major structural viral protein, hexon, and (5) HYPK, the huntingtin-interacting protein. These various-sized proteins (102–1,190 amino acids long) are all involved in the folding of oligomeric polypeptides but are otherwise functionally unique, as they each assist only one particular client. This raises a question regarding the biosynthetic cost of the high-level production of such chaperones. As the clients of faithful chaperones are all abundant proteins that are essential cellular or viral components, it is conceivable that this necessary metabolic expenditure withstood evolutionary pressure to minimize biosynthetic costs. Nevertheless, the complexity of the folding pathways in which these chaperones are involved results in error-prone processes. Several human disorders associated with these chaperones are discussed

The Salivary Secretome of the Tsetse Fly Glossina pallidipes (Diptera: Glossinidae) Infected by Salivary Gland Hypertrophy Virus

Tsetse fly (Diptera; Glossinidae) transmits two devastating diseases to farmers (human African Trypanosomiasis; HAT) and their livestock (Animal African Trypanosomiasis; AAT) in 37 sub-Saharan African countries. During the rainy seasons, vast areas of fertile, arable land remain uncultivated as farmers flee their homes due to the presence of tsetse. Available drugs against trypanosomiasis are ineffective and difficult to administer. Control of the tsetse vector by Sterile Insect Technique (SIT) has been effective. This method involves repeated release of sterilized males into wild tsetse populations, which compete with wild type males for females. Upon mating, there is no offspring, leading to reduction in tsetse populations and thus relief from trypanosomiasis. The SIT method requires large-scale tsetse rearing to produce sterile males. However, tsetse colony productivity is hampered by infections with the salivary gland hypertrophy virus, which is transmitted via saliva as flies take blood meals during membrane feeding and often leads to colony collapse. Here, we investigated the salivary gland secretome proteins of virus-infected tsetse to broaden our understanding of virus infection, transmission and pathology. By this approach, we obtain insight in tsetse-hytrosavirus interactions and identified potential candidate proteins as targets for developing biotechnological strategies to control viral infections in tsetse colonies

Direct evaluation of low-field mobility and access resistance in pentacene field-effect transistors

International audienc