Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

With the rise of machine learning, there is a great deal of interest in treating programs as data to be fed to learning algorithms. However, programs do not start off in a form that is immediately amenable to most off-the-shelf learning techniques. Instead, it is necessary to transform the program to a suitable representation before a learning technique can be applied. In this paper, we use abstractions of traces obtained from symbolic execution of a program as a representation for learning word embeddings. We trained a variety of word embeddings under hundreds of parameterizations, and evaluated each learned embedding on a suite of different tasks. In our evaluation, we obtain 93% top-1 accuracy on a benchmark consisting of over 19,000 API-usage analogies extracted from the Linux kernel. In addition, we show that embeddings learned from (mainly) semantic abstractions provide nearly triple the accuracy of those learned from (mainly) syntactic abstractions

On Triangular Splines:CAD and Quadrature

The standard representation of CAD (computer aided design) models is based on the boundary representation (B-reps) with trimmed and (topologically) stitched tensor-product NURBS patches. Due to trimming, this leads to gaps and overlaps in the models. While these can be made arbitrarily small for visualisation and manufacturing purposes, they still pose problems in downstream applications such as (isogeometric) analysis and 3D printing. It is therefore worthwhile to investigate conversion methods which (necessarily approximately) convert these models into water-tight or even smooth representations. After briefly surveying existing conversion methods, we will focus on techniques that convert CAD models into triangular spline surfaces of various levels of continuity. In the second part, we will investigate efficient quadrature rules for triangular spline space

Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking

Reference attribute grammars (RAGs) have proven practical for gen- erating production-quality compilers from declarative descriptions, as demonstrated by the JastAdd system. Recent results indicate their applicability also to generating semantic services in interactive editors. For use in editors, it is necessary to update the attribution after edit operations. Earlier algorithms based on statically scheduled incremental attribute evaluation are, however, not applicable to RAGs, as they do not account for the dynamic dependencies that reference attributes give rise to. In this report, we introduce a notion of consistency for RAG attributions, along with an algorithm for maintaining consistency after edit operations, based on dynamic dependency tracking. That is, we introduce a means to do incremental evaluation of RAGs using dynamic dependency tracking

Non-Invasive Genetic Sampling of Faecal Material and Hair from the Grey-Headed Flying-Fox (Pteropus poliocephalus)

Remote-sampling DNA from animals offers obvious benefits for species that are difficult to sample directly and is less disruptive for species of conservation concern. Here we report the results of a pilot study investigating non-invasive DNA sampling of the grey-headed flying-fox (Pteropus poliocephalus), a threatened species that is restricted to the east coast of Australia. We successfully extracted DNA from fresh scats and hair, each of which was of sufficient quality for amplifying mitochondrial DNA markers and microsatellites. A single-locus multitube approach was used to investigate amplification success and genotyping reliability. Faecal samples yielded a higher proportion of successful amplifications and consensus genotype assignments than hair samples. We outline measures that may be utilised to minimise microsatellite genotyping error for future studies. These indirect approaches to obtaining genetic data show much promise given the difficult nature of directly sampling flying-foxes and related species

Phylogenomics and Population History of Cichlid and Live-bearing Fish Species in Lowland Neotropical Rivers

Within Middle America, cichlids and poeciliids account for more than half of the fish biodiversity. This richness in fish fauna highlights the complexity of Middle American biogeography: no other continental area on earth contains within its range the unparalleled abundance of secondary freshwater fish species (fish that can tolerate both saltwater and freshwater). Research into the biogeography of widely distributed Middle American freshwater fish is essential to understanding this unique region. Three species of freshwater fishes (Belonesox belizanus – Pike killifish, Vieja maculicauda – Black belt cichlid, and Gambusia nicaraguensis – Nicaraguan mosquitofish) are widely distributed across rivers on the Caribbean slope of Central America (Matamoros et al., 2014). Belonesox belizanus and G. nicaraguensis are poecilids (live-bearing fish), while V. maculicauda is a cichlid (a diverse family of fishes primarily found in Africa, South America, and Central America). The overlapping distributions of these species allow for a comparative population genomics approach to understand their biogeographic history and evolution. Past research used individual loci to assess general phylogeographic patterns with little structure detected within each species; however, these data lacked power to properly test hypotheses of population subdivision, gene flow, and recent expansion. Greater genomic coverage and an increase in sample sizes (geographic coverage and number of individuals) are essential for the objective of this proposed research: to test hypotheses of biogeographic and evolutionary patterns of these three species across their Middle American distribution. Our results using the mitochondrial COI gene suggest four clades of G. nicaraguensis, while more comprehensive sampling using genomic data supports only three populations. Two populations were recovered for both B. belizanus and V. maculicauda using genomic data. Divergence among populations was associated with geographic breaks for the two poeciliids although the location of the geographic breaks differed between species. The two populations detected for V. maculicauda were highly divergent genetically but sympatric. This study gives insight into the historical biogeography of the region, showing that population structure is complex and varies across widespread species