A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Characterization and PCR multiplexing of polymorphic microsatellite loci in cashew (Anacardium occidentale L.) and their cross-species utilization

Cashew (Anacardium occidentale L.) is the most economically important tropical nut crop in the world, and yet there are no sequence tagged site (STS) markers available for its study. Here we use an automated, high-throughput system to isolate cashew microsatellites from a non-enriched genomic library blotted onto membranes at high density for screening. Sixty-five sequences contained a microsatellite array, of which 21 proved polymorphic among a closely related seed garden population of 49 genotypes. Twelve markers were suitable for multiplex analysis. Of these, 10 amplified in all three related tropical tree species tested: Anacardium microcarpum, Anacardium pumilum and Anacardium nanum.

High throughput, high resolution selection of polymorphic microsatellite loci for multiplex analysis

Background Large-scale genetic profiling, mapping and genetic association studies require access to a series of well-characterised and polymorphic microsatellite markers with distinct and broad allele ranges. Selection of complementary microsatellite markers with non-overlapping allele ranges has historically proved to be a bottleneck in the development of multiplex microsatellite assays. The characterisation process for each microsatellite locus can be laborious and costly given the need for numerous, locus-specific fluorescent primers. Results Here, we describe a simple and inexpensive approach to select useful microsatellite markers. The system is based on the pooling of multiple unlabelled PCR amplicons and their subsequent ligation into a standard cloning vector. A second round of amplification utilising generic labelled primers targeting the vector and unlabelled locus-specific primers targeting the microsatellite flanking region yield allelic profiles that are representative of all individuals contained within the pool. Suitability of various DNA pool sizes was then tested for this purpose. DNA template pools containing between 8 and 96 individuals were assessed for the determination of allele ranges of individual microsatellite markers across a broad population. This helped resolve the balance between using pools that are large enough to allow the detection of many alleles against the risk of including too many individuals in a pool such that rare alleles are over-diluted and so do not appear in the pooled microsatellite profile. Pools of DNA from 12 individuals allowed the reliable detection of all alleles present in the pool. Conclusion The use of generic vector-specific fluorescent primers and unlabelled locus-specific primers provides a high resolution, rapid and inexpensive approach for the selection of highly polymorphic microsatellite loci that possess non-overlapping allele ranges for use in large-scale multiplex assays.

Detection of somaclonal variation during cocoa somatic embryogenesis characterised using cleaved amplified polymorphic sequence and the new freeware Artbio

The scarcity and stochastic nature of genetic mutations presents a significant challenge for scientists seeking to characterise de novo mutation frequency at specific loci. Such mutations can be particularly numerous during regeneration of plants from in vitro culture and can undermine the value of germplasm conservation efforts. We used cleaved amplified polymorphic sequence (CAPS) analysis to characterise new mutations amongst a clonal population of cocoa plants regenerated via a somatic embryogenesis protocol used previously for cocoa cryopreservation. Efficacy of the CAPS system for mutation detection was greatly improved after an ‘a priori’ in silico screen of reference target sequences for actual and potential restriction enzyme recognition sites using a new freely available software called Artbio. Artbio surveys known sequences for existing restriction enzyme recognition sites but also identifies all single nucleotide polymorphism (SNP) deviations from such motifs. Using this software, we performed an in silico screen of seven loci for restriction sites and their potential mutant SNP variants that were possible from 21 restriction enzymes. The four most informative locus-enzyme combinations were then used to survey the regenerant populations for de novo mutants. We characterised the pattern of point mutations and, using the outputs of Artbio, calculated the ratio of base substitution in 114 somatic embryo-derived cocoa regenerants originating from two explant genotypes. We found 49 polymorphisms, comprising 26.3% of the samples screened, with an inferred rate of 2.8 × 10−3 substitutions/screened base. This elevated rate is of a similar order of magnitude to previous reports of de novo microsatellite length mutations arising in the crop and suggests caution should be exercised when applying somatic embryogenesis for the conservation of plant germplasm.

Isolation and characterization of 12 polymorphic tetranucleotide microsatellite loci in the apostlebird (Struthidea cinerea)

The apostlebird (Struthidea cinerea) is an Australian endemic passerine belonging to the Corcoracidae family. The species is highly gregarious throughout the year and the name of the species refers to the apparent prevalence of social groups of around 12 birds. The species is becoming a model system for the study of sociality in vertebrates, which will require the analysis of relatedness, paternity and maternity. We characterize 12 microsatellite loci tested for polymorphism on 25 individuals from a population in western New South Wales, Australia. The number of alleles ranged from 4 to 9 per locus. Expected heterozygosities ranged from 0.69 to 0.88. This microsatellite panel will facilitate future studies that will advance our understanding of dispersal processes, inbreeding avoidance and reproductive skew in social animals.

Effects of polymorphic microsatellites in the regulatory region of IGF1 and GHR on growth and carcass traits in beef cattle

Growth hormone (GH), insulin-like growth factors 1 and 2 (IGF1 and IGF2) and their associated binding proteins and transmembrane receptors (GHR, IGF1R and IGF2R) play an important role in the physiology of mammalian growth. The objectives of the present study were to estimate the allele and genotype frequencies of microsatellite markers located in the 5'-regulatory region of the IGF1 and GHR genes in beef cattle belonging to different genetic groups and to determine effects of these markers on growth and carcass traits in these animals under an intensive production system. For this purpose, genotyping was performed on 384 bulls including 79 Nellore, 30 Canchim (5/8 Charolais + 3/8 Zebu) and 275 crossbred animals originating from crosses of Simmental (1/2 Simmental, n = 30) and Angus (1/2 Angus, n = 245) sires with Nellore females. The effects of substituting L allele for S allele of GHR microsatellite across Nellore, Canchim and 1/2 Angus were significant for weight gain and body weight (P < 0.05). The IGF1 microsatellite allele substitutions of 229 for 225 within Nellore group and of 225 for 229 within 1/2 Angus were not significant for any of the traits.

Malware distributed collection and pre-classification system using honeypot technology

Malware has become a major threat in the last years due to the ease of spread through the Internet. Malware detection has become difficult with the use of compression, polymorphic methods and techniques to detect and disable security software. Those and other obfuscation techniques pose a problem for detection and classification schemes that analyze malware behavior. In this paper we propose a distributed architecture to improve malware collection using different honeypot technologies to increase the variety of malware collected. We also present a daemon tool developed to grab malware distributed through spam and a pre-classification technique that uses antivirus technology to separate malware in generic classes. © 2009 SPIE.

Assessing Paternity in Japanese Quails (Coturnix Japonica) Using Microsatellite Markers - Inferences for Its Mating System and Reproductive Success

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Development of twenty-one polymorphic microsatellite markers for the fungus-growing ant, Mycocepurus goeldii (Formicidae: Attini), using Illumina paired-end genomic sequencing

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Polymorphic toxin systems: Comprehensive characterization of trafficking modes, processing, mechanisms of action, immunity and ecology using comparative genomics

Background: Proteinaceous toxins are observed across all levels of inter-organismal and intra-genomic conflicts. These include recently discovered prokaryotic polymorphic toxin systems implicated in intra-specific conflicts. They are characterized by a remarkable diversity of C-terminal toxin domains generated by recombination with standalone toxin-coding cassettes. Prior analysis revealed a striking diversity of nuclease and deaminase domains among the toxin modules. We systematically investigated polymorphic toxin systems using comparative genomics, sequence and structure analysis. Results: Polymorphic toxin systems are distributed across all major bacterial lineages and are delivered by at least eight distinct secretory systems. In addition to type-II, these include type-V, VI, VII (ESX), and the poorly characterized "Photorhabdus virulence cassettes (PVC)", PrsW-dependent and MuF phage-capsid-like systems. We present evidence that trafficking of these toxins is often accompanied by autoproteolytic processing catalyzed by HINT, ZU5, PrsW, caspase-like, papain-like, and a novel metallopeptidase associated with the PVC system. We identified over 150 distinct toxin domains in these systems. These span an extraordinary catalytic spectrum to include 23 distinct clades of peptidases, numerous previously unrecognized versions of nucleases and deaminases, ADP-ribosyltransferases, ADP ribosyl cyclases, RelA/SpoT-like nucleotidyltransferases, glycosyltranferases and other enzymes predicted to modify lipids and carbohydrates, and a pore-forming toxin domain. Several of these toxin domains are shared with host-directed effectors of pathogenic bacteria. Over 90 families of immunity proteins might neutralize anywhere between a single to at least 27 distinct types of toxin domains. In some organisms multiple tandem immunity genes or immunity protein domains are organized into polyimmunity loci or polyimmunity proteins. Gene-neighborhood-analysis of polymorphic toxin systems predicts the presence of novel trafficking-related components, and also the organizational logic that allows toxin diversification through recombination. Domain architecture and protein-length analysis revealed that these toxins might be deployed as secreted factors, through directed injection, or via inter-cellular contact facilitated by filamentous structures formed by RHS/YD, filamentous hemagglutinin and other repeats. Phyletic pattern and life-style analysis indicate that polymorphic toxins and polyimmunity loci participate in cooperative behavior and facultative 'cheating' in several ecosystems such as the human oral cavity and soil. Multiple domains from these systems have also been repeatedly transferred to eukaryotes and their viruses, such as the nucleo-cytoplasmic large DNA viruses. Conclusions: Along with a comprehensive inventory of toxins and immunity proteins, we present several testable predictions regarding active sites and catalytic mechanisms of toxins, their processing and trafficking and their role in intra-specific and inter-specific interactions between bacteria. These systems provide insights regarding the emergence of key systems at different points in eukaryotic evolution, such as ADP ribosylation, interaction of myosin VI with cargo proteins, mediation of apoptosis, hyphal heteroincompatibility, hedgehog signaling, arthropod toxins, cell-cell interaction molecules like teneurins and different signaling messengers.

Computerized polymorphic marker identification: Experimental validation and a predicted human polymorphism catalog

A computational system for the prediction of polymorphic loci directly and efficiently from human genomic sequence was developed and verified. A suite of programs, collectively called pompous (polymorphic marker prediction of ubiquitous simple sequences) detects tandem repeats ranging from dinucleotides up to 250 mers, scores them according to predicted level of polymorphism, and designs appropriate flanking primers for PCR amplification. This approach was validated on an approximately 750-kilobase region of human chromosome 3p21.3, involved in lung and breast carcinoma homozygous deletions. Target DNA from 36 paired B lymphoblastoid and lung cancer lines was amplified and allelotyped for 33 loci predicted by pompous to be variable in repeat size. We found that among those 36 predominately Caucasian individuals 22 of the 33 (67%) predicted loci were polymorphic with an average heterozygosity of 0.42. Allele loss in this region was found in 27/36 (75%) of the tumor lines using these markers. pompous provides the genetic researcher with an additional tool for the rapid and efficient identification of polymorphic markers, and through a World Wide Web site, investigators can use pompous to identify polymorphic markers for their research. A catalog of 13,261 potential polymorphic markers and associated primer sets has been created from the analysis of 141,779,504 base pairs of human genomic sequence in GenBank. This data is available on our Web site (pompous.swmed.edu) and will be updated periodically as GenBank is expanded and algorithm accuracy is improved.

Complete congruence between gene diversity estimates derived from genotypic data at enzyme and random amplified polymorphic DNA loci in black spruce.

Controversy still exists over the adaptive nature of variation of enzyme loci. In conifers, random amplified polymorphic DNAs (RAPDs) represent a class of marker loci that is unlikely to fall within or be strongly linked to coding DNA. We have compared the genetic diversity in natural populations of black spruce [Picea mariana (Mill.) B.S.P.] using genotypic data at allozyme loci and RAPD loci as well as phenotypic data from inferred RAPD fingerprints. The genotypic data for both allozymes and RAPDs were obtained from at least six haploid megagametophytes for each of 75 sexually mature individuals distributed in five populations. Heterozygosities and population fixation indices were in complete agreement between allozyme loci and RAPD loci. In black spruce, it is more likely that the similar levels of variation detected at both enzyme and RAPD loci are due to such evolutionary forces as migration and the mating system, rather than to balancing selection and overdominance. Furthermore, we show that biased estimates of expected heterozygosity and among-population differentiation are obtained when using allele frequencies derived from dominant RAPD phenotypes.

Polymorphic CAG repeat length in the androgen receptor gene and association with neurodegeneration in a heterozygous female carrier of Kennedy's disease

Kennedy's disease (spinobulbar muscular atrophy) is an X-linked form of motor neuron disease affecting adult males carrying a CAG trinucleotide repeat expansion within the androgen receptor gene. While expression of Kennedy's disease is thought to be confined to males carrying the causative mutation, subclinical manifestations have been reported in a few female carriers of the disease. The reasons that females are protected from the disease are not clear, especially given that all other diseases caused by CAG expansions display dominant expression. In the current study, we report the identification of a heterozygote female carrying the Kennedy's disease mutation who was clinically diagnosed with motor neuron disease. We describe analysis of CAG repeat number in this individual as well as 33 relatives within the pedigree, including two male carriers of the Kennedy's mutation. The female heterozygote carried one expanded allele of the androgen receptor gene with CAG repeats numbering in the Kennedy's disease range (44 CAGs), with the normal allele numbering in the upper-normal range (28 CAGs). The subject has two sons, one of whom carries the mutant allele of the gene and has been clinically diagnosed with Kennedy's disease, whilst the other son carries the second allele of the gene with CAGs numbering in the upper normal range and displays a normal phenotype. This coexistence of motor neuron disease and the presence of one expanded allele and one allele at the upper limit of the normal range may be a coincidence. However, we hypothesize that the expression of the Kennedy's disease mutation combined with a second allele with a large but normal CAG repeat sequence may have contributed to the motor neuron degeneration displayed in the heterozygote female and discuss the possible reasons for phenotypic expression in particular individuals.

An identification tool for the Australian weedy Sporobolus species based on random amplified polymorphic DNA (RAPD) profiles

Based on morphological features alone, there is considerable difficulty in identifying the 5 most economically damaging weed species of Sporobolus [ viz. S. pyramidalis P. Beauv., S. natalensis ( Steud.) Dur and Schinz, S. fertilis ( Steud.) Clayton, S. africanus (Poir.) Robyns and Tourney, and S. jacquemontii Kunth.] found in Australia. A polymerase chain reaction (PCR)-based random amplified polymorphic DNA ( RAPD) technique was used to create a series of genetic markers that could positively identify the 5 major weeds from the other less damaging weedy and native Sporobolus species. In the initial RAPD pro. ling experiment, using arbitrarily selected primers and involving 12 species of Sporobolus, 12 genetic markers were found that, when used in combination, could consistently identify the 5 weedy species from all others. Of these 12 markers, the most diagnostic were UBC51(490) for S. pyramidalis and S. natalensis; UBC43(310,2000,2100) for S. fertilis and S. africanus; and OPA20(850) and UBC43(470) for S. jacquemontii. Species-specific markers could be found only for S. jacquemontii. In an effort to understand why there was difficulty in obtaining species-specific markers for some of the weedy species, a RAPD data matrix was created using 40 RAPD products. These 40 products amplified by 6 random primers from 45 individuals belonging to 12 species, were then subjected to numerical taxonomy and multivariate system (NTSYS pc version 1.70) analysis. The RAPD similarity matrix generated from the analysis indicated that S. pyramidalis was genetically more similar to S. natalensis than to other species of the 'S. indicus complex'. Similarly, S. jacquemontii was more similar to S. pyramidalis, and S. fertilis was more similar to S. africanus than to other species of the complex. Sporobolus pyramidalis, S. jacquemontii, S. africanus, and S. creber exhibited a low within-species genetic diversity, whereas high genetic diversity was observed within S. natalensis, S. fertilis, S. sessilis, S. elongates, and S. laxus. Cluster analysis placed all of the introduced species ( major and minor weedy species) into one major cluster, with S. pyramidalis and S. natalensis in one distinct subcluster and S. fertilis and S. africanus in another. The native species formed separate clusters in the phenograms. The close genetic similarity of S. pyramidalis to S. natalensis, and S. fertilis to S. africanus may explain the difficulty in obtaining RAPD species-specific markers. The importance of these results will be within the Australian dairy and beef industries and will aid in the development of integrated management strategy for these weeds.

Influence of processing conditions on polymorphic behavior, crystallinity, and morphology of electrospun poly(VInylidene fluoride) nanofibers

The polymorphism and crystallinity of poly(vinylidene fluoride) (PVDF) membranes, made from electrospinning of the PVDF in pure N,N-dimethylformamide (DMF) and DMF/acetone mixture solutions are studied. Influence of the processing and solution parameters such as flow rate, applied voltage, solvent system, and mixture ratio, on nanofiber morphology, total crystallinity, and crystal phase content of the nanofibers are investigated using scanning electron microscopy, wide-angle X-ray scattering, differential scanning calorimetric, and Fourier transform infrared spectroscopy. The results show that solutions of 20% w/w PVDF in two solvent systems of DMF and DMF/acetone (with volume ratios of 3/1 and 1/1) are electrospinnable; however, using DMF/acetone volume ratio of 1/3 led to blockage of the needle and spinning process was stopped. Very high fraction of β-phase (∼79%-85%) was obtained for investigated nanofiber, while degree of crystallinity increased to 59% which is quite high due to the strong influence of electrospinning on ordering the microstructure. Interestingly, ultrafine fibers with the diameter of 12 and 15 nm were obtained in this work. Uniform and bead free nanofiber was formed when a certain amount of acetone was added in to the electrospinning solution.