Appropriateness of Largemouth Bass as a Model Species for Detection of Endocrine Dissruption

Intersex in largemouth bass (Micropterus salmoides) has been correlated with regional anthropogenic activity, but has not been causally linked to environmental factors. Four groups of hatchery-reared largemouth bass (LMB) and fathead minnows (FHM) of varying ages and sex were exposed to aqueous poultry litter mixtures, 17β- estradiol (E2), and controls. Water samples were analyzed for estrogens through liquid chromatography tandem mass spectrometry and estrogenicity through the bioluminescent yeast estrogen screen assay. Fish plasma was analyzed for the egg yolk protein vitellogenin (Vtg) using enzyme–linked immunosorbent assay and gonad tissue was examined histologically for enumeration of testicular oocytes (TO). Water chemistry revealed typical E2 conversion to Estrone with subsequent decay over the exposure periods. A modest prevalence of TO (9.4%) was detected with no apparent treatment effect. While significant Vtg induction was found in E2 exposed FHM, minimal Vtg induction was found in male LMB. Despite field findings of intersex in male LMB, this species may be poorly suited for laboratory investigations into endocrine disruption.

ENERGETIC BIOCIDAL MATERIALS AND SPORE NEUTRALIZATION

The objective of this dissertation is to explore a more accurate and versatile approach to investigating the neutralization of spores suffered from ultrafast heating and biocide based stresses, and further to explore and understand novel methods to supply ultrafast heating and biocides through nanostructured energetic materials A surface heating method was developed to apply accurate (± 25 ˚C), high heating rate thermal energy (200 - 800 ˚C, ~103 - ~105 ˚C/s). Uniform attachment of bacterial spores was achieved electrophoretically onto fine wires in liquids, which could be quantitatively detached into suspension for spore enumeration. The spore inactivation increased with temperature and heating rate, and fit a sigmoid response. The neutralization mechanisms of peak temperature and heating rate were correlated to the DNA damage at ~104 ˚C/s, and to the coat rupture by ultrafast vapor pressurization inside spores at ~105 ˚C/s. Humidity was found to have a synergistic effect of rapid heating and chlorine gas to neutralization efficiency. The primary neutralization mechanism of Cl2 and rapid heat is proposed to be chlorine reacting with the spore surface. The stress-kill correlation above provides guidance to explore new biocidal thermites, and to probe mechanisms. Results show that nano-Al/K2S2O8 released more gas at a lower temperature and generated a higher maximum pressure than the other nano-Al/oxysalts. Given that this thermite formulation generates the similar amount of SO2 as O2, it can be considered as a potential candidate for use in energetic biocidal applications. The reaction mechanisms of persulfate and other oxysalts containing thermites can be divided into two groups, with the reactive thermites (e.g. Al/K2S2O8) that generate ~10× higher of pressure and ~10× shorter of burn time ignited via a solid-gas Al/O2 reaction, while the less reactive thermites (e.g. Al/K2SO4) following a condensed phase Al/O reaction mechanism. These different ignition mechanisms were further re-evaluated by investigating the roles of free and bound oxygen. A constant critical reaction rate for ignition was found which is independent to ignition temperature, heating rate and free vs. bound oxygen.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.